Publications
] Filters: Author is José Merseguer [Clear All Filters]
[MCM-LNCS-01] .
2001. A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
[1487] .
2013. A Meta-Model Based Approach to the Definition of the Analysis Results of Petri Net Models. Theory and Application of Multi-Formalism Modeling.
[PMM-ICPE12] .
2012. Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
[GMM06] .
2006. ArgoSPE: Model-based software performance engineering. 4024:401-410.
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[PMM-QoSA11a] .
2011. Enhancing a QoS-based Self-adaptive Framework with Energy Management Capabilities. Quality of Software Architectures.
[MCM-JJCC-00] .
2000. Evaluating Performance on Mobile Agents Software Design. :291-307.
[MC-SERP03] .
2003. Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
[1486] .
2012. Fault-Tolerant Techniques and Security Mechanisms for Model-based Performance Prediction of Critical Systems. Proceedings of the 3rd International Symposium on Architecting Critical Systems (ISARCS).
[LGMC-WOSP02] .
2004. From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. :25-36.
[BDM-WOSP-02] .
2002. From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
[GMM_WOMP06] .
2006. Impact of SOAP Implementations in the Performance of a Web Service-based Application. 4331:884-896.
[1458] .
2013. log2cloud: Log-based Prediction of Cost-Performance Trade-offs for Cloud Deployments. 28th Symposium On Applied Computing. :397-404.
[1382] .
2011. Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
[LGMC-02b] .
2002. On the Use of Formal Models in Software Performance Evaluation. :367-387.
[PIPRM-97] .
1997. OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
[MCM-WOSP-00] .
2000. A Pattern Based Approach to Model Software Performance. :137-142.
[MCM-SCI03] .
2003. A Pattern Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent Based Systems. 9:307-313.
[1485] .
2012. PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation. Proceedings of the 12th International Conference on Application of Concurrency to System Designs (ACSD).
[MIMB-ICNS-10] .
2010. Performance analysis of a dynamic architecture for reconfiguration of web servers clusters. 6th International Conference on Networking and Services (ICNS'10). :224-229.
[MCM-MSWiM-01] .
2001. Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets. :47-56.
[GIM-WOSP07] .
2007. Performance Analysis of Mobile Agents Tracking. :181-188.
[PMB-ICPE10] .
2010. Performance aware open-world software in a 3-layer architecture. First Joint WOSP/SIPEW International Conference on Performance Engineering.
[WPPSIM-WOSP-05] .
2005. Performance by Unified Model Analysis (PUMA). :1-12.
[LGMC-02c] .
2002. Performance Engineering Based on UML and SPNs: A Software Performance Tool. :405-409.
