Perfil (CV) del personal docente investigador

Merseguer Hernaiz, José Javier
Departamento: Departamento de Informática e Ingeniería de Sistemas
Área: Lenguajes y Sistemas Informáticos
Centro: Escuela de Ingeniería y Arquitectura

Research Institute: INSTITUTO DE INVESTIGACIÓN EN INGENIERÍA DE ARAGÓN (I3A)
Grupo: T21_23R: Grupo de I+D en Computación Distribuida (DisCo)

Tramos de investigación
  • CNEAI research evaluation. 01/01/20
  • CNEAI research evaluation. 01/01/19. (2)
  • Acpua. 20/04/11
  • Acpua. 02/07/07
Categoría profesional: Cated. Universidad
Teléfono fijo: 963652936
Correo electrónico: jmerse@unizar.es
ORCID: 0000-0002-8917-6584

Doctorados
  • Doctor Ingeniero en Informática. Universidad de Zaragoza. 2003

Descargar currículum en formato PDF Ir a la página ORCID

 
         

Artículos

  • Bernardi, Simona; Eckhart, Matthias; Merseguer, José; Nadjm-Tehrani, Simin. Dependable and secure infrastructures and systems in intelligent environments. JOURNAL OF RELIABLE INTELLIGENT ENVIRONMENTS. 2023. DOI: 10.1007/s40860-023-00211-x

  • Raimondo, M.; Bernardi, S.; Marrone, S.; Merseguer, J. An approach for the automatic verification of blockchain protocols: the Tweetchain case study. JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES. 2023. DOI: 10.1007/s11416-022-00444-z

  • Bernardi, S.; Javierre, R.; Merseguer, J. Tegdet: an extensible Python library for anomaly detection using time evolving graphs. SOFTWAREX. 2023. DOI: 10.1016/j.softx.2023.101363

  • Malo-Perisé, P.; Merseguer, J. The “Socialized Architecture”: A Software Engineering Approach for a New Cloud. SUSTAINABILITY (SWITZERLAND). 2022. DOI: 10.3390/su14042020

  • Bernardi, S.; Gómez, A.; Merseguer, J.; Perez-Palacin, D.; Requeno, J. I. DICE simulation: a tool for software performance assessment at the design stage. AUTOMATED SOFTWARE ENGINEERING. 2022. DOI: 10.1007/s10515-022-00335-z

  • Bernardi, S.; Gentile, U.; Marrone, S.; Merseguer, J.; Nardone, R. Security modelling and formal verification of survivability properties: Application to cyber–physical systems. JOURNAL OF SYSTEMS AND SOFTWARE. 2021. DOI: 10.1016/j.jss.2020.110746

  • Perez-Palacin, D.; Merseguer, J.; Requeno, J.I.; Guerriero, M.; Di Nitto, E.; Tamburri, D.A. A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications. SOFTWARE AND SYSTEMS MODELING. 2019. DOI: 10.1007/s10270-019-00730-3

  • Bernardi, S.; Marrone, S.; Merseguer, J.; Nardone, R.; Vittorini, V. Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. SOFTWARE AND SYSTEMS MODELING. 2018. DOI: 10.1007/s10270-018-0663-8

  • Requeno, J.I.; Merseguer, J.; Bernardi, S.; Perez-Palacin, D.; Giotis, G.; Papanikolaou, V. Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study. INFORMATION SYSTEMS FRONTIERS. 2018. DOI: 10.1007/s10796-018-9851-x

  • Bernardi, Simona; Domínguez, J.; Gómez, A.; Joubert, C.; Merseguer, José; Perez-Palacín, D.; Requeno, J.; Romeu, A. A systematic approach for performance assessment using process mining. An industrial experience report. EMPIRICAL SOFTWARE ENGINEERING. 2018. DOI: 10.1007/s10664-018-9606-9

  • Gentile, Ugo; Bernardi, Simona; Marrone, Stefano; Merseguer, José; Vittorini, Valeria. A model driven approach for assessing survivability requirements of critical infrastructures. JOURNAL OF HIGH SPEED NETWORKS. 2017. DOI: 10.3233/JHS-170564

  • Merseguer, J.; Binder, W.; Murphy, J. Guest Editorial: Automation in Software Performance Engineering. AUTOMATED SOFTWARE ENGINEERING. 2017. DOI: 10.1007/s10515-016-0201-2

  • Perez-Palacin, Diego; Mirandola, Raffaela; Merseguer, José. Accurate Modeling and Efficient QoS Analysis of Scalable Adaptive Systems under Bursty Workload. JOURNAL OF SYSTEMS AND SOFTWARE. 2017. DOI: 10.1016/j.jss.2017.05.022

  • Bernardi, Simona; Dranca, Lacramioara; Merseguer, José. A model-driven approach to survivability requirements assessment for critical systems. PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS. PART O, JOURNAL OF RISK AND RELIABILITY. 2016. DOI: 10.1177/1748006X15626017

  • Gómez-Martínez, Elena; Linaje Trigueros, Marino; Sánchez-Figueroa, Fernando; Iglesias-Pérez, Andrés; Preciado, Juan Carlos; González-Cabero, Rafael; Meseguer Hernaiz, José Javier. A semantic approach for designing assistive Software Recommender systems. JOURNAL OF SYSTEMS AND SOFTWARE. 2015. DOI: 10.1016/j.jss.2015.03.009

  • Rodríguez, Ricardo; Merseguer, José; Bernardi, Simona. Modelling Security of Critical Infrastructures: A Survivability Assessment. COMPUTER JOURNAL. 2015. DOI: 10.1093/comjnl/bxu096

  • Bernardi,S.; Dranca,L.; Merseguer,J. Modelling and verification of survivability requirements for critical systems. LECTURE NOTES IN COMPUTER SCIENCE. 2015. DOI: 10.1007/978-3-319-15201-1_6

  • Perez-Palacin, Diego; Mirandola, Raffaela; Merseguer, José. On the relationships between QoS and software adaptability at the architectural level. JOURNAL OF SYSTEMS AND SOFTWARE. 2014. DOI: 10.1016/j.jss.2013.07.053

  • Gomez-Martinez, Elena; Gonzalez-Cabero, Rafael; Merseguer, José. Performance assessment of an architecture with adaptative interfaces for people with special needs. EMPIRICAL SOFTWARE ENGINEERING. 2014. DOI: 10.1007/s10664-013-9297-1

  • Rodríguez, Ricardo J.; Artal, Juan Antonio; Merseguer, José. Performance Evaluation of Dynamic Binary Instrumentation Frameworks. IEEE LATIN AMERICA TRANSACTIONS. 2014. DOI: 10.1109/TLA.2014.7014530

  • Woodside, C. Murray; Petriu, Dorina C.; Merseguer, José; Petriu, Dorin Bogdan; Alhaj, Mohammad. Transformation challenges: from software models to performance models. SOFTWARE AND SYSTEMS MODELING. 2014. DOI: 10.1007/s10270-013-0385-x

  • Rodríguez, R.J.; Júlvez, J.; Merseguer, J. Quantification and compensation of the impact of faults in system throughput. PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS. PART O, JOURNAL OF RISK AND RELIABILITY. 2013. DOI: 10.1177/1748006X13492284

  • Rodríguez, Ricardo J.; Júlvez, Jorge; Merseguer, José. On the Performance Estimation and Resource Optimisation in Process Petri Nets. IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS. 2013. DOI: 10.1109/TSMC.2013.2245118

  • Bernardi,S.; Flammini,F.; Marrone,S.; Mazzocca,N.; Merseguer,J.; Nardone,R.; Vittorini,V. Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. RELIABILITY ENGINEERING AND SYSTEM SAFETY. 2013

  • Bernardi,S.;Merseguer,J.;Petriu,D. C. Dependability modeling and assessment in UML-based software development. THE SCIENTIFIC WORLD JOURNAL. 2012. DOI: 10.1100/2012/614635

  • Bernardi, S.;Merseguer, J.;Petriu, D. C. Dependability modeling and analysis of software systems specified with UML. ACM COMPUTING SURVEYS. 2012. DOI: 10.1145/2379776.2379778

  • Merseguer,J.;Bernardi,S. Dependability analysis of DES based on MARTE and UML state machines models. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS. 2012. DOI: 10.1007/s10626-011-0111-1

  • Perez-Palacin,D.;Mirandola,R.;Merseguer,J. QoS and energy management with Petri nets: A self-adaptive framework. JOURNAL OF SYSTEMS AND SOFTWARE. 2012. DOI: 10.1016/j.jss.2012.04.077

  • Bernardi,S.;Flammini,F.;Marrone,S.;Merseguer,J.;Papa,C.;Vittorini,V. Model-driven availability evaluation of railway control systems. LECTURE NOTES IN COMPUTER SCIENCE. 2011. DOI: 10.1007/978-3-642-24270-0_2

  • Bernardi, S.; Merseguer, J.; Petriu, D. C. A dependability profile within MARTE. SOFTWARE AND SYSTEMS MODELING. 2011. DOI: 10.1007/s10270-009-0128-1

  • Perez-Palacin, D.;Merseguer, J. Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 2010

  • Gomez-Martinez, Elena; Merseguer, José. Performance Modeling and Analysis of the Universal Control Hub. LECTURE NOTES IN COMPUTER SCIENCE. 2010. DOI: 10.1007/978-3-642-15784-4_11

  • Bernardi, S.; Merseguer, J. Performance Evaluation of UML Design with Stochastic Well-Formed Nets. JOURNAL OF SYSTEMS AND SOFTWARE. 2007. DOI: 10.1016/j.jss.2007.02.029

  • Gomez-Martinez, Elena; Merseguer, José. Impact of SOAP Implementations in the Performance of a Web Service-Based Application. LECTURE NOTES IN COMPUTER SCIENCE. 2006. DOI: 10.1007/11942634_90

  • Bernardi, S.; Merseguer, J. QoS assessment via stochastic analysis. IEEE INTERNET COMPUTING. 2006. DOI: 10.1109/MIC.2006.63

  • Campos,J.;Merseguer,J. On the integration of UML and Petri nets in software development. LECTURE NOTES IN COMPUTER SCIENCE. 2006

  • Gomez-Martinez,E.; Merseguer,J. ArgoSPE: Model-based software performance engineering. LECTURE NOTES IN COMPUTER SCIENCE. 2006

  • Merseguer, J.;Campos, J. Software Performance Modeling Using Uml and Petri Nets. LECTURE NOTES IN COMPUTER SCIENCE. 2004

  • López-Grao, Juan-Pablo; Merseguer, José; Campos, Javier. From UML activity diagrams to stochastic Petri nets: Application to software performance engineering. SOFTWARE ENGINEERING NOTES. 2004

  • Merseguer, J.;Campos, J.;Mena, E. Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. WIRELESS NETWORKS. 2003

Comunicaciones

  • Rodríguez, R. J.;Júlvez, J.;Merseguer, J. PeabraiN: A PIPE extension for performance estimation and resource optimisation - Tool paper. PROCEEDINGS - INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN. 2012. DOI: 10.1109/ACSD.2012.13

Libros

  • Model-Driven Dependability Assessment of Software Systems. Bernardi, Simona; Merseguer, José; Petriu, Dorina. 2013

Capítulos

  • Towards the Performance Analysis of Apache Tez Applications. Requeno, J.I.; Gascón, I.; Merseguer, José. PROCEEDING ICPE '18 COMPANION OF THE 2018 ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING. 2018

  • Performance Analysis of Apache Storm Applications using Stochastic Petri Nets. Requeno Jarabo, José Ignacio; Merseguer, José; Bernardi, Simona. PROCEEDINGS 5TH IEEE INTERNATIONAL WORKSHOP ON FORMAL METHODS INTEGRATION. 2017

  • Towards a UML profile for data intensive applications. Gómez Llana, Abel; Meseguer Hernaiz, José Javier; Di Nitto, Elisabetta; Tamburri, Damian. PROCEEDINGS OF THE 2ND INTERNATIONAL WORKSHOP ON QUALITY-AWARE DEVOPS. 2016

  • A Meta-Model-Based Approach to the Definition of the Analysis Results of Petri-Net Models. Bernardi , Simona; Merseguer, José. THEORY AND APPLICATION OF MULTI-FORMALISM MODELING. 2013

  • Performance Analysis of Mobile Agents Tracking. Gomez-Martinez, Elena; Ilarri, Sergio; Merseguer, José. PROCEEDINGS OF THE 6TH INTERNATIONAL WORKSHOP ON SOFTWARE AND PERFORMANCE. 2007

  • A Software Performance Engineering Tool based on the UML-SPT. Gomez Martinez, Maria Elena. PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2005). 2005



© Universidad de Zaragoza | Versión 2.26.4
© Servicio de Informática y Comunicaciones de la Universidad de Zaragoza (Pedro Cerbuna 12, 50009 ZARAGOZA - ESPAÑA)