Daniele Codetta Raiteri

发表

Non deterministic repairable fault trees for computing optimal repair strategy

Marco Beccuti, Giuliana Franceschinis, Serge Haddad, 2008, VALUETOOLS.

Case Study 2: Autonomous Fault Detection, Identification and Recovery

Luigi Portinale, Daniele Codetta Raiteri, D. Raiteri, 2015 .

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

Luigi Portinale, Daniele Codetta Raiteri, D. Raiteri, 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

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

Luigi Portinale, Andrea Bobbio, Stefania Montani, 2012, Eng. Appl. Artif. Intell..

The RADyBaN Tool: Supporting Dependability Engineers to Exploit Probabilistic Graphical Models

Luigi Portinale, Daniele Codetta Raiteri, D. Raiteri, 2015 .

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

Luigi Portinale, Andrea Bobbio, Stefania Montani, 2007, BMA.

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

Marco Beccuti, Giuliana Franceschinis, Serge Haddad, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

Modelling Dynamic Reliability via Fluid Petri Nets

Andrea Bobbio, Daniele Codetta Raiteri, 2005 .

Supporting reliability engineers in exploiting the power of Dynamic Bayesian Networks

Luigi Portinale, Stefania Montani, Daniele Codetta Raiteri, 2010, Int. J. Approx. Reason..

Using Dynamic Decision Networks and Extended Fault Trees for Autonomous FDIR

Luigi Portinale, Daniele Codetta Raiteri, D. Raiteri, 2011, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.

From Fault Trees to Bayesian Networks

Luigi Portinale, Daniele Codetta Raiteri, D. Raiteri, 2015 .

Case Study 4: Dynamic Reliability

Luigi Portinale, Daniele Codetta Raiteri, D. Raiteri, 2015 .

Efficient Analysis Algorithms for Parametric Fault Trees

Giuliana Franceschinis, Massimiliano De Pierro, Andrea Bobbio, 2005, 2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05).

Parametric NdRFT for the derivation of optimal repair strategies

Marco Beccuti, Giuliana Franceschinis, Serge Haddad, 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.

Decision Theoretic Dependability

Luigi Portinale, Daniele Codetta Raiteri, D. Raiteri, 2015 .

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

Giuliana Franceschinis, Marco Gribaudo, Daniele Codetta Raiteri, 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

Multiple abstraction levels in performance analysis of WSN monitoring systems

Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, 2009, VALUETOOLS.

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

Luigi Portinale, Andrea Bobbio, Stefania Montani, 2008, Reliab. Eng. Syst. Saf..

Solving Dynamic Reliability Problems by means of Ordinary and Fluid Stochastic Petri Nets

Andrea Bobbio, Daniele Codetta Raiteri, 2005 .

Case Study 1: Cascading Failures

Luigi Portinale, Daniele Codetta Raiteri, D. Raiteri, 2015 .

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

Luigi Portinale, Roberta Terruggia, Daniele Codetta Raiteri, 2014, FLAIRS Conference.

Probabilistic Graphical Models

Luigi Portinale, Daniele Codetta Raiteri, D. Raiteri, 2015 .

UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project

Susanna Donatelli, Giovanna Dondossola, Davide Cerotti, 2007, CRITIS.

Appendix A: The Junction Tree Algorithms

Luigi Portinale, Daniele Codetta Raiteri, D. Raiteri, 2015 .

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

Luigi Portinale, Roberta Terruggia, Daniele Codetta Raiteri, 2014, 2014 International Carnahan Conference on Security Technology (ICCST).

From Dynamic Fault Tree to Dynamic Bayesian Networks

Luigi Portinale, Daniele Codetta Raiteri, D. Raiteri, 2015 .

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

Daniele Codetta Raiteri, 2005, Electron. Notes Theor. Comput. Sci..

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

Luigi Portinale, Daniele Codetta Raiteri, D. Raiteri, 2017 .

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

Luigi Portinale, Daniele Codetta Raiteri, 2017, Reliab. Eng. Syst. Saf..

Dependability and Reliability

Luigi Portinale, Daniele Codetta Raiteri, D. Raiteri, 2015 .

Mean Field Analysis for Continuous Time Bayesian Networks

Davide Cerotti, Daniele Codetta Raiteri, D. Raiteri, 2017, InfQ@VALUETOOLS.

Analysis and Detection of Cyber Attack Processes targeting Smart Grids

Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia, 2019, 2019 IEEE PES Innovative Smart Grid Technologies Europe (ISGT-Europe).

Representing domains and scenarios by means of model replication and composition

Daniele Codetta Raiteri, R. Nai, 2011 .

Decision Networks for Security Risk Assessment of Critical Infrastructures

Luigi Portinale, Daniele Codetta Raiteri, D. Codetta-Raiteri, 2018, ACM Trans. Internet Techn..

Representing the CRUTIAL project domain by means of UML diagrams

Susanna Donatelli, Giovanna Dondossola, Davide Cerotti, 2007 .

A GSPN based tool to inference generalized continuous time Bayesian networks

Luigi Portinale, Daniele Codetta Raiteri, 2013, VALUETOOLS.

Repairable fault tree for the automatic evaluation of repair policies

Valeria Vittorini, Mauro Iacono, Giuliana Franceschinis, 2004, International Conference on Dependable Systems and Networks, 2004.

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

Daniele Codetta Raiteri, D. Raiteri, 2011, Reliab. Eng. Syst. Saf..

A Preliminary Application of Generalized Fault Trees to Security

Daniele Codetta Raiteri, 2013, SECRYPT.

Automatically translating dynamic fault trees into dynamic Bayesian networks by means of a software tool

Luigi Portinale, Andrea Bobbio, Stefania Montani, 2006, First International Conference on Availability, Reliability and Security (ARES'06).

Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis

Marco Beccuti, Giuliana Franceschinis, Serge Haddad, 2014, Comput. J..

Parametric Dynamic Fault Tree and its Solution through Modularization

Daniele Codetta Raiteri, 2004 .

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

Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia, 2019, ITASEC.

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

Daniele Codetta Raiteri, 2021, Algorithms.

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

Daniele Codetta Raiteri, 2021, Inf..