Publications
Filters: First Letter Of Title is A [Clear All Filters]
[1552] Accomplish Multi-Robot Tasks Via Petri Net Models. CASE'2015: IEEE Int. Conf. on Automation Science and Engineering.
.
2015.
[1522] Analyzing Phylogenetic Treeswith Timed and Probabilistic Model Checking: The Lactose Persistance Case Study. Journal of Integrative Bioinformatics. 11(3)
.
2014.
[1550] An Assembly Problem with Mobile Robots. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
.
2014.
[1469] Application and Theory of Petri Nets and Concurrency. 34th International Conference, PETRI NETS 2013. 7927
.
2013.
[1413] An algorithm to compute the minimal siphons in S4PR nets. Discrete Event Dynamic Systems. 22(4):403-428.
.
2012.
[PMM-ICPE12] Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
.
2012.
.
2011.
.
2011.
[1443] Analysis and Simulation of Manufacturing Systems using SimHPN toolbox. CASE'2011: 7th IEEE Conf. on Automation Science and Engineering.
.
2011.
[1278] An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
.
2010.
[1319] An Algorithm to Compute the Minimal Siphons in $S^4PR$ Nets. 10th International Workshop on Discrete Event Systems (WODES’2010). :18-23.
.
2010.
[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.
[1279] Approaching Minimum Time Control of Timed Continuous Petri nets. Nonlinear Analysis: Hybrid Systems.
.
2010.
[BMP-Models-08] Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
.
2008.
[PJCS-TSCM07] Approximate Throughput Computation of Stochastic Weighted T-Systems. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans. 37:431-444.
.
2007.
[1400] Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. Computability in Europe 2007.
.
2007.
[GMM06] ArgoSPE: Model-based software performance engineering. 4024:401-410.
.
2006.
.
2006.
[PJCS-RR69-2005] Approximate Throughput Computation of Stochastic Weighted T-Systems.
.
2005.
[MCM-WINET03] Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information. 9:223-238.
.
2003.
[1328] Application and Theory of Petri Nets 2001. Lecture Notes in Computer Science. 2075
.
2001.
[IPReTeSi99] Autonomous Continuous PT systems. 1639:107-126.
.
1999.
[1079] Automatic Synthesis of Colored Petri Nets for the Control of FMS. IEEE Transactions on Robotics and Automation. 13(3):327-337.
.
1997.
.
1996.
[239] Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
.
1995.