José Merseguer

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