Simona Bernardi

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 24

Top Topics

Knowledge Elicitation

Clinical Pathway

Top Venues

Discret. Event Dyn. Syst.

Publications

Simona Bernardi, Tommaso Zoppi
Fast Abstracts and Student Forum Proceedings - EDCC 2024 - 19th European Dependable Computing Conference. CoRR (2024)
Simona Bernardi, Raúl Javierre, José Merseguer
tegdet: An extensible Python library for anomaly detection using time evolving graphs. SoftwareX 22 (2023)
Simona Bernardi, Matthias Eckhart, José Merseguer, Simin Nadjm-Tehrani
Dependable and secure infrastructures and systems in intelligent environments. J. Reliab. Intell. Environ. 9 (3) (2023)
Mariapia Raimondo, Simona Bernardi, Stefano Marrone, José Merseguer
An approach for the automatic verification of blockchain protocols: the Tweetchain case study. J. Comput. Virol. Hacking Tech. 19 (1) (2023)
Mariapia Raimondo, Stefano Marrone, Simona Bernardi, Angelo Palladino
Demonstrating the Necessity of Model Generation in Security Protocol Verification. ETFA (2023)
Simona Bernardi, Abel Gómez, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno
DICE simulation: a tool for software performance assessment at the design stage. Autom. Softw. Eng. 29 (1) (2022)
Simona Bernardi, José Merseguer, Raúl Javierre
tegdet: An extensible Python Library for Anomaly Detection using Time-Evolving Graphs. CoRR (2022)
Rodrigo Saar de Moraes, Simona Bernardi, Simin Nadjm-Tehrani
A model-based approach for analysing network communication timeliness in IMA systems at concept level. RTNS (2021)
Mariapia Raimondo, Simona Bernardi, Stefano Marrone
On Formalising and Analysing the Tweetchain Protocol. ICISSP (2021)
Simona Bernardi, Ugo Gentile, Stefano Marrone, José Merseguer, Roberto Nardone
Security modelling and formal verification of survivability properties: Application to cyber-physical systems. J. Syst. Softw. 171 (2021)
Simona Bernardi, Raúl Javierre, José Merseguer, José Ignacio Requeno
Detectors of Smart Grid Integrity Attacks: an Experimental Assessment. EDCC (2021)
Ricardo J. Rodríguez, Simona Bernardi, Armin Zimmermann
An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques. IEEE Trans. Syst. Man Cybern. Syst. 50 (8) (2020)
Simona Bernardi, Ugo Gentile, Roberto Nardone, Stefano Marrone
Advancements in knowledge elicitation for computer-based critical systems. Future Gener. Comput. Syst. 110 (2020)
Simona Bernardi, Stefano Marrone, José Merseguer, Roberto Nardone, Valeria Vittorini
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. Softw. Syst. Model. 18 (3) (2019)
Simona Bernardi, Cristian Mahulea, Jorge Albareda
Toward a decision support system for the clinical pathways assessment. Discret. Event Dyn. Syst. 29 (1) (2019)
José Ignacio Requeno, José Merseguer, Simona Bernardi, Diego Perez-Palacin, Giorgos Giotis, Vasilis K. Papanikolaou
Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study. Inf. Syst. Frontiers 21 (1) (2019)
Simona Bernardi, Juan L. Domínguez, Abel Gómez, Christophe Joubert, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno, Alberto Romeu
A systematic approach for performance assessment using process mining - An industrial experience report. Empir. Softw. Eng. 23 (6) (2018)
Simona Bernardi, Raquel Trillo Lado, José Merseguer
Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving Graphs. EDCC (2018)
Ugo Gentile, Simona Bernardi, Stefano Marrone, José Merseguer, Valeria Vittorini
A model driven approach for assessing survivability requirements of critical infrastructures. J. High Speed Networks 23 (2) (2017)
Simona Bernardi, Raúl Piraces Alastuey, Raquel Trillo Lado
Using Process Mining and Model-Driven Engineering to Enhance Security of Web Information Systems. EuroS&P Workshops (2017)
Simona Bernardi, Raúl Piraces Alastuey, Alejandro Solanas Bonilla, Raquel Trillo Lado
Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases. PNSE @ Petri Nets (2017)
José Ignacio Requeno, José Merseguer, Simona Bernardi
Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets. IRI (2017)
Simona Bernardi, José Ignacio Requeno, Christophe Joubert, Alberto Romeu
A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study. QUDOS@ISSTA (2016)
Danilo Ardagna, Simona Bernardi, Eugenio Gianniti, Soroush Karimian Aliabadi, Diego Perez-Palacin, José Ignacio Requeno
Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets. ICA3PP (2016)
Ricardo J. Rodríguez, José Merseguer, Simona Bernardi
Modelling Security of Critical Infrastructures: A Survivability Assessment. Comput. J. 58 (10) (2015)
Simona Bernardi, José Manuel Colom, Jorge Albareda, Cristian Mahulea
A model-based approach for the specification and verification of clinical guidelines. ETFA (2014)
Simona Bernardi, Lacramioara Dranca, José Merseguer
Modelling and Verification of Survivability Requirements for Critical Systems. SEFM Workshops (2014)
Simona Bernardi, Javier Campos
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. 43 (5) (2013)
Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliab. Eng. Syst. Saf. 120 (2013)
José Merseguer, Simona Bernardi
Dependability analysis of DES based on MARTE and UML state machines models. Discret. Event Dyn. Syst. 22 (2) (2012)
Simona Bernardi, José Merseguer, Dorina C. Petriu
Dependability modeling and analysis of software systems specified with UML. ACM Comput. Surv. 45 (1) (2012)
Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini
Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP (2011)
Simona Bernardi, José Merseguer, Dorina C. Petriu
A dependability profile within MARTE. Softw. Syst. Model. 10 (3) (2011)
Simona Bernardi, Javier Campos, José Merseguer
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques. IEEE Trans. Ind. Informatics 7 (1) (2011)
Ricardo J. Rodríguez, José Merseguer, Simona Bernardi
Modelling and analysing resilience as a security issue within UML. SERENE (2010)
Diego Perez-Palacin, José Merseguer, Simona Bernardi
Performance aware open-world software in a 3-layer architecture. WOSP/SIPEW (2010)
Simona Bernardi, José Merseguer, Robyn R. Lutz
Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile. EDCC (2010)
Simona Bernardi, Javier Campos
Computation of Performance Bounds for Real-Time systems using Time Petri Nets. IEEE Trans. Ind. Informatics 5 (2) (2009)
Luca Berardinelli, Simona Bernardi, Vittorio Cortellessa, José Merseguer
UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. NFPinDSML@MoDELS (2009)
Elina Pacini Naumovich, Simona Bernardi
Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality. QEST (2009)
Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. TACAS (2009)
Simona Bernardi, José Merseguer, Dorina C. Petriu
Adding Dependability Analysis Capabilities to the MARTE Profile. MoDELS (2008)
Simona Bernardi, José Merseguer
Performance evaluation of UML design with Stochastic Well-formed Nets. J. Syst. Softw. 80 (11) (2007)
Simona Bernardi, José Merseguer
A UML profile for dependability analysis of real-time embedded systems. WOSP (2007)
Simona Bernardi, José Merseguer
QoS Assessment via Stochastic Analysis. IEEE Internet Comput. 10 (3) (2006)
Simona Bernardi, Javier Campos
On Performance Bounds for Interval Time Petri Nets. QEST (2004)
Simona Bernardi, Susanna Donatelli
Stochastic Petri Nets and Inheritance for Dependability Modelling. PRDC (2004)
Simona Bernardi, Susanna Donatelli, Giovanna Dondossola
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. FORMATS/FTRTFT (2004)
Simona Bernardi, Susanna Donatelli, Giovanna Dondossola
A class Diagram framework for collecting dependability requirements in automation systems. ISoLA (Preliminary proceedings) (2004)
Simona Bernardi, Andrea Bobbio, Susanna Donatelli
Petri Nets and Dependability. Lectures on Concurrency and Petri Nets (2003)
Simona Bernardi, Susanna Donatelli
Building Petri net scenarios for dependable automation systems. PNPM (2003)
Simona Bernardi, Susanna Donatelli, José Merseguer
From UML sequence diagrams and statecharts to analysable petrinet models. Workshop on Software and Performance (2002)
Paolo Ballarini, Simona Bernardi, Susanna Donatelli
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. DSN (2002)
Simona Bernardi, Gianfranco Balbo
Concurrent Generalized Petri Nets: Regenerative Conditions. PNPM (2001)
Simona Bernardi, Susanna Donatelli
Performance Validation of Fault-Tolerance Software: A Compositional Approach. DSN (2001)
Simona Bernardi, Susanna Donatelli, András Horváth
Implementing compositionality for stochastic Petri nets. Int. J. Softw. Tools Technol. Transf. 3 (4) (2001)