![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
José Merseguer
Person information
- affiliation: University of Zaragoza, Spain
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j28]Simona Bernardi, Matthias Eckhart
, José Merseguer, Simin Nadjm-Tehrani:
Dependable and secure infrastructures and systems in intelligent environments. J. Reliab. Intell. Environ. 9(3): 261-262 (2023) - [j27]Simona Bernardi
, Raúl Javierre, José Merseguer
:
tegdet: An extensible Python library for anomaly detection using time evolving graphs. SoftwareX 22: 101363 (2023) - [j26]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): 17-32 (2023) - 2022
- [j25]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): 36 (2022) - [i1]Simona Bernardi, José Merseguer, Raúl Javierre:
tegdet: An extensible Python Library for Anomaly Detection using Time-Evolving Graphs. CoRR abs/2210.08847 (2022) - 2021
- [j24]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: 110746 (2021) - [c41]Simona Bernardi, Raúl Javierre, José Merseguer, José Ignacio Requeno
:
Detectors of Smart Grid Integrity Attacks: an Experimental Assessment. EDCC 2021: 75-82 - [c40]Diego Perez-Palacin, José Merseguer
:
WOSP-C 2021: Workshop on Challenges in Performance Methods for Software Development. ICPE 2021: 283-284
2010 – 2019
- 2019
- [j23]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): 67-85 (2019) - [j22]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): 2241-2264 (2019) - [j21]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): 3577-3614 (2019) - [e4]Varsha Apte, Antinisca Di Marco, Marin Litoiu, José Merseguer:
Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering, ICPE 2019, Mumbai, India, April 7-11, 2019. ACM 2019, ISBN 978-1-4503-6239-9 [contents] - [e3]Varsha Apte, Antinisca Di Marco, Marin Litoiu, José Merseguer:
Companion of the 2019 ACM/SPEC International Conference on Performance Engineering, ICPE 2019, Mumbai, India, April 07-11, 2019. ACM 2019, ISBN 978-1-4503-6286-3 [contents] - 2018
- [j20]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): 3394-3441 (2018) - [c39]Simona Bernardi
, Raquel Trillo Lado, José Merseguer
:
Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving Graphs. EDCC 2018: 136-139 - [c38]José Ignacio Requeno
, Iñigo Gascón, José Merseguer
:
Towards the Performance Analysis of Apache Tez Applications. ICPE Companion 2018: 147-152 - 2017
- [j19]José Merseguer
, Walter Binder
, John Murphy:
Guest Editorial: Automation in Software Performance Engineering. Autom. Softw. Eng. 24(1): 71-72 (2017) - [j18]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): 175-186 (2017) - [j17]Diego Perez-Palacin, Raffaela Mirandola
, José Merseguer
:
Accurate modeling and efficient QoS analysis of scalable adaptive systems under bursty workload. J. Syst. Softw. 130: 24-41 (2017) - [c37]José Ignacio Requeno
, José Merseguer
, Simona Bernardi
:
Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets. IRI 2017: 411-418 - [c36]Diego Perez-Palacin, Youssef Ridene, José Merseguer
:
Quality Assessment in DevOps: Automated Analysis of a Tax Fraud Detection System. ICPE Companion 2017: 133-138 - 2016
- [c35]Abel Gómez
, José Merseguer
, Elisabetta Di Nitto, Damian A. Tamburri
:
Towards a UML profile for data intensive applications. QUDOS@ISSTA 2016: 18-23 - 2015
- [j16]Ricardo J. Rodríguez
, José Merseguer
, Simona Bernardi
:
Modelling Security of Critical Infrastructures: A Survivability Assessment. Comput. J. 58(10): 2313-2327 (2015) - [j15]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: 166-178 (2015) - [c34]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: 78-83 - 2014
- [j14]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): 1967-2018 (2014) - [j13]Diego Perez-Palacin, Raffaela Mirandola
, José Merseguer
:
On the relationships between QoS and software adaptability at the architectural level. J. Syst. Softw. 87: 1-17 (2014) - [j12]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): 1529-1552 (2014) - [c33]Simona Bernardi
, Lacramioara Dranca, José Merseguer
:
Modelling and Verification of Survivability Requirements for Critical Systems. SEFM Workshops 2014: 86-100 - [e2]Klaus-Dieter Lange, John Murphy, Walter Binder, José Merseguer:
ACM/SPEC International Conference on Performance Engineering, ICPE'14, Dublin, Ireland, March 22-26, 2014. ACM 2014, ISBN 978-1-4503-2733-6 [contents] - 2013
- [b1]Simona Bernardi, José Merseguer, Dorina C. Petriu:
Model-Driven Dependability Assessment of Software Systems. Springer 2013, ISBN 978-3-642-39511-6, pp. I-XVI, 1-187 - [j11]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: 112-126 (2013) - [j10]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): 1385-1398 (2013) - [c32]Diego Perez-Palacin, Radu Calinescu
, José Merseguer
:
log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments. SAC 2013: 397-404 - [p1]Oscar Pastor, Emilio Insfrán, Vicente Pelechano
, José Raúl Romero, José Merseguer:
00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods. Seminal Contributions to Information Systems Engineering 2013: 139-152 - [e1]Simona Bernardi, Marko Boskovic, José Merseguer:
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. CEUR Workshop Proceedings 1074, CEUR-WS.org 2013 [contents] - 2012
- [j9]Simona Bernardi
, José Merseguer
, Dorina C. Petriu
:
Dependability modeling and analysis of software systems specified with UML. ACM Comput. Surv. 45(1): 2:1-2:48 (2012) - [j8]José Merseguer
, Simona Bernardi
:
Dependability analysis of DES based on MARTE and UML state machines models. Discret. Event Dyn. Syst. 22(2): 163-178 (2012) - [j7]Diego Perez-Palacin, Raffaela Mirandola
, José Merseguer
:
QoS and energy management with Petri nets: A self-adaptive framework. J. Syst. Softw. 85(12): 2796-2811 (2012) - [c31]Ricardo J. Rodríguez
, Jorge Júlvez, José Merseguer
:
PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation. ACSD 2012: 142-147 - [c30]Ricardo J. Rodríguez
, Catia Trubiani
, José Merseguer
:
Fault-tolerant techniques and security mechanisms for model-based performance prediction of critical systems. ISARCS 2012: 21-30 - [c29]Diego Perez-Palacin, José Merseguer
, Raffaela Mirandola
:
Analysis of bursty workload-aware self-adaptive systems. ICPE 2012: 75-84 - 2011
- [j6]Diego Perez-Palacin, José Merseguer:
Performance sensitive self-adaptive service-oriented software using hidden Markov models (abstracts only). SIGMETRICS Perform. Evaluation Rev. 39(3): 15 (2011) - [j5]Simona Bernardi
, José Merseguer
, Dorina C. Petriu
:
A dependability profile within MARTE. Softw. Syst. Model. 10(3): 313-336 (2011) - [j4]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): 90-104 (2011) - [c28]Diego Perez-Palacin, Raffaela Mirandola
, José Merseguer
:
Enhancing a QoS-based self-adaptive framework with energy management capabilities. QoSA/ISARCS 2011: 165-170 - [c27]Diego Perez-Palacin, Raffaela Mirandola
, José Merseguer
:
Software architecture adaptability metrics for QoS-based self-adaptation. QoSA/ISARCS 2011: 171-176 - [c26]Simona Bernardi
, Francesco Flammini
, Stefano Marrone
, José Merseguer
, Camilla Papa, Valeria Vittorini:
Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP 2011: 15-28 - [c25]Diego Perez-Palacin, José Merseguer
:
Performance sensitive self-adaptive service-oriented software using hidden markov models. ICPE 2011: 201-206 - 2010
- [c24]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: 95-104 - [c23]Elena Gómez-Martínez
, José Merseguer
:
Performance Modeling and Analysis of the Universal Control Hub. EPEW 2010: 160-174 - [c22]Diego Perez-Palacin, Raffaela Mirandola
, José Merseguer
, Vincenzo Grassi:
QoS-Based Model Driven Assessment of Adaptive Reactive Systems. ICST Workshops 2010: 299-308 - [c21]Ricardo J. Rodríguez
, José Merseguer
:
Integrating Fault-Tolerant Techniques into the Design of Critical Systems. ISARCS 2010: 33-51 - [c20]Ricardo J. Rodríguez
, José Merseguer
, Simona Bernardi
:
Modelling and analysing resilience as a security issue within UML. SERENE 2010: 42-51 - [c19]Diego Perez-Palacin, José Merseguer
, Simona Bernardi
:
Performance aware open-world software in a 3-layer architecture. WOSP/SIPEW 2010: 49-56
2000 – 2009
- 2009
- [c18]Luca Berardinelli
, Simona Bernardi, Vittorio Cortellessa, José Merseguer:
UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. NFPinDSML@MoDELS 2009 - [c17]Diego Perez-Palacin, José Merseguer
:
Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. PASM@MASCOTS 2009: 181-201 - 2008
- [c16]Simona Bernardi
, José Merseguer
, Dorina C. Petriu
:
Adding Dependability Analysis Capabilities to the MARTE Profile. MoDELS 2008: 736-750 - 2007
- [j3]Simona Bernardi
, José Merseguer
:
Performance evaluation of UML design with Stochastic Well-formed Nets. J. Syst. Softw. 80(11): 1843-1865 (2007) - [c15]Simona Bernardi
, José Merseguer
:
A UML profile for dependability analysis of real-time embedded systems. WOSP 2007: 115-124 - [c14]Elena Gómez-Martínez
, Sergio Ilarri
, José Merseguer
:
Performance analysis of mobile agents tracking. WOSP 2007: 181-188 - 2006
- [j2]Simona Bernardi
, José Merseguer
:
QoS Assessment via Stochastic Analysis. IEEE Internet Comput. 10(3): 32-42 (2006) - [c13]Javier Campos
, José Merseguer
:
On the Integration of UML and Petri Nets in Software Development. ICATPN 2006: 19-36 - [c12]Elena Gómez-Martínez
, José Merseguer
:
ArgoSPE: Model-Based Software Performance Engineering. ICATPN 2006: 401-410 - [c11]Elena Gómez-Martínez
, José Merseguer
:
Impact of SOAP Implementations in the Performance of a Web Service-Based Application. ISPA Workshops 2006: 884-896 - 2005
- [c10]Elena Gómez-Martínez
, José Merseguer
:
A Software Performance Engineering Tool based on the UML-SPT. QEST 2005: 247-248 - [c9]C. Murray Woodside, Dorina C. Petriu, Dorin Bogdan Petriu, Hui Shen, Toqeer Israr, José Merseguer
:
Performance by unified model analysis (PUMA). WOSP 2005: 1-12 - 2004
- [c8]Juan-Pablo López-Grao, José Merseguer, Javier Campos
:
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. WOSP 2004: 25-36 - 2003
- [j1]José Merseguer
, Javier Campos
, Eduardo Mena
:
Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wirel. Networks 9(3): 223-238 (2003) - [c7]José Merseguer
, Javier Campos
:
Software Performance Modeling Using UML and Petri Nets. MASCOTS Tutorials 2003: 265-289 - [c6]José Merseguer, Javier Campos:
Exploring Roles for the UML Diagrams in Software Performance Engineering. Software Engineering Research and Practice 2003: 43-47 - 2002
- [c5]Simona Bernardi, Susanna Donatelli, José Merseguer:
From UML sequence diagrams and statecharts to analysable petrinet models. Workshop on Software and Performance 2002: 35-45 - 2001
- [c4]José Merseguer
, Javier Campos
, Eduardo Mena:
Performance analysis of internet based software retrieval systems using Petri Nets. MSWiM 2001: 47-56 - [c3]José Merseguer, Javier Campos
, Eduardo Mena:
A Performance Engineering Case Study: Software Retrieval System. Performance Engineering 2001: 317-332 - 2000
- [c2]José Merseguer
, Javier Campos
, Eduardo Mena:
A pattern-based approach to model software performance. Workshop on Software and Performance 2000: 137-142
1990 – 1999
- 1997
- [c1]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: 145-158
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint