Daniele Codetta Raiteri

Giovanna Dondossola

Lavinia Egidi

Davide Savarro

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

2021

Editorial for the Special Issue on "Fault Trees and Attack Trees: Extensions, Solution Methods, and Applications".

[BibT_eX]

[DOI]

Inf., 2021

Editorial for the Special Issue on "Bayesian Networks: Inference Algorithms, Applications, and Software Tools".

[BibT_eX]

[DOI]

Algorithms, 2021

2019

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

[BibT_eX]

[DOI]

Giovanna Dondossola

Lavinia Egidi

Proceedings of the Third Italian Conference on Cyber Security, 2019

Analysis and Detection of Cyber Attack Processes targeting Smart Grids.

[BibT_eX]

[DOI]

Lavinia Egidi

Giovanna Dondossola

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

2018

Decision Networks for Security Risk Assessment of Critical Infrastructures.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2018

2017

Generalized Continuous Time Bayesian Networks as a modelling and analysis formalism for dependable systems.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2017

Mean Field Analysis for Continuous Time Bayesian Networks.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Quantitative Methods in Informatics, 2017

2015

Dynamic Bayesian Networks for Fault Detection, Identification, and Recovery in Autonomous Spacecraft.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2015

Modeling and Analysis of Dependable Systems - A Probabilistic Graphical Model Perspective

[BibT_eX]

[DOI]

WorldScientific, ISBN: 9789814612050, 2015

2014

Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis.

[BibT_eX]

[DOI]

Comput. J., 2014

Quantitative evaluation of attack/defense scenarios through Decision Network modelling and analysis.

[BibT_eX]

[DOI]

Proceedings of the International Carnahan Conference on Security Technology, 2014

Decision Networks for Modeling and Analysis of Attack/Defense Scenarios in Critical Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, 2014

2013

A GSPN based tool to inference generalized continuous time Bayesian networks.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

A Preliminary Application of Generalized Fault Trees to Security.

[BibT_eX]

[DOI]

Proceedings of the SECRYPT 2013, 2013

2012

A dynamic Bayesian network based framework to evaluate cascading effects in a power grid.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2012

2011

Integrating several formalisms in order to increase Fault Trees' modeling power.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2011

Using Dynamic Decision Networks and Extended Fault Trees for Autonomous FDIR.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010

Supporting reliability engineers in exploiting the power of Dynamic Bayesian Networks.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2010

2009

Multiple abstraction levels in performance analysis of WSN monitoring systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

Parametric NdRFT for the derivation of optimal repair strategies.

[BibT_eX]

[DOI]

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

2008

Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2008

Non deterministic repairable fault trees for computing optimal repair strategy.

[BibT_eX]

[DOI]

Proceedings of the 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, 2008

2007

Compiling Dyanamic Fault Trees into Dynamic Bayesian Nets for Reliability Analysis: the RADYBAN Tool.

[BibT_eX]

[DOI]

Proceedings of the Fifth UAI Bayesian Modeling Applications Workshop (UAI-AW 2007), 2007

A framework to design and solve Markov Decision Well-formed Net models.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project.

[BibT_eX]

[DOI]

Proceedings of the Critical Information Infrastructures Security, 2007

2006

Extended fault trees analysis supported by stochastic petri nets.

[BibT_eX]

[DOI]

PhD thesis, 2006

Automatically Translating Dynamic Fault Trees into Dynamic Bayesian Networks by Means of a Software Tool.

[BibT_eX]

[DOI]

Proceedings of the The First International Conference on Availability, 2006

2005

Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems.

[BibT_eX]

[DOI]

Marco Gribaudo

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Efficient Analysis Algorithms for Parametric Fault Trees.

[BibT_eX]

[DOI]

Massimiliano De Pierro

Proceedings of the FIRB-Perf Workshop on Techniques, 2005

2004

The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004

Repairable Fault Tree for the Automatic Evaluation of Repair Policies.

[BibT_eX]

[DOI]

Mauro Iacono