2007 |
7 | EE | 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 | EE | 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 | EE | 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 | EE | Andrea Bobbio,
Daniele Codetta Raiteri,
Massimiliano De Pierro,
Giuliana Franceschinis:
Efficient Analysis Algorithms for Parametric Fault Trees.
FIRB-Perf 2005: 91-105 |
3 | EE | 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 | EE | 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 | EE | Daniele Codetta Raiteri,
Mauro Iacono,
Giuliana Franceschinis,
Valeria Vittorini:
Repairable Fault Tree for the Automatic Evaluation of Repair Policies.
DSN 2004: 659-668 |