default search action
José Merseguer
Person information
- affiliation: University of Zaragoza, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
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
tegdet: An extensible Python library for anomaly detection using time evolving graphs. SoftwareX 22: 101363 (2023) - [j26]Mariapia Raimondo, Simona Bernardi, Stefano Marrone
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
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
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
Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study. Inf. Syst. Frontiers 21(1): 67-85 (2019) - [j22]Simona Bernardi
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
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
A systematic approach for performance assessment using process mining - An industrial experience report. Empir. Softw. Eng. 23(6): 3394-3441 (2018) - [c39]Simona Bernardi
Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving Graphs. EDCC 2018: 136-139 - [c38]José Ignacio Requeno
Towards the Performance Analysis of Apache Tez Applications. ICPE Companion 2018: 147-152 - 2017
- [j19]José Merseguer
Guest Editorial: Automation in Software Performance Engineering. Autom. Softw. Eng. 24(1): 71-72 (2017) - [j18]Ugo Gentile
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
Accurate modeling and efficient QoS analysis of scalable adaptive systems under bursty workload. J. Syst. Softw. 130: 24-41 (2017) - [c37]José Ignacio Requeno
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
Towards a UML profile for data intensive applications. QUDOS@ISSTA 2016: 18-23 - 2015
- [j16]Ricardo J. Rodríguez
Modelling Security of Critical Infrastructures: A Survivability Assessment. Comput. J. 58(10): 2313-2327 (2015) - [j15]Elena Gómez-Martínez
A semantic approach for designing Assistive Software Recommender systems. J. Syst. Softw. 104: 166-178 (2015) - [c34]Giuliano Casale, Danilo Ardagna
DICE: Quality-Driven Development of Data-Intensive Cloud Applications. MiSE@ICSE 2015: 78-83 - 2014
- [j14]Elena Gómez-Martínez
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
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
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
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
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
log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments. SAC 2013: 397-404 - [p1]Oscar Pastor, Emilio Insfrán, Vicente Pelechano
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
Dependability modeling and analysis of software systems specified with UML. ACM Comput. Surv. 45(1): 2:1-2:48 (2012) - [j8]José Merseguer
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
QoS and energy management with Petri nets: A self-adaptive framework. J. Syst. Softw. 85(12): 2796-2811 (2012) - [c31]Ricardo J. Rodríguez
PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation. ACSD 2012: 142-147 - [c30]Ricardo J. Rodríguez
Fault-tolerant techniques and security mechanisms for model-based performance prediction of critical systems. ISARCS 2012: 21-30 - [c29]Diego Perez-Palacin, José Merseguer
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
A dependability profile within MARTE. Softw. Syst. Model. 10(3): 313-336 (2011) - [j4]Simona Bernardi
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
Enhancing a QoS-based self-adaptive framework with energy management capabilities. QoSA/ISARCS 2011: 165-170 - [c27]Diego Perez-Palacin, Raffaela Mirandola
Software architecture adaptability metrics for QoS-based self-adaptation. QoSA/ISARCS 2011: 171-176 - [c26]Simona Bernardi
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
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
Performance Modeling and Analysis of the Universal Control Hub. EPEW 2010: 160-174 - [c22]Diego Perez-Palacin, Raffaela Mirandola
QoS-Based Model Driven Assessment of Adaptive Reactive Systems. ICST Workshops 2010: 299-308 - [c21]Ricardo J. Rodríguez
Integrating Fault-Tolerant Techniques into the Design of Critical Systems. ISARCS 2010: 33-51 - [c20]Ricardo J. Rodríguez
Modelling and analysing resilience as a security issue within UML. SERENE 2010: 42-51 - [c19]Diego Perez-Palacin, José Merseguer
Performance aware open-world software in a 3-layer architecture. WOSP/SIPEW 2010: 49-56
2000 – 2009
- 2009
- [c18]Luca Berardinelli
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
Adding Dependability Analysis Capabilities to the MARTE Profile. MoDELS 2008: 736-750 - 2007
- [j3]Simona Bernardi
Performance evaluation of UML design with Stochastic Well-formed Nets. J. Syst. Softw. 80(11): 1843-1865 (2007) - [c15]Simona Bernardi
A UML profile for dependability analysis of real-time embedded systems. WOSP 2007: 115-124 - [c14]Elena Gómez-Martínez
Performance analysis of mobile agents tracking. WOSP 2007: 181-188 - 2006
- [j2]Simona Bernardi
QoS Assessment via Stochastic Analysis. IEEE Internet Comput. 10(3): 32-42 (2006) - [c13]Javier Campos
On the Integration of UML and Petri Nets in Software Development. ICATPN 2006: 19-36 - [c12]Elena Gómez-Martínez
ArgoSPE: Model-Based Software Performance Engineering. ICATPN 2006: 401-410 - [c11]Elena Gómez-Martínez
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
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
Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wirel. Networks 9(3): 223-238 (2003) - [c7]José Merseguer
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
Performance analysis of internet based software retrieval systems using Petri Nets. MSWiM 2001: 47-56 - [c3]José Merseguer, Javier Campos
A Performance Engineering Case Study: Software Retrieval System. Performance Engineering 2001: 317-332 - 2000
- [c2]José Merseguer
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
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. CAiSE 1997: 145-158
Coauthor Index
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-25 05:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: