Publications
Filters: Author is José Merseguer [Clear All Filters]
[1525] Modelling Security of Critical Infrastructures: A Survivability Assessment. The Computer Journal. 58(10)
.
2015.
[BDM-Tutorial] On derivation of Petri net quantitative models from UML software system specifications.
.
2005.
[CM-LNCS-06] On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
.
2006.
[1456] On the Performance Estimation and Resource Optimisation in Process Petri Nets. IEEE Transactions on Systems, Man and Cybernetics: Systems. 46(3):1385-1398.
.
2013.
[1480] On the Relationships between QoS and Software Adaptability at the Architectural Level. Journal of Systems and Software. 87(1):17.
.
2014.
[LGMC-02b] On the Use of Formal Models in Software Performance Evaluation. :367-387.
.
2002.
.
2004.
[PIPRM-97] OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
.
1997.
[MCM-WOSP-00] A Pattern Based Approach to Model Software Performance. :137-142.
.
2000.
[MCM-SCI03] A Pattern Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent Based Systems. 9:307-313.
.
2003.
[1485] PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation. Proceedings of the 12th International Conference on Application of Concurrency to System Designs (ACSD).
.
2012.
[MIMB-ICNS-10] Performance analysis of a dynamic architecture for reconfiguration of web servers clusters. 6th International Conference on Networking and Services (ICNS'10). :224-229.
.
2010.
[MCM-MSWiM-01] Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets. :47-56.
.
2001.
[GIM-WOSP07] Performance Analysis of Mobile Agents Tracking. :181-188.
.
2007.
[1509] Performance Assessment of an Architecture with Adaptative Interfaces for People with Special Needs. Empirical Software Engineering. 19(6):52.
.
2014.
[PMB-ICPE10] Performance aware open-world software in a 3-layer architecture. First Joint WOSP/SIPEW International Conference on Performance Engineering.
.
2010.
[WPPSIM-WOSP-05] Performance by Unified Model Analysis (PUMA). :1-12.
.
2005.
[LGMC-02c] Performance Engineering Based on UML and SPNs: A Software Performance Tool. :405-409.
.
2002.
[MCM-LNCS-01] A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
.
2001.
[MCM-SEPN-00] Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
.
2000.
[1527] Performance Evaluation of Dynamic Binary Instrumentation Frameworks. IEEE Latin America. 12(8):9.
.
2014.
[PM-PASM09] Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. ENTCS. 261:181-201.
.
2010.
[BM-JSS-07] Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software. 80:1843-1865.
.
2007.
[1406] Performance Evaluation of Web Services Orchestrated with WS-BPEL4People. International Journal of Computer Networks & Communications. 2(6):18.
.
2010.
[1276] Performance modeling and analysis of the Universal Control Hub. 7th European Performance Engineering Workshop, EPEW 2010.
.
2010.