Simona Bernardi

Orcid: 0000-0002-2605-6243

Affiliations:
  • Universidad de Zaragoza, Spain


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2023
Dependable and secure infrastructures and systems in intelligent environments.
J. Reliab. Intell. Environ., September, 2023

tegdet: An extensible Python library for anomaly detection using time evolving graphs.
SoftwareX, May, 2023

An approach for the automatic verification of blockchain protocols: the Tweetchain case study.
J. Comput. Virol. Hacking Tech., March, 2023

Demonstrating the Necessity of Model Generation in Security Protocol Verification.
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.
Autom. Softw. Eng., 2022

2021
Security modelling and formal verification of survivability properties: Application to cyber-physical systems.
J. Syst. Softw., 2021

A model-based approach for analysing network communication timeliness in IMA systems at concept level.
Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

On Formalising and Analysing the Tweetchain Protocol.
Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

Detectors of Smart Grid Integrity Attacks: an Experimental Assessment.
Proceedings of the 17th European Dependable Computing Conference, 2021

Living with Uncertainty in Model-Based Development.
Proceedings of the Composing Model-Based Analysis Tools, 2021

2020
An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Advancements in knowledge elicitation for computer-based critical systems.
Future Gener. Comput. Syst., 2020

2019
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism.
Softw. Syst. Model., 2019

Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study.
Inf. Syst. Frontiers, 2019

Toward a decision support system for the clinical pathways assessment.
Discret. Event Dyn. Syst., 2019

2018
A systematic approach for performance assessment using process mining - An industrial experience report.
Empir. Softw. Eng., 2018

Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving Graphs.
Proceedings of the 14th European Dependable Computing Conference, 2018

2017
A model driven approach for assessing survivability requirements of critical infrastructures.
J. High Speed Networks, 2017

Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets.
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.
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.
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.
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.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2016

2015
Modelling Security of Critical Infrastructures: A Survivability Assessment.
Comput. J., 2015

2014
Modelling and Verification of Survivability Requirements for Critical Systems.
Proceedings of the Software Engineering and Formal Methods, 2014

A model-based approach for the specification and verification of clinical guidelines.
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.
IEEE Trans. Syst. Man Cybern. Syst., 2013

Enabling the usage of UML in the verification of railway systems: The DAM-rail approach.
Reliab. Eng. Syst. Saf., 2013

Model-Driven Dependability Assessment of Software Systems.
Springer, ISBN: 978-3-642-39511-6, 2013

2012
Dependability analysis of DES based on MARTE and UML state machines models.
Discret. Event Dyn. Syst., 2012

Dependability modeling and analysis of software systems specified with UML.
ACM Comput. Surv., 2012

2011
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques.
IEEE Trans. Ind. Informatics, 2011

A dependability profile within MARTE.
Softw. Syst. Model., 2011

Model-Driven Availability Evaluation of Railway Control Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2011

2010
Performance aware open-world software in a 3-layer architecture.
Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

Modelling and analysing resilience as a security issue within UML.
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.
Proceedings of the Eighth European Dependable Computing Conference, 2010

2009
Computation of Performance Bounds for Real-Time systems using Time Petri Nets.
IEEE Trans. Ind. Informatics, 2009

ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets.
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.
Proceedings of the QEST 2009, 2009

UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance.
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.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

2007
Performance evaluation of UML design with Stochastic Well-formed Nets.
J. Syst. Softw., 2007

A UML profile for dependability analysis of real-time embedded systems.
Proceedings of the 6th International Workshop on Software and Performance, 2007

2006
QoS Assessment via Stochastic Analysis.
IEEE Internet Comput., 2006

2004
On Performance Bounds for Interval Time Petri Nets.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Stochastic Petri Nets and Inheritance for Dependability Modelling.
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.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems.
Proceedings of the Formal Techniques, 2004

2003
Building stochastic Petri net models for the verification of complex software systems.
PhD thesis, 2003

Building Petri net scenarios for dependable automation systems.
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

Petri Nets and Dependability.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
From UML sequence diagrams and statecharts to analysable petrinet models.
Proceedings of the Third International Workshop on Software and Performance, 2002

Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
Implementing compositionality for stochastic Petri nets.
Int. J. Softw. Tools Technol. Transf., 2001

Concurrent Generalized Petri Nets: Regenerative Conditions.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Performance Validation of Fault-Tolerance Software: A Compositional Approach.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001


  Loading...