Simona Bernardi

According to our database, Simona Bernardi authored at least 58 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fast Abstracts and Student Forum Proceedings - EDCC 2024 - 19th European Dependable Computing Conference.

Simona Bernardi, Tommaso Zoppi

CoRR, 2024

2023

Dependable and secure infrastructures and systems in intelligent environments.

Simona Bernardi, Matthias Eckhart, José Merseguer, Simin Nadjm-Tehrani

J. Reliab. Intell. Environ., September, 2023

tegdet: An extensible Python library for anomaly detection using time evolving graphs.

Simona Bernardi, Raúl Javierre, José Merseguer

SoftwareX, May, 2023

An approach for the automatic verification of blockchain protocols: the Tweetchain case study.

Mariapia Raimondo, Simona Bernardi, Stefano Marrone, José Merseguer

J. Comput. Virol. Hacking Tech., March, 2023

Demonstrating the Necessity of Model Generation in Security Protocol Verification.

Mariapia Raimondo, Stefano Marrone, Simona Bernardi, Angelo Palladino

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2022

DICE simulation: a tool for software performance assessment at the design stage.

Simona Bernardi, Abel Gómez, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno

Autom. Softw. Eng., 2022

2021

Security modelling and formal verification of survivability properties: Application to cyber-physical systems.

Simona Bernardi, Ugo Gentile, Stefano Marrone, José Merseguer, Roberto Nardone

J. Syst. Softw., 2021

A model-based approach for analysing network communication timeliness in IMA systems at concept level.

Rodrigo Saar de Moraes, Simona Bernardi, Simin Nadjm-Tehrani

Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

On Formalising and Analysing the Tweetchain Protocol.

Mariapia Raimondo, Simona Bernardi, Stefano Marrone

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

Detectors of Smart Grid Integrity Attacks: an Experimental Assessment.

Simona Bernardi, Raúl Javierre, José Merseguer, José Ignacio Requeno

Proceedings of the 17th European Dependable Computing Conference, 2021

Living with Uncertainty in Model-Based Development.

Simona Bernardi, Michalis Famelis, Jean-Marc Jézéquel, Raffaela Mirandola, Diego Perez-Palacin, Fiona A. C. Polack, Catia Trubiani

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques.

Ricardo J. Rodríguez, Simona Bernardi, Armin Zimmermann

IEEE Trans. Syst. Man Cybern. Syst., 2020

Advancements in knowledge elicitation for computer-based critical systems.

Simona Bernardi, Ugo Gentile, Roberto Nardone, Stefano Marrone

Future Gener. Comput. Syst., 2020

2019

Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism.

Simona Bernardi, Stefano Marrone, José Merseguer, Roberto Nardone, Valeria Vittorini

Softw. Syst. Model., 2019

Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study.

José Ignacio Requeno, José Merseguer, Simona Bernardi, Diego Perez-Palacin, Giorgos Giotis, Vasilis K. Papanikolaou

Inf. Syst. Frontiers, 2019

Toward a decision support system for the clinical pathways assessment.

Simona Bernardi, Cristian Mahulea, Jorge Albareda

Discret. Event Dyn. Syst., 2019

2018

A systematic approach for performance assessment using process mining - An industrial experience report.

Simona Bernardi, Juan L. Domínguez, Abel Gómez, Christophe Joubert, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno, Alberto Romeu

Empir. Softw. Eng., 2018

Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving Graphs.

Simona Bernardi, Raquel Trillo Lado, José Merseguer

Proceedings of the 14th European Dependable Computing Conference, 2018

2017

A model driven approach for assessing survivability requirements of critical infrastructures.

Ugo Gentile, Simona Bernardi, Stefano Marrone, José Merseguer, Valeria Vittorini

J. High Speed Networks, 2017

Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets.

José Ignacio Requeno, José Merseguer, Simona Bernardi

Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

Using Process Mining and Model-Driven Engineering to Enhance Security of Web Information Systems.

Simona Bernardi, Raúl Piraces Alastuey, Raquel Trillo Lado

Proceedings of the 2017 IEEE European Symposium on Security and Privacy Workshops, 2017

Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases.

Simona Bernardi, Raúl Piraces Alastuey, Alejandro Solanas Bonilla, Raquel Trillo Lado

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2016

A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study.

Simona Bernardi, José Ignacio Requeno, Christophe Joubert, Alberto Romeu

Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 2016

Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets.

Danilo Ardagna, Simona Bernardi, Eugenio Gianniti, Soroush Karimian Aliabadi, Diego Perez-Palacin, José Ignacio Requeno

Proceedings of the Algorithms and Architectures for Parallel Processing, 2016

2015

Modelling Security of Critical Infrastructures: A Survivability Assessment.

Ricardo J. Rodríguez, José Merseguer, Simona Bernardi

Comput. J., 2015

2014

Modelling and Verification of Survivability Requirements for Critical Systems.

Simona Bernardi, Lacramioara Dranca, José Merseguer

Proceedings of the Software Engineering and Formal Methods, 2014

A model-based approach for the specification and verification of clinical guidelines.

Simona Bernardi, José Manuel Colom, Jorge Albareda, Cristian Mahulea

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

A Min-Max Problem for the Computation of the Cycle Time Lower Bound in Interval-Based Time Petri Nets.

Simona Bernardi, Javier Campos

IEEE Trans. Syst. Man Cybern. Syst., 2013

Enabling the usage of UML in the verification of railway systems: The DAM-rail approach.

Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini

Reliab. Eng. Syst. Saf., 2013

Model-Driven Dependability Assessment of Software Systems.

Simona Bernardi, José Merseguer, Dorina C. Petriu

Springer, ISBN: 978-3-642-39511-6, 2013

2012

Dependability analysis of DES based on MARTE and UML state machines models.

José Merseguer, Simona Bernardi

Discret. Event Dyn. Syst., 2012

Dependability modeling and analysis of software systems specified with UML.

Simona Bernardi, José Merseguer, Dorina C. Petriu

ACM Comput. Surv., 2012

2011

Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques.

Simona Bernardi, Javier Campos, José Merseguer

IEEE Trans. Ind. Informatics, 2011

A dependability profile within MARTE.

Simona Bernardi, José Merseguer, Dorina C. Petriu

Softw. Syst. Model., 2011

Model-Driven Availability Evaluation of Railway Control Systems.

Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini

Proceedings of the Computer Safety, Reliability, and Security, 2011

2010

Performance aware open-world software in a 3-layer architecture.

Diego Perez-Palacin, José Merseguer, Simona Bernardi

Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

Modelling and analysing resilience as a security issue within UML.

Ricardo J. Rodríguez, José Merseguer, Simona Bernardi

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile.

Simona Bernardi, José Merseguer, Robyn R. Lutz

Proceedings of the Eighth European Dependable Computing Conference, 2010

2009

Computation of Performance Bounds for Real-Time systems using Time Petri Nets.

Simona Bernardi, Javier Campos

IEEE Trans. Ind. Informatics, 2009

ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets.

Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality.

Elina Pacini Naumovich, Simona Bernardi

Proceedings of the QEST 2009, 2009

UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance.

Luca Berardinelli, Simona Bernardi, Vittorio Cortellessa, José Merseguer

Proceedings of the 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages NFPinDSML2009 Affiliated with the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009) Denver, 2009

2008

Adding Dependability Analysis Capabilities to the MARTE Profile.

Simona Bernardi, José Merseguer, Dorina C. Petriu

Proceedings of the Model Driven Engineering Languages and Systems, 2008

2007

Performance evaluation of UML design with Stochastic Well-formed Nets.

Simona Bernardi, José Merseguer

J. Syst. Softw., 2007

A UML profile for dependability analysis of real-time embedded systems.

Simona Bernardi, José Merseguer

Proceedings of the 6th International Workshop on Software and Performance, 2007

2006

QoS Assessment via Stochastic Analysis.

Simona Bernardi, José Merseguer

IEEE Internet Comput., 2006

2004

On Performance Bounds for Interval Time Petri Nets.

Simona Bernardi, Javier Campos

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Stochastic Petri Nets and Inheritance for Dependability Modelling.

Simona Bernardi, Susanna Donatelli

Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

A class Diagram framework for collecting dependability requirements in automation systems.

Simona Bernardi, Susanna Donatelli, Giovanna Dondossola

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems.

Simona Bernardi, Susanna Donatelli, Giovanna Dondossola

Proceedings of the Formal Techniques, 2004

2003

Building stochastic Petri net models for the verification of complex software systems.

Simona Bernardi

PhD thesis, 2003

Building Petri net scenarios for dependable automation systems.

Simona Bernardi, Susanna Donatelli

Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

Petri Nets and Dependability.

Simona Bernardi, Andrea Bobbio, Susanna Donatelli

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

From UML sequence diagrams and statecharts to analysable petrinet models.

Simona Bernardi, Susanna Donatelli, José Merseguer

Proceedings of the Third International Workshop on Software and Performance, 2002

Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.

Paolo Ballarini, Simona Bernardi, Susanna Donatelli

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Implementing compositionality for stochastic Petri nets.

Simona Bernardi, Susanna Donatelli, András Horváth

Int. J. Softw. Tools Technol. Transf., 2001

Concurrent Generalized Petri Nets: Regenerative Conditions.

Simona Bernardi, Gianfranco Balbo

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Performance Validation of Fault-Tolerance Software: A Compositional Approach.

Simona Bernardi, Susanna Donatelli

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001