Publications
[1469] Application and Theory of Petri Nets and Concurrency. 34th International Conference, PETRI NETS 2013. 7927
.
2013.
[1475] Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 10(4):1058-1070. Abstract
.
2013.
[1476] Enforcing Liveness in S3PR Nets by Specialization of Resources. 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013). :318-321. Abstract
.
2013.
[1477] A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources. 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013). :252-257. Abstract
.
2013.
[1478] Petri net approach for deadlock and collision avoidance in robot planning. 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013).
.
2013.
[1481] Model checking software for phylogenetic trees using distribution and database methods. Journal of Integrative Bioinformatics. 10(3) Abstract
.
2013.
[1510] Timed and Probabilistic Model Checking over Phylogenetic Trees. 8th International Conference on Practical Applications of Computational Biology & Bioinformatics . Abstract
.
2014.
[1517] The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach. 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014).
.
2014.
[1521] Towards Petri net-based Economical Analysis for Streaming Applications executed over Cloud infrastructures. 11th International Conference on Economics of Grids, Clouds, Systems, and Services (GECON 2014).
.
2014.
[1522] Analyzing Phylogenetic Treeswith Timed and Probabilistic Model Checking: The Lactose Persistance Case Study. Journal of Integrative Bioinformatics. 11(3)
.
2014.
[1391] II Jornadas sobre Domótica y Automatización Industrial. II Jornadas sobre Domótica y Automatización Industrial.
.
2004.
[1392] Fractional Positional Notation for Exact Rational Arithmetic. Computability in Europe 2010.
.
2010.
[MC-SERP03] Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
.
2003.
[MCM-SCI03] A Pattern Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent Based Systems. 9:307-313.
.
2003.
[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.
[LGMC-WOSP02] From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. :25-36.
.
2004.
[LGMC-02b] On the Use of Formal Models in Software Performance Evaluation. :367-387.
.
2002.
.
2002.
[MBCD-wodes02] A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
.
2002.
[Cam-EVI-01] Evaluación de Prestaciones de Sistemas Concurrentes Modelados con Redes de Petri. :141-156.
.
2001.
[MCM-JJCC-01] Web Based Versus Mobile Agent Based Software Retrieval Systems: Performance Comparison. :299-312.
.
2001.
[MCM-LNCS-01] A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
.
2001.
.
2001.
[C-RR-00-00] Petri Nets.
.
2000.
[MCM-JJCC-00] Evaluating Performance on Mobile Agents Software Design. :291-307.
.
2000.