Giovanna Dondossola

According to our database, Giovanna Dondossola authored at least 21 papers between 1991 and 2024.

Collaborative distances:

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

2024

SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures.

Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia, Davide Savarro

Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), 2024

Ask the right queries: Improving search engine retrieval of vulnerable internet-connected devices through interactive query reformulation.

Andrea Bernardini, Claudio Carpineto, Simone Angelini, Giovanna Dondossola, Roberta Terruggia

Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), 2024

2019

A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems.

Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia

Proceedings of the Third Italian Conference on Cyber Security, 2019

Analysis and Detection of Cyber Attack Processes targeting Smart Grids.

Davide Cerotti, Daniele Codetta Raiteri, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Giovanna Dondossola, Roberta Terruggia

Proceedings of the 2019 IEEE PES Innovative Smart Grid Technologies Europe, 2019

2017

Mobile Secure Communications in Smart Grid Control.

Giovanna Dondossola, Roberta Terruggia

Proceedings of the Smart Grid Inspired Future Technologies, 2017

2015

Cyber Security Analysis of Smart Grid Communications with a Network Simulator.

Roberta Terruggia, Giovanna Dondossola

Proceedings of the Energy Informatics, 2015

Big data from cellular networks: How to estimate energy demand at real-time.

Davide Tosi, Stefano Marzorati, Mario La Rosa, Giovanna Dondossola, Roberta Terruggia

Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics, 2015

2012

Quantification of dependencies between electrical and information infrastructures.

Marco Beccuti, Silvano Chiaradonna, Felicita Di Giandomenico, Susanna Donatelli, Giovanna Dondossola, Giuliana Franceschinis

Int. J. Crit. Infrastructure Prot., 2012

Critical Utility Infrastructural Resilience

Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Veríssimo

CoRR, 2012

2009

ICT resilience of power control systems: experimental results from the CRUTIAL testbeds.

Giovanna Dondossola, Fabrizio Garrone, Judit Szanto, Geert Deconinck, T. Loix, Hakem Beitollahi

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

Effects of intentional threats to power substation control systems.

Giovanna Dondossola, Judit Szanto, Marcelo Masera, Igor Nai Fovino

Int. J. Crit. Infrastructures, 2008

Testbeds for Assessing Critical Scenarios in Power Control Systems.

Giovanna Dondossola, Geert Deconinck, Fabrizio Garrone, Hakem Beitollahi

Proceedings of the Critical Information Infrastructure Security, 2008

2007

UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project.

Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Claudio Brasca, Giovanna Dondossola, Fabrizio Garrone

Proceedings of the Critical Information Infrastructures Security, 2007

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

Integrating Recovery Strategies into a Primary Substation Automation System.

Geert Deconinck, Vincenzo De Florio, Ronnie Belmans, Giovanna Dondossola, Judit Szanto

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

2002

Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems.

Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola

Proceedings of the 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 2002

2000

System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches.

Giovanna Dondossola, Oliver Botti

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

Formal Methods for the Engineering and Certification of Safety-critical Knowledge-based Systems.

Giovanna Dondossola

Proceedings of the Validation and Verification of Knowledge Based Systems, 1999

1998

Formal methods in the development of safety critical Knowledge-Based components.

Giovanna Dondossola

Proceedings of the 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, 1998

1991

Electrical Equipment Maintenance Training and Its Application in Industrial Environment.

Alberta Bertin, Fabio Buciol, Giovanna Dondossola, Cristina Lanza

Proceedings of the Trends in Artificial Intelligence, 1991