Research groups

• [2014 - ] Group of Distributed Computation (DisCo), Universidad de Zaragoza, España

• [2005-2013] Group of Discrete Event Systems Engineering (GISED), Universidad de Zaragoza, España

• [1997-2010]  Methods and Tools for the Analysis and Development of Performance Oriented Computer Systems (MTADPOCS), Università degli Studi di Torino, Italia

Research projects

1. December 2022 - December 2025: Evaluación y optimización de vias clínicas mediante métodos formales (TED2021-130449B-I00). Financed by Ministerio de Ciencia e Innovación. Scientific responsible: Christian Mahulea.

2. September 2021 - August 2025: Detection and mitigation of vulnerabilities in critical systems (Detección y mitigación de vulnerabilidades en sistemas críticos) - DAMOCLES-PID2020-113969RB-I00. Financed by Ministerio de Ciencia e Innovación. Scientific responsible: Jorge Júlvez.

3. January 2019 - June 2021: ModEl & Data-driven RESilience Engineering for complex dynamic systems (Ingeniería de resiliencia dirigida por el modelado y análisis de datos para sistemas dinámicos complejos - MEDRESE-RTI2018-098543-B-I00). Financed by Ministerio de Ciencia, Innovación y Universidades. Scientific responsibles: Simona Bernardi, José Javier Merseguer.

4. October 2017 - January 2018: Análisis y estudio de la seguridad de sistemas de información y gestión de datos en el contexto de las Smart Cities y el Big Data (UZCUD2017-TEC-09). Financed by Centro Universitario de la Defensa - Universidad de Zaragoza. Scientific responsibles: Simona Bernardi, Raquel Trillo-Lado.

5. November 2016 - September 2017: Desarrollo de técnicas de detección de ciberataques en sistemas de información mediante minería de procesos (UZCUD2016-TEC-06). Financed by Centro Universitario de la Defensa - Universidad de Zaragoza. Scientific responsibles: Simona Bernardi, Ricardo J. Rodríguez.

6. February 2015 - January 2018: Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements (DICE). Financed by the European Commission under the H2020 framework. Coordinator: Giuliano Casale (Imperial College, UK), Scientific responsible (UNIZAR unit): José Javier Merseguer.

7. January 2015 - June 2018: Cyber-resilient critical infrastructures: Exploiting process mining techniques for security-by-design (Infraestructuras críticas resistentes a ciber-ataques: Aplicando la minería de procesos y el diseño software orientado a la seguridad - CyCriSec-TIN2014-58457-R). Financed by Ministerio de Economía y Competitividad. Scientific responsible: José Javier Merseguer.

8. September 2015 - August 2016: Minería de procesos para la mejora de la seguridad de sistemas de información web (UZCUD2015-TEC-05).  Financed by Centro Universitario de la Defensa - Universidad de Zaragoza. Scientific responsible: Raquel Trillo Lado. 

9. January 2012 - December 2014: Una metodología de análisis guiada por el modelado para sistemas empotrados distribuidos con supervivencia crítica (MASDES-TIN2011-24932). Financed by Ministerio de Ciencia e Innovación. Scientific responsible: Simona Bernardi.

10. January 2009 - December 2009: Diseño de sistemas empotrados: análisis de prestaciones y fiabilidad. Financed by the University of Zaragoza (Spain). Scientific responsible: José Javier Merseguer, Universidad de Zaragoza.

11. September 2008 - September 2010: Performability-Aware Computing: Logiche, Modelli e Linguaggi (PaCo). Co-financed by the Italian Ministry of University and Research (MIUR) - and by the University of Torino, within the framework Programmi di Ricerca scientifica di rilevante Interesse Nazionale (PRIN). Scientific coordinator: Marco Bernardo, Università degli Studi di Urbino "Carlo BO". Scientific responsible UniTo unit: Jeremy Sproston, Università di Torino.

12. March 2008 - March 2009: Sviluppo di metodi e tecniche per la validazione dell'affidabilità dei sistemi software critici, within the World Wide Style (WWS) incoming mobility program. Financed by the Cassa di Risparmio di Torino and by Università degli Studi di Torino. Scientific responsible: Simona Bernardi, Università di Torino.

13. January 2008 - December 2008: Diseño de sistemas empotrados: análisis de fiabilidad y seguridad. Financed by the University of Zaragoza (Spain). Scientific responsible: José Javier Merseguer, Universidad de Zaragoza.

14. January 2006 - December 2008: European project IST 027513 - Critical utility infrastructural resilience (CRUTIAL). Scientific coordinator: Giovanna Dondossola, CESI Ricerca Spa (Italy). Scientific responsible CNIT unit: Susanna Donatelli, Università di Torino.

15. April 2003 - April 2005: Desarrollo de una herramienta de predicción del comportamiento de sistemas software basada en técnicas de álgebra tensorial. Bilateral project Italy - Spain. Financed by the Italian Ministry of University and reseach (MIUR) and by the Spanish MInistry of Science and Technology. Scientific responsibles: Susanna Donatelli (Università di Torino), Javier Campos (Universidad de Zaragoza).

16. November 2002 - November 2005: Performance Evaluation of Complex Systems: Techniques, Methodologies and Tools (FIRB-PERF). Financed by the Italian Ministry for the University and Research (MIUR). Scientific coordinator: Mariacarla Calzarossa (Università di Pavia), Scientific responsible UniTo unit: Gianfranco Balbo (Università di Torino).

17. December 2003 - November 2005: Evaluación de prestaciones de sistemas de información haciendo uso de UML y Redes de Petri: Fase 2 (TIC2003-05226). Financed by Spanish Ministry of Science and Technology (MCyT). Scientific responsible: Javier Campos (Universidad de Zaragoza).

18. December 2002 - November 2003: Evaluación de prestaciones de sistemas de información haciendo uso de UML y Redes de Petri (TIC2002-04334-C03-02). Financed by Spanish Ministry of Science and Technology (MCyT). Scientific responsible: Javier Campos (Universidad de Zaragoza).

19. January 2001 - March 2003: European project IST 25434 - Dependability for embedded Automation systems in Dynamic Environments with intra-site and inter-site distribution aspects (DepAuDE). Scientific coordinator: Geert Deconinck (Katholieke Universiteit Leuven), Scientific responsible UniTo unit: Susanna Donatelli (Università di Torino).

20. April - November, 1999: European project ESPRIT 28620 - TaIloRable fault tolerANce framework for embedded Application (TIRAN). Scientific coordinator: Oliver Botti, CESI Ricerca Spa. Scientific responsible UniTo unit: Gianfranco Balbo (Università di Torino).

Project Evaluation Activities

• June-July 2025: Project evaluator as independent expert within the EIC Pathfinder Open Call.

• June 2024: EU H2020 project monitor.

• January 2022-2023: Project evaluator as independent expert within the EU Horizon Call Cluster 3 Increased Cybersecurity.

• March 2018: Project evaluator as independent expert for the Netherlands Organization for Scientific Research (NWO), area of Applied and Engineering Sciences

• December 2014-15, November 2016: Monitoring of EU FP7 611458-SECURED  project

• June 2014: Project evaluator as independent expert within the EU ICT Call 32 - Cybersecurity, Trusthworthy ICT (R&I  portal)

• 2012-2013: Reviewer for the Italian National Agency for the Evaluation of Universities and Research Institutes (ANVUR), under the programme eValuation of Quality of Research 2004-2010. Scientific Disciplinary Sectors: Industrial and Information Engineering (Systems for Data Processing) and Information Technology.

Publication

My profile on

• Google Scholar 

• Research Gate 

• DBLP Computer Science Bibliography

Books

1. S. Bernardi, J. Merseguer, D.C. Petriu, "Model-driven dependability assessment of software systems", Springer-Verlag, 2013, ISBN 978-3-642-39512-3 (e-book)/ ISBN 978-3-642-39511-6 (hardcover).

Editorship

1. I. Praça, S. Bernardi, P.R.M. Inácio (eds.). Cybersecurity - 9th European Interdisciplinary Cybersecurity Conference Proceedings, EICC 2025, Rennes, France, June 18–19, 2025, Springer CCIS series, DOI:10.1007/978-3-031-94855-8

2. S. Bernardi, T. Zoppi (eds.). Fast abstracts and Student Forum Proceedings - EDCC24 - 19th European Dependable Computing Conference. CoRR abs/2404.17465 (2024).

3. S. Bernardi, M. Eckhart, J. Merseguer, S. Nadjm-Teherani (eds.). Journal of Reliable Intelligent Environments Special Issue on "Dependable and Secure Infrastructures and Systems in Intelligent Environments".  Vol.9, Issue 3. September 2023, Springer. 

4. Bernardi, S., Vittorini, V., Flammini, F., Nardone, R., Marrone, S., Adler, R., Schneider, D., Schleiss, P., Nostro, N., Løvenstein Olsen, R., Di Salle, A., Masci, P. (Eds.). Dependable Computing - EDCC 2020 Workshops. AI4RAILS, DREAMS, DSOGRI, SERENE, Proceedings. September 7, 2020. Vol. 1279. Springer CCIS Series. DOI: 10.1007/978-3-030-58462-7. ISBN:  978-3-030-58461-0.

5. S.Bernardi, U. Gentile, S. Marrone, R. Nardone (Eds.). Special issue on Advancements in Knowledge Elicitation for Computer-based Critical Systems, Future Generation of Computer System, September, 2020, pp.311-313. JCR(2020): IF: 7,187; Area: Computer Science-Theory & Methods (7/110, Q1).

6. S. Bernardi, M. Bošković, J. Merseguer (Eds.). Proceedings of the 5th International Workshop on Non-functional Properties in Modeling: Analysis, Languages and Processes, co-located with MODELS'2013, Miami, USA, September 29, 2013, CEUR Workshop Proceedings 1074. CEUR-WS.org 2013.

Book chapters

1. S. Bernardi, M. Famelis, J. Jézéquel, R. Mirandola, D. Pérez-Palacín, F.A.C. Polack, C. Trubiani, "Living with Uncertainty in Model-based Development", In: Heinrich R., Durán F., Talcott C., Zschaler S. (eds) Composing Model-Based Analysis Tools. Springer, Cham. https://doi.org/10.1007/978-3-030-81915-6_8, 2021.

2. S. Bernardi, J. Merseguer, "A meta-model based approach to the definition of the analysis results of Petri Net models", In Theory and Application of Multi-Formalism Modeling, M. Gribaudo & M. Iacono eds., IGI Global, 2013.

Journal articles

1. M. Le Moigne, C. Mahulea, G. Faraut, S. Bernardi, J. Albareda, L. Castán. "Probabilistic Timed Petri Nets for Clinical Pathway Design and Analysis: A Case Study", Discrete Event Dynamic Systems, 2025, DOI: htpps://doi.org/10.1007/s10626-025-00419-4, JCR: IF(2024): 1,6; Area: Applied Mathematics (98/343, Q2).

2. M. de Biase, S. Bernardi, S. Marrone, J. Merseguer, A. Palladino, "Completion of SysML State Machines from Given-When-Then Requirements", Software and Systems Modeling (2024), DOI: https://doi.org/10.1007/s10270-024-01228-3. JCR: IF: 3,2; Area: Software Engineering (38/128, Q2).

3. S. Bernardi, R. Javierre, J. Merseguer, "tegdet: An extensible Python library for anomaly detection using time evolving graphs", SoftwareX, 2023, vol.22, https://doi.org/10.1016/j.softx.2023.101363. JCR: IF: 2,4; Area: Software Engineering (54/131, Q2).

4. M. Raimondo, S. Bernardi, S. Marrone, J. Merseguer, "An Approach for the Automatic Verification of Blockchain Protocols: The Tweetchain Case Study", Journal of Computer Virology and Hacking Techniques, vol. 19, pp. 17-32, 2023, DOI: https://doi.org/10.1007/s11416-022-00444-z. JCR: IF: 1,5; Area: Information Systems (173/249, Q3).

5. S. Bernardi, J. Merseguer, D.C. Petriu, "Dependability Modeling of Software Systems with UML and DAM: A Guide for Real-Time Practitioners", Software, vol. 1(2), 2022, pp.146-163, DOI: https://doi.org/10.3390/software1020007.

6. S. Bernardi, A. Gómez, J. Merseguer, D. Pérez-Palacín, J.I. Requeno, "DICE-Simulation: a tool for software performance assessment at the design stage", Automated Software Engineering, vol. 29(1), 2022, DOI: https://doi.org/10.1007/s10515-022-00335-z. JCR: IF: 3,4; Area: Software Engineering (38/108, Q2).

7. S. Bernardi, U. Gentile, S. Marrone, J. Merseguer, R. Nardone, "Security modelling and formal verification of survivability properties: Application to cyber-physical systems", Journal of Systems and Software,  vol. 171, 2021, 110746, DOI: https://doi.org/10.1016/j.jss.2020.110746. JCR: IF: 3,514; Area: Software Engineering (29/110, Q2).

8. R.J. Rodríguez, S. Bernardi, A. Zimmermann, "An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques", IEEE Transactions on Systems, Man, and Cybernetics: Systems 50(8), 2020, pp. 2834-2844, DOI: 10.1109/TSMC.2018.2837643. JCR(2020): IF 13,451; Area: Computer Science-Cybernetics (1/23, Q1). 

9. S. Bernardi, S. Marrone, J. Merseguer, R. Nardone, V. Vittorini, "Towards a Model-Driven Engineering approach for the assessment of Non-Functional Properties using multiformalism", Software and Systems Modeling, June 2019, Volume 18, Issue 3, pp. 2241-2264, DOI:10.1007/s10270-018-0663-8, Open Access publication. JCR(2019): IF 1,876, Area: Software Engineering (45/108, Q2).

10. S. Bernardi, C. Mahulea, J. Albareda, "Toward a decision support system for the clinical pathways assessment", Discrete Event Dynamic Systems, March 2019, vol. 29, issue 1, pp. 91-125, DOI: 10.1007/s10626-019-00279-9, JCR(2019): IF 0,932; Area: Applied Mathematics (170/260, Q3).

11. J.I. Requeno, J. Merseguer, S. Bernardi, D. Perez-Palacin, G. Giotis, V. Papanikolau, "Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study", Information Systems Frontiers, February 2019, Volume 21, Issue 1, pp. 67-85, DOI: 10.1007/s10796-018-9851-x. JCR(2019): IF 3,630; Area: Computer Science-Theory & Methods (17/108, Q1).

12. S. Bernardi, J.L. Domínguez, A. Gómez, C. Joubert, J. Merseguer, D. Perez-Palacin, J.I. Requeno, A. Romeu, "A Systematic Approach for Performance Assessment Using Process Mining: An Industrial Research Report", Empirical Software Engineering, December 2018, Volume 23, Issue 6, pp. 3394–3441, DOI:10.1007/s10664-018-9606-9. JCR(2018): IF 4,457, Area: Software Engineering (8/107,Q1).

13. U. Gentile, S. Bernardi, S. Marrone, J. Merseguer, V. Vittorini, "A Model Driven Approach for Assessing Survivability Requirements of Critical Infrastructures", Journal of High Speed Networks, vol. 23, no. 2, pp. 175-186, 2017.

14. S. Bernardi, L. Dranca, J. Merseguer, "A model-driven approach to survivability requirements assessment for critical systems", Journal of Risk and Reliability, vol. 230(5), pp. 485-501, 2016. JCR: IF 1,084, Area: Engineering Industrial (33/44, Q3).

15. R.J. Rodríguez, J. Merseguer, S. Bernardi, "Modelling Security of Critical Infrastructures: A Survivability Assessment", The Computer Journal, 58(10), 2015, pp.2313-2327. JCR: IF 1,000, Area: Software Engineering (53/106,Q2).

16. S. Bernardi, F. Flammini, S. Marrone, N. Mazzocca, J. Merseguer, R. Nardone, V. Vittorini, "Enabling the usage of UML in the verification of railway systems: the DAM-Rail approach", Reliability Engineering & System Safety, vol.120, December 2013. JCR: IF 2,048, Area: Engineering Industrial (6/43,Q1).

17. S. Bernardi, J. Campos, "A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets," IEEE Transactions on Systems, Man, and Cybernetics: Systems, 43(5), September 2013. JCR: IF 2,169, Area: Computer Science-Cybernetics (4/24,Q1).

18. S. Bernardi, J. Merseguer, D.C. Petriu, "Dependability modeling and analysis of software systems specified with UML", ACM  Computing Surveys, 45(1), November 2012. JCR: IF 3,543, Area: Computer Science-Theory & Methods (3/100,Q1).

19. S. Bernardi, J. Merseguer, D.C. Petriu, "Dependability modeling and assessment in UML-based software development", The  Scientific World Journal, article ID614635, vol. 2012, doi:10.1100/2012/614635. JCR: IF 1,730; Area: Multidisciplinary Sciences (13/56, Q1).

20. J. Merseguer, S. Bernardi, "Dependability analysis of DES based on MARTE and UML State Machines  models", Discrete Event Dynamic Systems, 22(2):163-178 (2012). JCR: IF 0,711; Area: Applied Mathematics (136/247, Q3).

21. S. Bernardi, J. Merseguer, D.C. Petriu, "A Dependability profile within MARTE", Software & Systems Modeling, 10(3): 313-336 (2011). JCR: IF 1,061; Area: Software Engineering (37/104, Q2). Most influential paper award presented at Models 2021.

22. S. Bernardi, J. Campos, J. Merseguer, "Timing-failure risk assessment of UML design using Time Petri Net bound techniques", IEEE Transaction on Industrial Informatics, vol. 7(no. 1), pp. 90-104, Feb.2011. JCR: IF 2,990; Area: Engineering Industrial (2/43, Q1).

23. S. Bernardi, J. Campos, "Computation of Performance Bounds for Real-time systems using Time Petri Nets" IEEE Transactions on Industrial Informatics, vol.5(2), pages 168-180, May 2009. JCR: IF 1,614; Area: Engineering Industrial (5/37, Q1).

24. S. Bernardi, J. Merseguer, "Performance evaluation of UML design with Stochastic Well-formed Nets", Journal of Systems and Software, vol.80 (11): 1843-1865, November 2007.doi:10.1016/j.jss.2007.02.029. JCR: IF 0,799; Area: Software Engineering (43/84, Q3).

25. S. Bernardi, J. Merseguer, "QoS Assessment via Stochastic Analysis", IEEE Internet Computing 10(3): 32-42 (2006). JCR: IF 1,935; Area: Software Engineering (5/82, Q1).

26. S. Bernardi, A. Bobbio, S. Donatelli, "Petri Nets and Dependability", Lectures on Concurrency and Petri Nets: Advances in Petri Nets, in J. Desel, W. Reisig, and G. Rozenberg, eds., vol. 3098 of LNCS, pages 125-179, Springer, June 2004, JCR: IF 0,513; Area: Computer Science-Theory & Methods (53/70, Q4).

27. S. Bernardi, S. Donatelli, A. Horvàth, "Special section on the pratical use of high-level Petri Nets: Implementing Compositionality for Stochastic Petri Nets", Journal of Software Tools for Technology Transfer, 3(4):417-430, September 2001.

Int.l Conference & workshop papers

1. M. Raimondo, S. Marrone, S. Bernardi, A. Palladino, "Demonstrating the necessity of model generation in security protocols", IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA), Special Session on Industrial Cybersecurity Methods and Technologies, 12-15 September 2023, DOI: 10.1109/ETFA54631.2023.10275424

2. S. Bernardi, R. Javierre, J. Merseguer, J. Requeno, "Detectors of Smart Grid Integrity Attacks: An Experimental Assessment", Proc. of the 17th European Dependable Computing Conference (EDCC21), 13-15 September 2021, pages 75-82, DOI 10.1109/EDCC53658.2021.00018

3. R. Saar de Moraes, S. Bernardi, S. Nadjm-Tehrani, "A model-based approach for analyzing network communication timeliness in IMA systems at concept level", Proc. of the 29th International Conference on Real-Time Networks and Systems (RTNS 2021), 7-9 April, 2021, Nantes (France), pp. 78-88. Doi: 10.1145/3453417.3453427

4. M. Raimondo, S. Bernardi, S. Marrone, "On Formalising and Analysing the Tweetchain Protocol", in Proceedings of the 5th International Workshop on FORmal methods for Security Engineering  (ForSE 2021), 11-13 February, 2021, pages 781-791. DOI: 10.5220/0010427907810791.

5. S. Bernardi, R. Trillo-Lado, J. Merseguer, "Detection of Integrity Attacks to Smart Grids using Process Mining and Time-evolving Graphs", IEEE 14th European Dependable Computing Conference (EDCC), 10-14 September, 2018, Iasi (Romania), pp. 136-139.

6. J.I. Requeno, J. Merseguer, S. Bernardi, "Performance Analysis of Apache Storm Applications using Stochastic Petri Nets", IEEE 5th. Int.l Workshop on Formal Methods Integration (FMi), 4-6 August, 2017, San Diego (CA, USA), pp. 411-418.

7. S. Bernardi, R. Piracés Alastuey, A. Solanas Bonilla, R. Trillo Lado, "Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases", Int.l Workshop on Petri Net and Software Engineering (PNSE), 26-27 June, 2017, Zaragoza (Spain). CEUR Proceedings vol. 1846, pp. 229-230.

8. S. Bernardi, R. Piracés-Alastuey, R. Trillo-Lado, "Using Process Mining and Model-driven Engineering to Enhance Security of Web Information Systems", Proceedings of the IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 26th-28th April, 2017, Paris (France), pp. 160-166.

9. D. Ardagna, S. Bernardi, E. Gianniti, S. Karimian-Aliabadi, D. Pérez-Palacín, J.I. Requeno, "Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets", Proceedings of the 16th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2016), 14-16th December, 2016, Granada (Spain), pp. 599-613.

10. S. Bernardi, J.I. Requeno, C. Joubert, A. Romeu, "A Systematic Approach for Performance Evaluation using Process Mining: the POSIDONIA Operations Case Study", Proc. of the 2nd International Workshop on Quality-Aware DevOps (QUDOS), 18th-22nd July, 2016, Saarbrücken (Germany), ACM, pp. 24-29.

11. S. Bernardi, L. Dranca. J. Merseguer, "Modelling and Verification of Survivability Requirements for Critical Systems", In Proc. of SEFM2014 Collocated Workshops,  Canal C. and Idani, A. eds., LNCS vol. 8938, Springer Verlag, pp. 86-100, 2015.

12. S. Bernardi, J. Albareda, J.M. Colom, C. Mahulea, "A model-based approach for the specification and verification of clinical guidelines", Workshop on models and methods for hospital management and planning, within the 19th IEEE International Conference on Emerging Technologies and Factory Automation, pp.1-8, 16-19 Sept. 2014. Doi: 10.1109/ETFA.2014.7005058

13. S.Bernardi, "A meta-model based approach to the definition of the analysis results of Petri Net models", International Workshop on Research and Use of Multi-formalisms Modeling Methods (WRUMM12), 17th September 2012, London (UK).

14. S. Bernardi, F. Flammini, S. Marrone, J. Merseguer, C. Papa, V. Vittorini, "Model-driven availability evaluation of railway control systems", 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11), September 19-21, 2011, Napoli (Italy).

15. S. Bernardi, J. Merseguer, R.R. Lutz, "Reliability and availability requirements engineering within the Unified Process using a Dependability Analysis and Modeling profile", Eighth European Dependable Computing Conference (EDCC'10), April 28-30, 2010, Valencia (Spain).

16. R.Rodríguez, J. Merseguer, S.Bernardi, "Modelling and Analysis Resilience as a Security Issue within UML", Second International Workshop on Software Engineering for Resilient Systems (SERENE10), 13-16th April 2010, London (UK).

17. D. Pérez-Palacín, J. Merseguer, S.Bernardi, "Performance aware open-world software in a 3-layer architecture", First Joint WOSP/SIPEW Int. Conference on Performance Engineering (WOSP/SIPEW'10), pp. 49-56, January 28-30, 2010, San José, California (USA).

18. L. Berardinelli, S.Bernardi, V. Cortellessa, J. Merseguer, "UML profiles for non-functional properties at work: analyzing reliability, availability and performance", Second International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML), held within MODELS09, 4th October 2009, Denver (Colorado, USA).

19. E. Pacini Naumovich, S.Bernardi, "Integrating TPNs and performance bound techniques in ITPN-PerfBound: a new import functionality", 6th Int. Conference on Quantitative Evaluation of SysTems (QEST'09), 14-16 September, 2009, Budapest (Hungary).

20. E. Pacini Naumovich, S.Bernardi, M. Gribaudo, "ITPN-PerfBound: A performance bound tool for Interval Time Petri Nets", In Proc. of 15th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09), S.Kowaleswski and A. Philippou eds., LNCS 5505,pp.50-53, 2009.

21. S.Bernardi, J. Merseguer, D.C. Petriu, "Adding Dependability Analysis capabilities to the MARTE profile", In Proc. of 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS), vol. 5301 of LNCS, pages 736-750, Toulouse (France), Sept-Oct, 2008, Springer.

22. S.Bernardi, J. Merseguer, "A UML Profile for Dependability Analysis of Real Time Embedded Systems", In ACM Proc. of the 6th International Workshop on Software and Performance (WOSP07), Buenos Aires (Argentina), February, 2007, pp. 115-124

23. S. Bernardi, S. Donatelli, G. Dondossola, "A class diagram framework for collecting dependability requirements in automation systems", In Proc. of the 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04), Paphos (Cyprus), October 30 - November 2, 2004.

24. S. Bernardi, D.C. Petriu, "Comparing two UML Profiles for Non-functional Requirement Annotations: the SPT and QoS Profiles", International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS), held in conjunction with the 7th International Conference on the Unified Modeling Language (UML'04), Lisbon (Portugal), October 11, 2004. Available on-line

25. S. Bernardi, J. Campos, "On Performance Bounds for Interval Time Petri Nets", In IEEE Proc. of the 1st International Conference on Quantitative Evaluation of Systems (QEST'04), pages 50-59, Enschede (The Netherlands), September 27-30, 2004.

26. S. Bernardi, S. Donatelli, G. Dondossola, "Towards a methodological Approach to Specification and Analysis of Dependable Automation Systems", In Proc. of the 1st International Joint Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) and on Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT), Grenoble (France), September 22-24, 2004, LNCS, vol. 3253, pp. 36-51, Y. Lakhnech and S. Yovine Eds. Springer Verlag.

27. S. Bernardi, S. Donatelli, "Stochastic Petri Nets and inheritance for dependability modelling", In IEEE Proc. of the 10th Pacific Rim International Symposium on Dependable Computing (PRDC04), pages 363-372, Papeete, Tahiti (French Polynesia) March, 2004.

28. S. Bernardi, S. Donatelli, "Building Petri net scenarios for dependable automation systems", In IEEE Proc. of the 10th Int. Workshop on Petri Nets and Performance Models (PNPM2003), pages 72-81, Urbana-Champain, Illinois (USA) September, 2003.

29.  J. Merseguer, S. Bernardi, J. Campos,  S. Donatelli, "A compositional semantics for UML State Machines aimed at performance evaluation", Silva M., Giua A. and Colom J.M. editors, In EEEE Proc. of the 6th Int. Workshop on Discrete Event Systems (WODES02), pages 295-302, Zaragoza (Spain), October 2002.

30. S. Bernardi, S. Donatelli,  J. Merseguer, "From UML Sequence Diagrams and StateCharts to analysable Petri Net models", In ACM Proc. of the 3rd Int. Workshop on Software and Performance (WOSP02), pages 35-45, Rome (Italy), July 2002.

31.  P. Ballarini, S. Bernardi, S. Donatelli, "Validation and evaluation of a software solution for fault tolerant distributed synchronization", In IEEE Proc. of the International Conference on Dependable Systems and Networks (DSN02), pages 773-782, Washington D.C. (USA) June 2002.

32. S. Bernardi, G. Balbo, "Concurrent Generalized Petri Nets: Regenerative Conditions", In IEEE Proc. of the 9th Int. Workshop on Petri Nets and Performance Models, pages 125-134, Aachen (Germany), Sept. 2001, German, R. and Haverkort, B. eds.

33. S. Bernardi, S. Donatelli, "Performance Validation of Fault-Tolerance Software: A Compositional Approach", In IEEE Proc. Int. Conf. on Dependable Systems and Networks (DSN01), pages 379-388, Göteborg (Sweden), July  2001.

34. S. Bernardi, S. Donatelli, A. Horvàth, "Compositionality in the GreatSPN tool and its application to the modelling of industrial applications", In Proc. of Workshop on the practical use of High Level Petri Nets (within 21st ICATPN'00), Aarhus (Denmark), June 2000.

National Conference papers

1. J.I. Requeno, L. Llana, J. Merseguer, E. Gómez-Martínez, A. Mambakam and S. Bernardi, "Fraud detection in Smart Grids using Signal Temporal Logic", XXIV Jornadas de PROgramación y LEnguajes (PROLE), Córdoba, España, 2025.

2. R. Piracés-Alastuey, S. Bernardi, R. Trillo-Lado, "Minería de procesos para la mejora de la seguridad de sistemas de información Web", IV Congreso Nacional de I+D en Defensa y Seguridad, San Javier (Murcia), España, 2016.

3. R.J. Rodríguez, J. Merseguer, S. Bernardi, "Modelling Security of Critical Infrastructures: A Survivability Assessment", Actas de la II Jornadas Nacionales de Investigación en Ciberseguridad, Granada, España, 2016, pp.1-2.

4. A. Barreras Peral, S. Bernardi, L. Dranca, P.A. López Castelló, A.M. Oller Marcén, F.J. Umpiérrez Rodríguez, M.P. Velasco Cebrián, R. Vigara Benito, “Aplicación de un Enfoque Sistemático para el Estudio y Categorización de Comandos de Bandas Terroristas”, III Congreso Nacional de I+D en Defensa y Seguridad, Marín, España, 2015.

5. M.P. Velasco, S. Bernardi, L. Dranca, P.A. López, A. Oller, A. Sánchez, F.J. Umpiérrez, R. Vígara, "Estudio de la aplicabilidad de técnicas de minería de datos para el apoyo a la toma de decisiones en la lucha antiterrorista", II Congreso Nacional de I+D en Defensa y Seguridad, Zaragoza, España, 2014.

6. S. Bernardi, L. Dranca and J. Merseguer, "Un enfoque guiado por el modelado para la obtención y análisis de requisitos de supervivencia de C2IS", I Congreso Nacional de I+D en Defensa y Seguridad, Madrid, España, 2013.

7. S. Bernardi and J. Campos, "A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets," in Actas de las XXI Jornadas de Concurrencia y Sistemas Distribuidos, San Sebastián, España, 2013.

Technical reports

1. S. Bernardi, J.I. Requeno, L. LLana, J. Merseguer, C. Morán, "How accurate can FDIA attack detection be in the Smart Grid?" (2024)

2. S. Bernardi, J. Merseguer, R. Javierre, "tegdet: An extensible Python Library for Anomaly Detection using Time-Evolving Graphs", CoRR abs/2210.08847 (2022)

Standardization

• MARTE2.0 RFI

Journal Reviewer

• Software Engineering

  • Automated Software Engineering - Springer

  • Empirical Software Engineering - Springer

  • Information and Software Technology - Elsevier

  • Journal of Systems and Software - Elsevier

  • Software Quality Journal, - Springer Verlag

  • Software & Systems Modeling - Springer Verlag

  • Transactions on Mathematical Software - ACM

  • Transactions on Modeling and Performance Evaluation of Computing Systems - ACM

  • Transactions on Reliability - IEEE Reliability Society

  • Transactions on Services Computing - IEEE Computer Society

  • Transactions on Software Engineering - IEEE Computer Society

  • Transactions on Software Engineering and Metodology - ACM 

• Theory and Methods

  • Computing - Springer

  • Transactions on Autonomous and Adaptive Systems - Association for Computing Machinery (ACM)

• Information Systems

  • Internet of Things Journal - IEEE 

• Applied Mathematics

  • Computers and Mathematics with Application - Elsevier

  • Discrete Event Dynamic Systems - Springer Verlag

  • Int. J. of Uncertainty, Fuzziness & Knowledge-Based Systems - World Scientific

• Industrial Engineering

  • Transactions on Industrial Informatics - IEEE Industrial Electronic Society

  • Leibniz Transactions on Embedded Systems 

  • Reliability Engineering & System Safety - Elsevier

• Automation and Control Systems

  • Transactions on  Automatic Control  - IEEE Control Systems Society

  • Transactions on Automated Science and Engineering - IEEE Robotics & Automation Society

• Engineering and Technology

  • Open Research Europe

Conference participation

Chair

• Posters track co-chair: The 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN2025), Naples (Italy), June 23-26, 2025

• Program co-chair: European Interdisciplinary Cibersecurity Conference, Rennes (France), 18-19 June, 2025

• Publication chair: The 20th European Dependable Computing Conference (EDCC2025), Lisbon (Portugal), April 8-11, 2025

• Student Forum chair: The 19th European Dependable Computing Conference (EDCC2024), Leuven (Belgium), April 8-111, 2024

• General co-chair: The 18th European Dependable Computing Conference (EDCC2022), Zaragoza (Spain), September 12-15, 2022. 

• Workshop chair: The 16th European Dependable Computing Conference (EDCC2020), Munich (Germany), September 7th-10th, 2020. 

• Artifact co-chair: The 11st ACM/SPEC International Conference on Performance Engineering (ICPE20), Edmonton, Alberta (Canada), April 2020

• Session chair: "Security and Dependability Analysis" session, 14th European Dependable Computing Conference, September 11, 2018, Iasi (Romania)

• Publication chair: 6th ACM/SPEC International Conference on Performance Engineering (ICPE 2015), Austin, TX, Jan 31-Feb 4, 2015

• Co-organizer: "Non-functional System Properties in Modeling – Analysis, Languages, and Processes (NiM-ALP)": satellite workshop of MODELS2013, September 29th, Miami (USA)

Tutorials

• "Model-driven Dependability Forecasting of Software Systems": 14th European Dependable Computing Conference, September 11st, 2018, Iasi (Romania)

Program Committee

Ongoing

• The 21st European Performance Engineering Workshop (EPEW), 26 June 2025, Catania (Italy)

• International Workshop on Artificial Intelligence, Cyber and CyberPhysical Security, within ARES 2025, 11-14 August, 2025, Ghent (Belgium).

• The 23rd International Conference on Software Engineering and Formal Methods (SEFM), 10-14 November 2025, Toledo (Spain)

• The 21st European Dependable Computing Conference (EDCC), 7-10 April, 2026, Canterbury (UK)

Past

• Ada-Europe 2024

• ADVCOMP 2007-2014

• AICCSA 2008, 2010

• BDCloud 2014

• CGC 2011-2012

• CLOSER 2011-2013, 2015, 2017-20

• CLOUD COMPUTING 2010-20, 2024

• CPSAT 2024

• ECMS-HiPMos 2016-2019, ECMS-MaSPECS 2020, ECMS 2023

• EDCC 2018-2019, 2021, 2024-25

• ENWOT 2018

• EPEW 2010

• ETFA: Industrial Cybersecurity Methods and Technology special session 2023

• ETFA: Automated Manufacturing Systems track 2009-2012, 2019-20

• ETFA: Industrial Automated Systems and Controls track  2008

• FMi Workshop 2013-2014,2016-19

• FMICS 2014

• ICATPN 2008, 2009

• ICPE 2014, 2019-23

• ICSEA 2009-2015

• IoT-SecFor 2018, 2020-23

• JNIC 2015

• MDE@DeRun 2018-19, 2021

• QoSA 2011

• QEST 2015, 2020

• QUDOS 2015

• RSDA 2019-22

• SaFoMe 2014

• SCORE-it

• SMARTGREENS 2012-2013,2016,2018-20

• SpaCCS 2016-17

• S4CIP 2016-18

• Uncertainty 2020

• VALUETOOLS 2017, 2019

• VECoS 2019

• WISARC 2015-16

• Workshop on Research and Use of Multiformalism Modeling Methods (WRUMMM 2012,2014)

• WOSP-C 2021

Software

• • tegdet: A Python library of Time-Evolving-Graphs (TEG) detectors

  • DICE Simulation: A tool for the modelling and performance analysis of data-intensive applications.

  • MASDES: A toolset for the modelling and verification of survivability requirements.

  • SURREAL: SURvivability Requirements Elicitation and Assessment tooL 

  • PTPNperfbound: A performance bound solver for Probabilistic Time Petri Nets