José Merseguer

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 20

Top Topics

Adaptive Systems

Critical Infrastructure

Top Venues

J. Syst. Softw.

Softw. Syst. Model.

Empir. Softw. Eng.

Publications

Simona Bernardi, Raúl Javierre, José Merseguer
tegdet: An extensible Python library for anomaly detection using time evolving graphs. SoftwareX 22 (2023)
Simona Bernardi, Matthias Eckhart, José Merseguer, Simin Nadjm-Tehrani
Dependable and secure infrastructures and systems in intelligent environments. J. Reliab. Intell. Environ. 9 (3) (2023)
Mariapia Raimondo, Simona Bernardi, Stefano Marrone, José Merseguer
An approach for the automatic verification of blockchain protocols: the Tweetchain case study. J. Comput. Virol. Hacking Tech. 19 (1) (2023)
Simona Bernardi, Abel Gómez, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno
DICE simulation: a tool for software performance assessment at the design stage. Autom. Softw. Eng. 29 (1) (2022)
Simona Bernardi, José Merseguer, Raúl Javierre
tegdet: An extensible Python Library for Anomaly Detection using Time-Evolving Graphs. CoRR (2022)
Simona Bernardi, Ugo Gentile, Stefano Marrone, José Merseguer, Roberto Nardone
Security modelling and formal verification of survivability properties: Application to cyber-physical systems. J. Syst. Softw. 171 (2021)
Simona Bernardi, Raúl Javierre, José Merseguer, José Ignacio Requeno
Detectors of Smart Grid Integrity Attacks: an Experimental Assessment. EDCC (2021)
Diego Perez-Palacin, José Merseguer
WOSP-C 2021: Workshop on Challenges in Performance Methods for Software Development. ICPE (2021)
Simona Bernardi, Stefano Marrone, José Merseguer, Roberto Nardone, Valeria Vittorini
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. Softw. Syst. Model. 18 (3) (2019)
Diego Perez-Palacin, José Merseguer, José Ignacio Requeno, Michele Guerriero, Elisabetta Di Nitto, Damian A. Tamburri
A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications. Softw. Syst. Model. 18 (6) (2019)
José Ignacio Requeno, José Merseguer, Simona Bernardi, Diego Perez-Palacin, Giorgos Giotis, Vasilis K. Papanikolaou
Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study. Inf. Syst. Frontiers 21 (1) (2019)
Simona Bernardi, Juan L. Domínguez, Abel Gómez, Christophe Joubert, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno, Alberto Romeu
A systematic approach for performance assessment using process mining - An industrial experience report. Empir. Softw. Eng. 23 (6) (2018)
José Ignacio Requeno, Iñigo Gascón, José Merseguer
Towards the Performance Analysis of Apache Tez Applications. ICPE Companion (2018)
Simona Bernardi, Raquel Trillo Lado, José Merseguer
Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving Graphs. EDCC (2018)
Ugo Gentile, Simona Bernardi, Stefano Marrone, José Merseguer, Valeria Vittorini
A model driven approach for assessing survivability requirements of critical infrastructures. J. High Speed Networks 23 (2) (2017)
José Merseguer, Walter Binder, John Murphy
Guest Editorial: Automation in Software Performance Engineering. Autom. Softw. Eng. 24 (1) (2017)
Diego Perez-Palacin, Youssef Ridene, José Merseguer
Quality Assessment in DevOps: Automated Analysis of a Tax Fraud Detection System. ICPE Companion (2017)
Diego Perez-Palacin, Raffaela Mirandola, José Merseguer
Accurate modeling and efficient QoS analysis of scalable adaptive systems under bursty workload. J. Syst. Softw. 130 (2017)
José Ignacio Requeno, José Merseguer, Simona Bernardi
Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets. IRI (2017)
Abel Gómez, José Merseguer, Elisabetta Di Nitto, Damian A. Tamburri
Towards a UML profile for data intensive applications. QUDOS@ISSTA (2016)
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
A semantic approach for designing Assistive Software Recommender systems. J. Syst. Softw. 104 (2015)
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
DICE: Quality-Driven Development of Data-Intensive Cloud Applications. MiSE@ICSE (2015)
Ricardo J. Rodríguez, José Merseguer, Simona Bernardi
Modelling Security of Critical Infrastructures: A Survivability Assessment. Comput. J. 58 (10) (2015)
Diego Perez-Palacin, Raffaela Mirandola, José Merseguer
On the relationships between QoS and software adaptability at the architectural level. J. Syst. Softw. 87 (2014)
C. Murray Woodside, Dorina C. Petriu, José Merseguer, Dorin Bogdan Petriu, Mohammad Alhaj
Transformation challenges: from software models to performance models. Softw. Syst. Model. 13 (4) (2014)
Simona Bernardi, Lacramioara Dranca, José Merseguer
Modelling and Verification of Survivability Requirements for Critical Systems. SEFM Workshops (2014)
Elena Gómez-Martínez, Rafael González-Cabero, José Merseguer
Performance assessment of an architecture with adaptative interfaces for people with special needs. Empir. Softw. Eng. 19 (6) (2014)
Diego Perez-Palacin, Radu Calinescu, José Merseguer
log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments. SAC (2013)
Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliab. Eng. Syst. Saf. 120 (2013)
Ricardo J. Rodríguez, Jorge Júlvez, José Merseguer
On the Performance Estimation and Resource Optimization in Process Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 43 (6) (2013)
José Merseguer, Simona Bernardi
Dependability analysis of DES based on MARTE and UML state machines models. Discret. Event Dyn. Syst. 22 (2) (2012)
Diego Perez-Palacin, José Merseguer, Raffaela Mirandola
Analysis of bursty workload-aware self-adaptive systems. ICPE (2012)
Simona Bernardi, José Merseguer, Dorina C. Petriu
Dependability modeling and analysis of software systems specified with UML. ACM Comput. Surv. 45 (1) (2012)
Ricardo J. Rodríguez, Catia Trubiani, José Merseguer
Fault-tolerant techniques and security mechanisms for model-based performance prediction of critical systems. ISARCS (2012)
Ricardo J. Rodríguez, Jorge Júlvez, José Merseguer
PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation. ACSD (2012)
Diego Perez-Palacin, Raffaela Mirandola, José Merseguer
QoS and energy management with Petri nets: A self-adaptive framework. J. Syst. Softw. 85 (12) (2012)
Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini
Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP (2011)
Simona Bernardi, José Merseguer, Dorina C. Petriu
A dependability profile within MARTE. Softw. Syst. Model. 10 (3) (2011)
Simona Bernardi, Javier Campos, José Merseguer
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques. IEEE Trans. Ind. Informatics 7 (1) (2011)
Diego Perez-Palacin, José Merseguer
Performance sensitive self-adaptive service-oriented software using hidden Markov models (abstracts only). SIGMETRICS Perform. Evaluation Rev. 39 (3) (2011)
Diego Perez-Palacin, Raffaela Mirandola, José Merseguer
Enhancing a QoS-based self-adaptive framework with energy management capabilities. QoSA/ISARCS (2011)
Diego Perez-Palacin, Raffaela Mirandola, José Merseguer
Software architecture adaptability metrics for QoS-based self-adaptation. QoSA/ISARCS (2011)
Diego Perez-Palacin, José Merseguer
Performance sensitive self-adaptive service-oriented software using hidden markov models. ICPE (2011)
Ricardo J. Rodríguez, José Merseguer
Integrating Fault-Tolerant Techniques into the Design of Critical Systems. ISARCS (2010)
Ricardo J. Rodríguez, José Merseguer, Simona Bernardi
Modelling and analysing resilience as a security issue within UML. SERENE (2010)
Diego Perez-Palacin, Raffaela Mirandola, José Merseguer, Vincenzo Grassi
QoS-Based Model Driven Assessment of Adaptive Reactive Systems. ICST Workshops (2010)
Diego Perez-Palacin, José Merseguer
Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. Electron. Notes Theor. Comput. Sci. 261 (2010)
Diego Perez-Palacin, José Merseguer, Simona Bernardi
Performance aware open-world software in a 3-layer architecture. WOSP/SIPEW (2010)
Simona Bernardi, José Merseguer, Robyn R. Lutz
Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile. EDCC (2010)
Elena Gómez-Martínez, José Merseguer
Performance Modeling and Analysis of the Universal Control Hub. EPEW (2010)
Luca Berardinelli, Simona Bernardi, Vittorio Cortellessa, José Merseguer
UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. NFPinDSML@MoDELS (2009)
Simona Bernardi, José Merseguer, Dorina C. Petriu
Adding Dependability Analysis Capabilities to the MARTE Profile. MoDELS (2008)
Simona Bernardi, José Merseguer
Performance evaluation of UML design with Stochastic Well-formed Nets. J. Syst. Softw. 80 (11) (2007)
Elena Gómez-Martínez, Sergio Ilarri, José Merseguer
Performance analysis of mobile agents tracking. WOSP (2007)
Simona Bernardi, José Merseguer
A UML profile for dependability analysis of real-time embedded systems. WOSP (2007)
Javier Campos, José Merseguer
On the Integration of UML and Petri Nets in Software Development. ICATPN (2006)
Elena Gómez-Martínez, José Merseguer
Impact of SOAP Implementations in the Performance of a Web Service-Based Application. ISPA Workshops (2006)
Elena Gómez-Martínez, José Merseguer
ArgoSPE: Model-Based Software Performance Engineering. ICATPN (2006)
Simona Bernardi, José Merseguer
QoS Assessment via Stochastic Analysis. IEEE Internet Comput. 10 (3) (2006)
Elena Gómez-Martínez, José Merseguer
A Software Performance Engineering Tool based on the UML-SPT. QEST (2005)
C. Murray Woodside, Dorina C. Petriu, Dorin Bogdan Petriu, Hui Shen, Toqeer Israr, José Merseguer
Performance by unified model analysis (PUMA). WOSP (2005)
Juan-Pablo López-Grao, José Merseguer, Javier Campos
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. WOSP (2004)
José Merseguer, Javier Campos
Software Performance Modeling Using UML and Petri Nets. MASCOTS Tutorials (2003)
José Merseguer, Javier Campos
Exploring Roles for the UML Diagrams in Software Performance Engineering. Software Engineering Research and Practice (2003)
José Merseguer, Javier Campos, Eduardo Mena
Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wirel. Networks 9 (3) (2003)
Simona Bernardi, Susanna Donatelli, José Merseguer
From UML sequence diagrams and statecharts to analysable petrinet models. Workshop on Software and Performance (2002)
José Merseguer, Javier Campos, Eduardo Mena
Performance analysis of internet based software retrieval systems using Petri Nets. MSWiM (2001)
José Merseguer, Javier Campos, Eduardo Mena
A Performance Engineering Case Study: Software Retrieval System. Performance Engineering (2001)
José Merseguer, Javier Campos, Eduardo Mena
A pattern-based approach to model software performance. Workshop on Software and Performance (2000)
Oscar Pastor, Emilio Insfrán, Vicente Pelechano, José Raúl Romero, José Merseguer
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. CAiSE (1997)