Publications
] Filters: First Letter Of Last Name is M [Clear All Filters]
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[BDM-WOSP-02] .
2002. From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
[Merse-Phd] .
2003. Software Performance Engineering based on UML and Petri nets.
[CM-LNCS-06] .
2006. On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
[PIPRM-97] .
1997. OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
[RMBP-98] .
1998. Una Herramienta de Generación Automática de Software. :157-169.
[PBMRI-96] .
1996. Descripción de la Herramienta CASE OO-Method. :47.
[MR-97] .
1997. La herencia en el modelo orientado a objetos, del análisis a la implementación. :21-30.
[GMM06] .
2006. ArgoSPE: Model-based software performance engineering. 4024:401-410.
[BM-IC-06] .
2006. QoS assessment via stochastic analysis. IEEE Internet Computing. 10:32-42.
[GMM_WOMP06] .
2006. Impact of SOAP Implementations in the Performance of a Web Service-based Application. 4331:884-896.
[GIM-WOSP07] .
2007. Performance Analysis of Mobile Agents Tracking. :181-188.
[BM-WOSP-07] .
2007. A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
[MC-LNCS-04] .
2004. Software Performance Modelling Using UML and Petri Nets. Lecture Notes in Computer Science. 2965:265-289.
[WPPSIM-WOSP-05] .
2005. Performance by Unified Model Analysis (PUMA). :1-12.
[BM-JSS-07] .
2007. Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software. 80:1843-1865.
[BCDM-TSE] .
2004. GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams.
[GMM-Tool] .
2005. A Software Performance Engineering Tool based on the UML-SPT.
[BDM-Tutorial] .
2005. On derivation of Petri net quantitative models from UML software system specifications.
[BMP-RR-08] .
2008. An UML profile for dependability analysis and modeling of software systems. :47.
[BMP-Models-08] .
2008. Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
[BMP-SOSYM09] .
2011. A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
[PM-PASM09] .
2010. Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. ENTCS. 261:181-201.
