Publications
] Filters: First Letter Of Last Name is C [Clear All Filters]
[IPMaCaGiSe07] .
2007. A State Estimation Problem for Timed Continuous Petri Nets. :1770-1775.
[IPCaGiMaReSeSi07] .
2007. State Estimation of Petri Nets by Transformation. :194-199.
[1250] .
2009. Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[1252] .
2009. Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
[1254] .
2009. New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.
[1282] .
2010. Fault diagnosis of manufacturing systems using continuous Petri nets. 2010 IEEE International Conference on Systems, Man, and Cybernetics.
[1446] .
2011. On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.
[1452] .
2012. Fault Diagnosis of Discrete-Event Systems using Continuous Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans. 42(4):984.
[1458] .
2013. log2cloud: Log-based Prediction of Cost-Performance Trade-offs for Cloud Deployments. 28th Symposium On Applied Computing.
[GUGC-SEIO03] .
2003. Desarrollo de una herramienta de optimización binivel utilizando CPLEX y MATLAB y generación de problemas de prueba. :2931-2944.
[MC-SERP03] .
2003. Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
[MCM-SCI03] .
2003. A Pattern Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent Based Systems. 9:307-313.
[MCM-WINET03] .
2003. Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information. 9:223-238.
[LGMC-WOSP02] .
2004. From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. :25-36.
[LGMC-02b] .
2002. On the Use of Formal Models in Software Performance Evaluation. :367-387.
[LGMC-02c] .
2002. Performance Engineering Based on UML and SPNs: A Software Performance Tool. :405-409.
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[Cam-EVI-01] .
2001. Evaluación de Prestaciones de Sistemas Concurrentes Modelados con Redes de Petri. :141-156.
[MCM-JJCC-01] .
2001. Web Based Versus Mobile Agent Based Software Retrieval Systems: Performance Comparison. :299-312.
[MCM-LNCS-01] .
2001. A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
[MCM-MSWiM-01] .
2001. Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets. :47-56.
[C-RR-00-00] .
2000. Petri Nets.
[MCM-JJCC-00] .
2000. Evaluating Performance on Mobile Agents Software Design. :291-307.
[MCM-SEPN-00] .
2000. Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
[MCM-WOSP-00] .
2000. A Pattern Based Approach to Model Software Performance. :137-142.
