OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. - Oscar Pastor 001; Emilio Insfrán; Vicente Pelechano; José Raúl Romero; José Merseguer (CAiSE, 1997)

A pattern-based approach to model software performance. - José Merseguer; Javier Campos; Eduardo Mena (Workshop on Software and Performance, 2000)

Performance analysis of internet based software retrieval systems using Petri Nets. - José Merseguer; Javier Campos; Eduardo Mena (MSWiM, 2001)

A Performance Engineering Case Study: Software Retrieval System. - José Merseguer; Javier Campos; Eduardo Mena (Performance Engineering, 2001)

From UML sequence diagrams and statecharts to analysable petrinet models. - Simona Bernardi 001; Susanna Donatelli; José Merseguer (Workshop on Software and Performance, 2002)

Software Performance Modeling Using UML and Petri Nets. - José Merseguer; Javier Campos (MASCOTS Tutorials, 2003)

Exploring Roles for the UML Diagrams in Software Performance Engineering. - José Merseguer; Javier Campos (Software Engineering Research and Practice, 2003)

Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. - José Merseguer; Javier Campos; Eduardo Mena (Wirel. Networks, 2003)

From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. - Juan-Pablo López-Grao; José Merseguer; Javier Campos (WOSP, 2004)

A Software Performance Engineering Tool based on the UML-SPT. - Elena Gómez-Martínez; José Merseguer (QEST, 2005)

Performance by unified model analysis (PUMA). - C. Murray Woodside; Dorina C. Petriu; Dorin Bogdan Petriu; Hui Shen; Toqeer Israr; José Merseguer (WOSP, 2005)

On the Integration of UML and Petri Nets in Software Development. - Javier Campos; José Merseguer (ICATPN, 2006)

ArgoSPE: Model-Based Software Performance Engineering. - Elena Gómez-Martínez; José Merseguer (ICATPN, 2006)

Impact of SOAP Implementations in the Performance of a Web Service-Based Application. - Elena Gómez-Martínez; José Merseguer (ISPA Workshops, 2006)

QoS Assessment via Stochastic Analysis. - Simona Bernardi 001; José Merseguer (IEEE Internet Comput., 2006)

A UML profile for dependability analysis of real-time embedded systems. - Simona Bernardi 001; José Merseguer (WOSP, 2007)

Performance analysis of mobile agents tracking. - Elena Gómez-Martínez; Sergio Ilarri; José Merseguer (WOSP, 2007)

Performance evaluation of UML design with Stochastic Well-formed Nets. - Simona Bernardi 001; José Merseguer (J. Syst. Softw., 2007)

Adding Dependability Analysis Capabilities to the MARTE Profile. - Simona Bernardi 001; José Merseguer; Dorina C. Petriu (MoDELS, 2008)

UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. - Luca Berardinelli; Simona Bernardi 001; Vittorio Cortellessa; José Merseguer (NFPinDSML@MoDELS, 2009)

Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. - Diego Perez-Palacin; José Merseguer (PASM@MASCOTS, 2009)

Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile. - Simona Bernardi 001; José Merseguer; Robyn R. Lutz (EDCC, 2010)

Performance Modeling and Analysis of the Universal Control Hub. - Elena Gómez-Martínez; José Merseguer (EPEW, 2010)

QoS-Based Model Driven Assessment of Adaptive Reactive Systems. - Diego Perez-Palacin; Raffaela Mirandola; José Merseguer; Vincenzo Grassi (ICST Workshops, 2010)

Integrating Fault-Tolerant Techniques into the Design of Critical Systems. - Ricardo J. Rodríguez; José Merseguer (ISARCS, 2010)

Modelling and analysing resilience as a security issue within UML. - Ricardo J. Rodríguez; José Merseguer; Simona Bernardi 001 (SERENE, 2010)

Performance aware open-world software in a 3-layer architecture. - Diego Perez-Palacin; José Merseguer; Simona Bernardi 001 (WOSP/SIPEW, 2010)

Enhancing a QoS-based self-adaptive framework with energy management capabilities. - Diego Perez-Palacin; Raffaela Mirandola; José Merseguer (QoSA/ISARCS, 2011)

Software architecture adaptability metrics for QoS-based self-adaptation. - Diego Perez-Palacin; Raffaela Mirandola; José Merseguer (QoSA/ISARCS, 2011)

Model-Driven Availability Evaluation of Railway Control Systems. - Simona Bernardi 001; Francesco Flammini; Stefano Marrone 001; José Merseguer; Camilla Papa; Valeria Vittorini (SAFECOMP, 2011)

Performance sensitive self-adaptive service-oriented software using hidden markov models. - Diego Perez-Palacin; José Merseguer (ICPE, 2011)

Performance sensitive self-adaptive service-oriented software using hidden Markov models (abstracts only). - Diego Perez-Palacin; José Merseguer (SIGMETRICS Perform. Evaluation Rev., 2011)

A dependability profile within MARTE. - Simona Bernardi 001; José Merseguer; Dorina C. Petriu (Softw. Syst. Model., 2011)

Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques. - Simona Bernardi 001; Javier Campos; José Merseguer (IEEE Trans. Ind. Informatics, 2011)

PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation. - Ricardo J. Rodríguez; Jorge Júlvez; José Merseguer (ACSD, 2012)

Fault-tolerant techniques and security mechanisms for model-based performance prediction of critical systems. - Ricardo J. Rodríguez; Catia Trubiani; José Merseguer (ISARCS, 2012)

Analysis of bursty workload-aware self-adaptive systems. - Diego Perez-Palacin; José Merseguer; Raffaela Mirandola (ICPE, 2012)

Dependability modeling and analysis of software systems specified with UML. - Simona Bernardi 001; José Merseguer; Dorina C. Petriu (ACM Comput. Surv., 2012)

Dependability analysis of DES based on MARTE and UML state machines models. - José Merseguer; Simona Bernardi 001 (Discret. Event Dyn. Syst., 2012)

QoS and energy management with Petri nets: A self-adaptive framework. - Diego Perez-Palacin; Raffaela Mirandola; José Merseguer (J. Syst. Softw., 2012)

Model-Driven Dependability Assessment of Software Systems. - Simona Bernardi 001; José Merseguer; Dorina C. Petriu (Springer, 2013)

00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods. - Oscar Pastor 001; Emilio Insfrán; Vicente Pelechano; José Raúl Romero; José Merseguer (Seminal Contributions to Information Systems Engineering, 2013)

log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments. - Diego Perez-Palacin; Radu Calinescu; José Merseguer (SAC, 2013)

Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. - Simona Bernardi 001; Francesco Flammini; Stefano Marrone 001; Nicola Mazzocca; José Merseguer; Roberto Nardone; Valeria Vittorini (Reliab. Eng. Syst. Saf., 2013)

On the Performance Estimation and Resource Optimization in Process Petri Nets. - Ricardo J. Rodríguez; Jorge Júlvez; José Merseguer (IEEE Trans. Syst. Man Cybern. Syst., 2013)

Modelling and Verification of Survivability Requirements for Critical Systems. - Simona Bernardi 001; Lacramioara Dranca; José Merseguer (SEFM Workshops, 2014)

Performance assessment of an architecture with adaptative interfaces for people with special needs. - Elena Gómez-Martínez; Rafael González-Cabero; José Merseguer (Empir. Softw. Eng., 2014)

On the relationships between QoS and software adaptability at the architectural level. - Diego Perez-Palacin; Raffaela Mirandola; José Merseguer (J. Syst. Softw., 2014)

Transformation challenges: from software models to performance models. - C. Murray Woodside; Dorina C. Petriu; José Merseguer; Dorin Bogdan Petriu; Mohammad Alhaj (Softw. Syst. Model., 2014)

DICE: Quality-Driven Development of Data-Intensive Cloud Applications. - Giuliano Casale; Danilo Ardagna; Matej Artac; Franck Barbier; Elisabetta Di Nitto; Alexis Henry; Gabriel Iuhasz; Christophe Joubert; José Merseguer; Victor Ion Munteanu; Juan Fernando Pérez; Dana Petcu; et al. (MiSE@ICSE, 2015)

Modelling Security of Critical Infrastructures: A Survivability Assessment. - Ricardo J. Rodríguez; José Merseguer; Simona Bernardi 001 (Comput. J., 2015)

A semantic approach for designing Assistive Software Recommender systems. - Elena Gómez-Martínez; Marino Linaje Trigueros; Fernando Sánchez-Figueroa; Andrés Iglesias Pérez; Juan Carlos Preciado; Rafael González-Cabero; José Merseguer (J. Syst. Softw., 2015)

Towards a UML profile for data intensive applications. - Abel Gómez 001; José Merseguer; Elisabetta Di Nitto; Damian A. Tamburri (QUDOS@ISSTA, 2016)

Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets. - José Ignacio Requeno; José Merseguer; Simona Bernardi 001 (IRI, 2017)

Quality Assessment in DevOps: Automated Analysis of a Tax Fraud Detection System. - Diego Perez-Palacin; Youssef Ridene; José Merseguer (ICPE Companion, 2017)

Guest Editorial: Automation in Software Performance Engineering. - José Merseguer; Walter Binder; John Murphy 001 (Autom. Softw. Eng., 2017)

A model driven approach for assessing survivability requirements of critical infrastructures. - Ugo Gentile; Simona Bernardi 001; Stefano Marrone 001; José Merseguer; Valeria Vittorini (J. High Speed Networks, 2017)

Accurate modeling and efficient QoS analysis of scalable adaptive systems under bursty workload. - Diego Perez-Palacin; Raffaela Mirandola; José Merseguer (J. Syst. Softw., 2017)

Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving Graphs. - Simona Bernardi 001; Raquel Trillo Lado; José Merseguer (EDCC, 2018)

Towards the Performance Analysis of Apache Tez Applications. - José Ignacio Requeno; Iñigo Gascón; José Merseguer (ICPE Companion, 2018)

A systematic approach for performance assessment using process mining - An industrial experience report. - Simona Bernardi 001; Juan L. Domínguez; Abel Gómez 001; Christophe Joubert; José Merseguer; Diego Perez-Palacin; José Ignacio Requeno; Alberto Romeu (Empir. Softw. Eng., 2018)

Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study. - José Ignacio Requeno; José Merseguer; Simona Bernardi 001; Diego Perez-Palacin; Giorgos Giotis; Vasilis K. Papanikolaou (Inf. Syst. Frontiers, 2019)

Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. - Simona Bernardi 001; Stefano Marrone 001; José Merseguer; Roberto Nardone; Valeria Vittorini (Softw. Syst. Model., 2019)

A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications. - Diego Perez-Palacin; José Merseguer; José Ignacio Requeno; Michele Guerriero; Elisabetta Di Nitto; Damian A. Tamburri (Softw. Syst. Model., 2019)

Detectors of Smart Grid Integrity Attacks: an Experimental Assessment. - Simona Bernardi 001; Raúl Javierre; José Merseguer; José Ignacio Requeno (EDCC, 2021)

WOSP-C 2021: Workshop on Challenges in Performance Methods for Software Development. - Diego Perez-Palacin; José Merseguer (ICPE, 2021)

Security modelling and formal verification of survivability properties: Application to cyber-physical systems. - Simona Bernardi 001; Ugo Gentile; Stefano Marrone 001; José Merseguer; Roberto Nardone (J. Syst. Softw., 2021)

DICE simulation: a tool for software performance assessment at the design stage. - Simona Bernardi 001; Abel Gómez 001; José Merseguer; Diego Perez-Palacin; José Ignacio Requeno (Autom. Softw. Eng., 2022)

An approach for the automatic verification of blockchain protocols: the Tweetchain case study. - Mariapia Raimondo; Simona Bernardi 001; Stefano Marrone 001; José Merseguer (J. Comput. Virol. Hacking Tech., 2023)

tegdet: An extensible Python library for anomaly detection using time evolving graphs. - Simona Bernardi 001; Raúl Javierre; José Merseguer (SoftwareX, 2023)

Dependable and secure infrastructures and systems in intelligent environments. - Simona Bernardi 001; Matthias Eckhart; José Merseguer; Simin Nadjm-Tehrani (J. Reliab. Intell. Environ., 2023)

Completion of SysML state machines from Given-When-Then requirements. - Maria Stella de Biase; Simona Bernardi 001; Stefano Marrone 001; José Merseguer; Angelo Palladino (Softw. Syst. Model., 2024)