 | 2007 |
|---|
| 7 |       | Luigi Portinale,
Andrea Bobbio,
Daniele Codetta Raiteri,
Stefania Montani:
Compiling Dyanamic Fault Trees into Dynamic Bayesian Nets for Reliability Analysis: the RADYBAN Tool.
BMA 2007 |
| 6 | | Marco Beccuti,
Daniele Codetta Raiteri,
Giuliana Franceschinis,
Serge Haddad:
A framework to design and solve Markov Decision Well-formed Net models.
QEST 2007: 165-166 |
| 2006 |
|---|
| 5 | | Stefania Montani,
Luigi Portinale,
Andrea Bobbio,
Daniele Codetta Raiteri:
Automatically Translating Dynamic Fault Trees into Dynamic Bayesian Networks by Means of a Software Tool.
ARES 2006: 804-809 |
| 2005 |
|---|
| 4 | | Andrea Bobbio,
Daniele Codetta Raiteri,
Massimiliano De Pierro,
Giuliana Franceschinis:
Efficient Analysis Algorithms for Parametric Fault Trees.
FIRB-Perf 2005: 91-105 |
| 3 | | Marco Gribaudo,
Daniele Codetta Raiteri,
Giuliana Franceschinis:
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems.
QEST 2005: 257-258 |
| 2 | | Daniele Codetta Raiteri:
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation.
Electr. Notes Theor. Comput. Sci. 127(2): 45-60 (2005) |
| 2004 |
|---|
| 1 | | Daniele Codetta Raiteri,
Mauro Iacono,
Giuliana Franceschinis,
Valeria Vittorini:
Repairable Fault Tree for the Automatic Evaluation of Repair Policies.
DSN 2004: 659-668 |
