José Merseguer

According to our database, José Merseguer authored at least 72 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Completion of SysML state machines from Given-When-Then requirements.

Maria Stella de Biase, Simona Bernardi, Stefano Marrone, José Merseguer, Angelo Palladino

Softw. Syst. Model., December, 2024

2023

Dependable and secure infrastructures and systems in intelligent environments.

Simona Bernardi, Matthias Eckhart, José Merseguer, Simin Nadjm-Tehrani

J. Reliab. Intell. Environ., September, 2023

tegdet: An extensible Python library for anomaly detection using time evolving graphs.

Simona Bernardi, Raúl Javierre, José Merseguer

SoftwareX, May, 2023

An approach for the automatic verification of blockchain protocols: the Tweetchain case study.

Mariapia Raimondo, Simona Bernardi, Stefano Marrone, José Merseguer

J. Comput. Virol. Hacking Tech., March, 2023

2022

DICE simulation: a tool for software performance assessment at the design stage.

Simona Bernardi, Abel Gómez, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno

Autom. Softw. Eng., 2022

2021

Security modelling and formal verification of survivability properties: Application to cyber-physical systems.

Simona Bernardi, Ugo Gentile, Stefano Marrone, José Merseguer, Roberto Nardone

J. Syst. Softw., 2021

WOSP-C 2021: Workshop on Challenges in Performance Methods for Software Development.

Diego Perez-Palacin, José Merseguer

Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021

Detectors of Smart Grid Integrity Attacks: an Experimental Assessment.

Simona Bernardi, Raúl Javierre, José Merseguer, José Ignacio Requeno

Proceedings of the 17th European Dependable Computing Conference, 2021

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

Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism.

Simona Bernardi, Stefano Marrone, José Merseguer, Roberto Nardone, Valeria Vittorini

Softw. Syst. Model., 2019

Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study.

José Ignacio Requeno, José Merseguer, Simona Bernardi, Diego Perez-Palacin, Giorgos Giotis, Vasilis K. Papanikolaou

Inf. Syst. Frontiers, 2019

2018

A systematic approach for performance assessment using process mining - An industrial experience report.

Simona Bernardi, Juan L. Domínguez, Abel Gómez, Christophe Joubert, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno, Alberto Romeu

Empir. Softw. Eng., 2018

Towards the Performance Analysis of Apache Tez Applications.

José Ignacio Requeno, Iñigo Gascón, José Merseguer

Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving Graphs.

Simona Bernardi, Raquel Trillo Lado, José Merseguer

Proceedings of the 14th European Dependable Computing Conference, 2018

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

A model driven approach for assessing survivability requirements of critical infrastructures.

Ugo Gentile, Simona Bernardi, Stefano Marrone, José Merseguer, Valeria Vittorini

J. High Speed Networks, 2017

Guest Editorial: Automation in Software Performance Engineering.

José Merseguer, Walter Binder, John Murphy

Autom. Softw. Eng., 2017

Quality Assessment in DevOps: Automated Analysis of a Tax Fraud Detection System.

Diego Perez-Palacin, Youssef Ridene, José Merseguer

Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets.

José Ignacio Requeno, José Merseguer, Simona Bernardi

Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

2016

Towards a UML profile for data intensive applications.

Abel Gómez, José Merseguer, Elisabetta Di Nitto, Damian A. Tamburri

Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 2016

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

Modelling Security of Critical Infrastructures: A Survivability Assessment.

Ricardo J. Rodríguez, José Merseguer, Simona Bernardi

Comput. J., 2015

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, Matteo Rossi, Craig Sheridan, Ilias Spais, Daniel Vladuic

Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

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

On the relationships between QoS and software adaptability at the architectural level.

Diego Perez-Palacin, Raffaela Mirandola, José Merseguer

J. Syst. Softw., 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

Modelling and Verification of Survivability Requirements for Critical Systems.

Simona Bernardi, Lacramioara Dranca, José Merseguer

Proceedings of the Software Engineering and Formal Methods, 2014

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

Enabling the usage of UML in the verification of railway systems: The DAM-rail approach.

Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini

Reliab. Eng. Syst. Saf., 2013

log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments.

Diego Perez-Palacin, Radu Calinescu, José Merseguer

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods.

Oscar Pastor, Emilio Insfrán, Vicente Pelechano, José Raúl Romero, José Merseguer

Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

Model-Driven Dependability Assessment of Software Systems.

Simona Bernardi, José Merseguer, Dorina C. Petriu

Springer, ISBN: 978-3-642-39511-6, 2013

2012

QoS and energy management with Petri nets: A self-adaptive framework.

Diego Perez-Palacin, Raffaela Mirandola, José Merseguer

J. Syst. Softw., 2012

Dependability analysis of DES based on MARTE and UML state machines models.

José Merseguer, Simona Bernardi

Discret. Event Dyn. Syst., 2012

Dependability modeling and analysis of software systems specified with UML.

Simona Bernardi, José Merseguer, Dorina C. Petriu

ACM Comput. Surv., 2012

Analysis of bursty workload-aware self-adaptive systems.

Diego Perez-Palacin, José Merseguer, Raffaela Mirandola

Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Fault-tolerant techniques and security mechanisms for model-based performance prediction of critical systems.

Ricardo J. Rodríguez, Catia Trubiani, José Merseguer

Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, 2012

PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation.

Ricardo J. Rodríguez, Jorge Júlvez, José Merseguer

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques.

Simona Bernardi, Javier Campos, José Merseguer

IEEE Trans. Ind. Informatics, 2011

A dependability profile within MARTE.

Simona Bernardi, José Merseguer, Dorina C. Petriu

Softw. Syst. Model., 2011

Performance sensitive self-adaptive service-oriented software using hidden Markov models (abstracts only).

Diego Perez-Palacin, José Merseguer

SIGMETRICS Perform. Evaluation Rev., 2011

Performance sensitive self-adaptive service-oriented software using hidden markov models.

Diego Perez-Palacin, José Merseguer

Proceedings of the ICPE'11, 2011

Model-Driven Availability Evaluation of Railway Control Systems.

Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini

Proceedings of the Computer Safety, Reliability, and Security, 2011

Software architecture adaptability metrics for QoS-based self-adaptation.

Diego Perez-Palacin, Raffaela Mirandola, José Merseguer

Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

Enhancing a QoS-based self-adaptive framework with energy management capabilities.

Diego Perez-Palacin, Raffaela Mirandola, José Merseguer

Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

2010

Performance aware open-world software in a 3-layer architecture.

Diego Perez-Palacin, José Merseguer, Simona Bernardi

Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

Modelling and analysing resilience as a security issue within UML.

Ricardo J. Rodríguez, José Merseguer, Simona Bernardi

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Integrating Fault-Tolerant Techniques into the Design of Critical Systems.

Ricardo J. Rodríguez, José Merseguer

Proceedings of the Architecting Critical Systems, First International Symposium, 2010

QoS-Based Model Driven Assessment of Adaptive Reactive Systems.

Diego Perez-Palacin, Raffaela Mirandola, José Merseguer, Vincenzo Grassi

Proceedings of the Third International Conference on Software Testing, 2010

Performance Modeling and Analysis of the Universal Control Hub.

Elena Gómez-Martínez, José Merseguer

Proceedings of the Computer Performance Engineering, 2010

Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile.

Simona Bernardi, José Merseguer, Robyn R. Lutz

Proceedings of the Eighth European Dependable Computing Conference, 2010

2009

Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets.

Diego Perez-Palacin, José Merseguer

Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, 2009

UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance.

Luca Berardinelli, Simona Bernardi, Vittorio Cortellessa, José Merseguer

Proceedings of the 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages NFPinDSML2009 Affiliated with the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009) Denver, 2009

2008

Adding Dependability Analysis Capabilities to the MARTE Profile.

Simona Bernardi, José Merseguer, Dorina C. Petriu

Proceedings of the Model Driven Engineering Languages and Systems, 2008

2007

Performance evaluation of UML design with Stochastic Well-formed Nets.

Simona Bernardi, José Merseguer

J. Syst. Softw., 2007

Performance analysis of mobile agents tracking.

Elena Gómez-Martínez, Sergio Ilarri, José Merseguer

Proceedings of the 6th International Workshop on Software and Performance, 2007

A UML profile for dependability analysis of real-time embedded systems.

Simona Bernardi, José Merseguer

Proceedings of the 6th International Workshop on Software and Performance, 2007

2006

QoS Assessment via Stochastic Analysis.

Simona Bernardi, José Merseguer

IEEE Internet Comput., 2006

Impact of SOAP Implementations in the Performance of a Web Service-Based Application.

Elena Gómez-Martínez, José Merseguer

Proceedings of the Frontiers of High Performance Computing and Networking, 2006

ArgoSPE: Model-Based Software Performance Engineering.

Elena Gómez-Martínez, José Merseguer

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

On the Integration of UML and Petri Nets in Software Development.

Javier Campos, José Merseguer

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Performance by unified model analysis (PUMA).

C. Murray Woodside, Dorina C. Petriu, Dorin Bogdan Petriu, Hui Shen, Toqeer Israr, José Merseguer

Proceedings of the Fifth International Workshop on Software and Performance, 2005

A Software Performance Engineering Tool based on the UML-SPT.

Elena Gómez-Martínez, José Merseguer

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

2004

From UML activity diagrams to Stochastic Petri nets: application to software performance engineering.

Juan-Pablo López-Grao, José Merseguer, Javier Campos

Proceedings of the Fourth International Workshop on Software and Performance, 2004

2003

Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison.

José Merseguer, Javier Campos, Eduardo Mena

Wirel. Networks, 2003

Exploring Roles for the UML Diagrams in Software Performance Engineering.

José Merseguer, Javier Campos

Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Software Performance Modeling Using UML and Petri Nets.

José Merseguer, Javier Campos

Proceedings of the Performance Tools and Applications to Networked Systems, 2003

2002

From UML sequence diagrams and statecharts to analysable petrinet models.

Simona Bernardi, Susanna Donatelli, José Merseguer

Proceedings of the Third International Workshop on Software and Performance, 2002

2001

A Performance Engineering Case Study: Software Retrieval System.

José Merseguer, Javier Campos, Eduardo Mena

Proceedings of the Performance Engineering, State of the Art and Current Trends, 2001

Performance analysis of internet based software retrieval systems using Petri Nets.

José Merseguer, Javier Campos, Eduardo Mena

Proceedings of the 4th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2001

2000

A pattern-based approach to model software performance.

José Merseguer, Javier Campos, Eduardo Mena

Proceedings of the Second International Workshop on Software and Performance, 2000

1997

OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods.

Oscar Pastor, Emilio Insfrán, Vicente Pelechano, José Raúl Romero, José Merseguer

Proceedings of the Advanced Information Systems Engineering, 1997