Giovanna Dondossola
Orcid: 0009-0001-0387-4374
According to our database1,
Giovanna Dondossola
authored at least 21 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures.
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.
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.
Proceedings of the Third Italian Conference on Cyber Security, 2019
Proceedings of the 2019 IEEE PES Innovative Smart Grid Technologies Europe, 2019
2017
Proceedings of the Smart Grid Inspired Future Technologies, 2017
2015
Proceedings of the Energy Informatics, 2015
Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics, 2015
2012
Int. J. Crit. Infrastructure Prot., 2012
2009
ICT resilience of power control systems: experimental results from the CRUTIAL testbeds.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009
2008
Int. J. Crit. Infrastructures, 2008
Proceedings of the Critical Information Infrastructure Security, 2008
2007
Proceedings of the Critical Information Infrastructures Security, 2007
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
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.
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.
Proceedings of the Fundamental Approaches to Software Engineering, 2000
1999
Formal Methods for the Engineering and Certification of Safety-critical Knowledge-based Systems.
Proceedings of the Validation and Verification of Knowledge Based Systems, 1999
1998
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.
Proceedings of the Trends in Artificial Intelligence, 1991