Daniele Codetta Raiteri

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