Simona Bernardi

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