Performance Validation of Fault-Tolerance Software: A Compositional Approach. - Simona Bernardi 001; Susanna Donatelli (DSN, 2001)

Concurrent Generalized Petri Nets: Regenerative Conditions. - Simona Bernardi 001; Gianfranco Balbo (PNPM, 2001)

Implementing compositionality for stochastic Petri nets. - Simona Bernardi 001; Susanna Donatelli; András Horváth (Int. J. Softw. Tools Technol. Transf., 2001)

Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. - Paolo Ballarini; Simona Bernardi 001; Susanna Donatelli (DSN, 2002)

From UML sequence diagrams and statecharts to analysable petrinet models. - Simona Bernardi 001; Susanna Donatelli; José Merseguer (Workshop on Software and Performance, 2002)

Petri Nets and Dependability. - Simona Bernardi 001; Andrea Bobbio; Susanna Donatelli (Lectures on Concurrency and Petri Nets, 2003)

Building Petri net scenarios for dependable automation systems. - Simona Bernardi 001; Susanna Donatelli (PNPM, 2003)

Building stochastic Petri net models for the verification of complex software systems. - Simona Bernardi 001 (2003)

Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. - Simona Bernardi 001; Susanna Donatelli; Giovanna Dondossola (FORMATS/FTRTFT, 2004)

A class Diagram framework for collecting dependability requirements in automation systems. - Simona Bernardi 001; Susanna Donatelli; Giovanna Dondossola (ISoLA (Preliminary proceedings), 2004)

Stochastic Petri Nets and Inheritance for Dependability Modelling. - Simona Bernardi 001; Susanna Donatelli (PRDC, 2004)

On Performance Bounds for Interval Time Petri Nets. - Simona Bernardi 001; Javier Campos (QEST, 2004)

QoS Assessment via Stochastic Analysis. - Simona Bernardi 001; José Merseguer (IEEE Internet Comput., 2006)

A UML profile for dependability analysis of real-time embedded systems. - Simona Bernardi 001; José Merseguer (WOSP, 2007)

Performance evaluation of UML design with Stochastic Well-formed Nets. - Simona Bernardi 001; José Merseguer (J. Syst. Softw., 2007)

Adding Dependability Analysis Capabilities to the MARTE Profile. - Simona Bernardi 001; José Merseguer; Dorina C. Petriu (MoDELS, 2008)

UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. - Luca Berardinelli; Simona Bernardi 001; Vittorio Cortellessa; José Merseguer (NFPinDSML@MoDELS, 2009)

Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality. - Elina Pacini Naumovich; Simona Bernardi 001 (QEST, 2009)

ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. - Elina Pacini Naumovich; Simona Bernardi 001; Marco Gribaudo (TACAS, 2009)

Computation of Performance Bounds for Real-Time systems using Time Petri Nets. - Simona Bernardi 001; Javier Campos (IEEE Trans. Ind. Informatics, 2009)

Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile. - Simona Bernardi 001; José Merseguer; Robyn R. Lutz (EDCC, 2010)

Modelling and analysing resilience as a security issue within UML. - Ricardo J. Rodríguez; José Merseguer; Simona Bernardi 001 (SERENE, 2010)

Performance aware open-world software in a 3-layer architecture. - Diego Perez-Palacin; José Merseguer; Simona Bernardi 001 (WOSP/SIPEW, 2010)

Model-Driven Availability Evaluation of Railway Control Systems. - Simona Bernardi 001; Francesco Flammini; Stefano Marrone 001; José Merseguer; Camilla Papa; Valeria Vittorini (SAFECOMP, 2011)

A dependability profile within MARTE. - Simona Bernardi 001; José Merseguer; Dorina C. Petriu (Softw. Syst. Model., 2011)

Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques. - Simona Bernardi 001; Javier Campos; José Merseguer (IEEE Trans. Ind. Informatics, 2011)

Dependability modeling and analysis of software systems specified with UML. - Simona Bernardi 001; José Merseguer; Dorina C. Petriu (ACM Comput. Surv., 2012)

Dependability analysis of DES based on MARTE and UML state machines models. - José Merseguer; Simona Bernardi 001 (Discret. Event Dyn. Syst., 2012)

Model-Driven Dependability Assessment of Software Systems. - Simona Bernardi 001; José Merseguer; Dorina C. Petriu (Springer, 2013)

Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. - Simona Bernardi 001; Francesco Flammini; Stefano Marrone 001; Nicola Mazzocca; José Merseguer; Roberto Nardone; Valeria Vittorini (Reliab. Eng. Syst. Saf., 2013)

A Min-Max Problem for the Computation of the Cycle Time Lower Bound in Interval-Based Time Petri Nets. - Simona Bernardi 001; Javier Campos (IEEE Trans. Syst. Man Cybern. Syst., 2013)

A model-based approach for the specification and verification of clinical guidelines. - Simona Bernardi 001; José Manuel Colom; Jorge Albareda; Cristian Mahulea (ETFA, 2014)

Modelling and Verification of Survivability Requirements for Critical Systems. - Simona Bernardi 001; Lacramioara Dranca; José Merseguer (SEFM Workshops, 2014)

Modelling Security of Critical Infrastructures: A Survivability Assessment. - Ricardo J. Rodríguez; José Merseguer; Simona Bernardi 001 (Comput. J., 2015)

Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets. - Danilo Ardagna; Simona Bernardi 001; Eugenio Gianniti; Soroush Karimian Aliabadi; Diego Perez-Palacin; José Ignacio Requeno (ICA3PP, 2016)

A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study. - Simona Bernardi 001; José Ignacio Requeno; Christophe Joubert; Alberto Romeu (QUDOS@ISSTA, 2016)

Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases. - Simona Bernardi 001; Raúl Piraces Alastuey; Alejandro Solanas Bonilla; Raquel Trillo Lado (PNSE @ Petri Nets, 2017)

Using Process Mining and Model-Driven Engineering to Enhance Security of Web Information Systems. - Simona Bernardi 001; Raúl Piraces Alastuey; Raquel Trillo Lado (EuroS&P Workshops, 2017)

Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets. - José Ignacio Requeno; José Merseguer; Simona Bernardi 001 (IRI, 2017)

A model driven approach for assessing survivability requirements of critical infrastructures. - Ugo Gentile; Simona Bernardi 001; Stefano Marrone 001; José Merseguer; Valeria Vittorini (J. High Speed Networks, 2017)

Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving Graphs. - Simona Bernardi 001; Raquel Trillo Lado; José Merseguer (EDCC, 2018)

A systematic approach for performance assessment using process mining - An industrial experience report. - Simona Bernardi 001; Juan L. Domínguez; Abel Gómez 001; Christophe Joubert; José Merseguer; Diego Perez-Palacin; José Ignacio Requeno; Alberto Romeu (Empir. Softw. Eng., 2018)

Toward a decision support system for the clinical pathways assessment. - Simona Bernardi 001; Cristian Mahulea; Jorge Albareda (Discret. Event Dyn. Syst., 2019)

Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study. - José Ignacio Requeno; José Merseguer; Simona Bernardi 001; Diego Perez-Palacin; Giorgos Giotis; Vasilis K. Papanikolaou (Inf. Syst. Frontiers, 2019)

Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. - Simona Bernardi 001; Stefano Marrone 001; José Merseguer; Roberto Nardone; Valeria Vittorini (Softw. Syst. Model., 2019)

Advancements in knowledge elicitation for computer-based critical systems. - Simona Bernardi 001; Ugo Gentile; Roberto Nardone; Stefano Marrone 001 (Future Gener. Comput. Syst., 2020)

An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques. - Ricardo J. Rodríguez; Simona Bernardi 001; Armin Zimmermann (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Living with Uncertainty in Model-Based Development. - Simona Bernardi 001; Michalis Famelis; Jean-Marc Jézéquel; Raffaela Mirandola; Diego Perez-Palacin; Fiona A. C. Polack; Catia Trubiani (Composing Model-Based Analysis Tools, 2021)

Detectors of Smart Grid Integrity Attacks: an Experimental Assessment. - Simona Bernardi 001; Raúl Javierre; José Merseguer; José Ignacio Requeno (EDCC, 2021)

On Formalising and Analysing the Tweetchain Protocol. - Mariapia Raimondo; Simona Bernardi 001; Stefano Marrone 001 (ICISSP, 2021)

A model-based approach for analysing network communication timeliness in IMA systems at concept level. - Rodrigo Saar de Moraes; Simona Bernardi 001; Simin Nadjm-Tehrani (RTNS, 2021)

Security modelling and formal verification of survivability properties: Application to cyber-physical systems. - Simona Bernardi 001; Ugo Gentile; Stefano Marrone 001; José Merseguer; Roberto Nardone (J. Syst. Softw., 2021)

DICE simulation: a tool for software performance assessment at the design stage. - Simona Bernardi 001; Abel Gómez 001; José Merseguer; Diego Perez-Palacin; José Ignacio Requeno (Autom. Softw. Eng., 2022)

Demonstrating the Necessity of Model Generation in Security Protocol Verification. - Mariapia Raimondo; Stefano Marrone 001; Simona Bernardi 001; Angelo Palladino (ETFA, 2023)

An approach for the automatic verification of blockchain protocols: the Tweetchain case study. - Mariapia Raimondo; Simona Bernardi 001; Stefano Marrone 001; José Merseguer (J. Comput. Virol. Hacking Tech., 2023)

tegdet: An extensible Python library for anomaly detection using time evolving graphs. - Simona Bernardi 001; Raúl Javierre; José Merseguer (SoftwareX, 2023)

Dependable and secure infrastructures and systems in intelligent environments. - Simona Bernardi 001; Matthias Eckhart; José Merseguer; Simin Nadjm-Tehrani (J. Reliab. Intell. Environ., 2023)

Fast Abstracts and Student Forum Proceedings - EDCC 2024 - 19th European Dependable Computing Conference. - Simona Bernardi 001; Tommaso Zoppi (CoRR, 2024)

Completion of SysML state machines from Given-When-Then requirements. - Maria Stella de Biase; Simona Bernardi 001; Stefano Marrone 001; José Merseguer; Angelo Palladino (Softw. Syst. Model., 2024)