Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
[1514] Computing minimal siphons in Petri net models of Resource Allocation Systems: An evolutionary approach. International Workshop on Petri Nets and Software Engineering (PNSE'14).
.
2014.
[1520] Using the incidence matrix in an evolutionary algorithm for Computing minimal siphons in Petri net models. 18th International Conference on System Theory, Control and Computing (ICSTCC 2014).
.
2014.
.
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.
[BDM-WOSP-02] From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
.
2002.
.
2003.
[CM-LNCS-06] On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
.
2006.
[PIPRM-97] OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
.
1997.
[RMBP-98] Una Herramienta de Generación Automática de Software. :157-169.
.
1998.
[PBMRI-96] Descripción de la Herramienta CASE OO-Method. :47.
.
1996.
.
1997.
[GMM06] ArgoSPE: Model-based software performance engineering. 4024:401-410.
.
2006.
[BM-IC-06] QoS assessment via stochastic analysis. IEEE Internet Computing. 10:32-42.
.
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.
[BM-WOSP-07] A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
.
2007.
[MC-LNCS-04] Software Performance Modelling Using UML and Petri Nets. Lecture Notes in Computer Science. 2965:265-289.
.
2004.
.
2004.
[WPPSIM-WOSP-05] Performance by Unified Model Analysis (PUMA). :1-12.
.
2005.
[BM-JSS-07] Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software. 80:1843-1865.
.
2007. .
2004.