Publications
Filters: First Letter Of Last Name is C [Clear All Filters]
[1373] IEC 61499 execution model based on life cycle of function blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[1374] Design patterns for Failure Management in IEC 61499 Function Blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[1384] Control design for machine tools using Domiciano, an IDE based on software components. 16th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2011).
.
2011.
[1392] Fractional Positional Notation for Exact Rational Arithmetic. Computability in Europe 2010.
.
2010.
.
2003.
[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.
[MCM-SEPN-00] Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
.
2000.
[MCM-WOSP-00] A Pattern Based Approach to Model Software Performance. :137-142.
.
2000.
.
1999.
[CDS-TSE-99] Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.
.
1999.
[PJC-JJCC99] On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :249-268.
.
1999.
.
1999.
[C-MATCH17-98] Performance Bounds. :587-635.
.
1998.