Publications
[1553] A Matlab-Based Interactive Simulator for Mobile Robotics. CASE'2015: IEEE Int. Conf. on Automation Science and Engineering.
.
2015.
[1556] LTL-based Planning in Environments with Probabilistic Observations. IEEE Transactions on Automation Science and Engineering. 12(4)
.
2015.
[1557] Multi-Robot Path Planning for Syntactically Co-Safe LTL Specifications. WODES'2016: 13rd IFAC International Workshop on Discrete Event Systems.
.
2016.
[1559] Inexpensive robot for experimental validation of planning and control algorithms. ICSTCC'2016: 20th International Conference on System Theory, Control and Computing.
.
2016.
[1563] HEAT: A Tool to Develop, Analyze and Monitor Clinical Pathways. ICNSC'2017: 14th IEEE International Conference on Networking, Sensing and Control. Abstract
.
2017.
.
1991.
.
2006.
.
2006.
.
2011.
.
2003.
[RP-85-03] Generalized Inverses and the Calculation of Symbolic Invariants for Colored Petri Nets. Technique et Science Informatique (TSI). 4:113-126.
.
1985.
[1554] Optimizing Cell Decomposition Path Planning for Mobile Robots Using Different Metrics. ICSTCC'2015: 19th International Conference on System Theory, Control and Computing.
.
2015.
[1558] Sample Gathering Problem for Different Robots with Limited Capacity. ICSTCC'2016: 20th International Conference on System Theory, Control and Computing.
.
2016.
[RJ_EPEW10] Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing. EPEW'10: Proceedings of the 7th European Performance Engineering Workshop. 6342:175--190. Abstract
.
2010.
[1283] SimHPN: a MATLAB toolbox for continuous Petri nets. 10th International Workshop on Discrete Event Systems.
.
2010.
[1443] Analysis and Simulation of Manufacturing Systems using SimHPN toolbox. CASE'2011: 7th IEEE Conf. on Automation Science and Engineering.
.
2011.
[1451] SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets. Nonlinear Analysis: Hybrid Systems. 6(2):817.
.
2012.
[MIMB-ICNS-10] Performance analysis of a dynamic architecture for reconfiguration of web servers clusters. 6th International Conference on Networking and Services (ICNS'10). :224-229.
.
2010.
[1406] Performance Evaluation of Web Services Orchestrated with WS-BPEL4People. International Journal of Computer Networks & Communications. 2(6):18.
.
2010.
[1462] Complexity Analysis of Continuous Petri Nets. 34th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN).
.
2013.
[GMM06] ArgoSPE: Model-based software performance engineering. 4024:401-410.
.
2006.
[GMM_WOMP06] Impact of SOAP Implementations in the Performance of a Web Service-based Application. 4331:884-896.
.
2006.
[GIM-WOSP07] Performance Analysis of Mobile Agents Tracking. :181-188.
.
2007.
.
2005. .
2005.