2010
on journals:
D.
Codetta-Raiteri, R. Nai
"Evaluation
of communication scenarios inside the
Electrical Power System"
(doi)
International
Journal
of Modelling and Simulation, vol. 30(3),
pages
345-352, ACTA Press, September 2010.
L. Portinale, D. Codetta-Raiteri, S.
Montani
"Supporting Reliability
Engineers in Exploiting the Power of Dynamic Bayesian
Networks" (doi)
International
Journal
of Approximate Reasoning, vol. 51(2),
pages 179-195, Elsevier,
January 2010.
in
proceedings:
D. Codetta-Raiteri, L. Portinale
"Generalized
Continuous Time Bayesian Networks and
their GSPN Semantics"
Proceedings
of the European Workshop on Probabilistic Graphical
Models (PGM),
pages 105-112, Helsinki, Finland, September
2010.
technical
reports:
D.
Codetta-Raiteri, L. Portinale
"ARPHA: an FDIR
architecture for Autonomous Spacecrafts based on Dynamic
Probabilistic Graphical Models"
talks:
D.
Codetta-Raiteri (presenter), A. Bobbio, S. Montani,
L. Portinale, S. Di Nolfo, M. Varesio
2009
in proceedings:
M. Beccuti, D.
Codetta-Raiteri, G. Franceschinis
"Multiple
abstraction levels in performance analysis of WSN
monitoring systems"
(doi)
Proceedings
of the International Workshop on Performance
Methodologies and Tools for Wireless Sensor Networks (WSNPerf),
ICST, Pisa, Italy, October 2009.
L. Portinale, D.
Codetta-Raiteri
"Generalizing Continuous Time Bayesian Networks with
Immediate Nodes"
Proceedings
of the Workshop on Graph Structures for Knowledge
Representation and Reasoning (GKR),
Pasadena, USA, July 2009.
M.
Beccuti, G. Franceschinis, D. Codetta-Raiteri, S. Haddad
"Parametric NdRFT for the derivation of
optimal repair strategies" (doi)
Proceedings
of the International Conference on Dependable Systems
and Networks (DSN),
pages 399-408, IEEE
Computer Society, Lisbon,
Portugal, June
2009.
A. Bobbio, D. Codetta-Raiteri, S.
Montani, L. Portinale
"Modeling Cascading
Failure Propagation through Dynamic Bayesian Networks" (doi)
Proceedings
of the Workshop on Dependable Control of Discrete
Systems (DCDS),
pages 239-244, IFAC, Bari, Italy, June 2009.
2008
on journals:
S. Montani, L. Portinale,
A. Bobbio, D. Codetta-Raiteri
"RADYBAN: a tool for the Reliability
Analysis of Dynamic Fault Trees through Conversion
into Dynamic Bayesian Networks" (doi)
Reliability Engineering and System Safety, vol.
93(7), pages 922-932, Elsevier, July 2008.
in books:
D. Cerotti, D.
Codetta-Raiteri, S. Donatelli, C. Brasca, G.
Dondossola, F. Garrone
"UML diagrams
supporting domain specification inside the CRUTIAL
project" (doi)
[Proceedings
of the International Workshop
on Critical Information Infrastructures Security (CRITIS),
Malaga, Spain, October 2007].
M. Beccuti, D. Codetta-Raiteri, G.
Franceschinis, S. Haddad
"Non deterministic Repairable Fault Trees
for computing optimal repair strategy" (doi)
Proceedings
of the International Conference on Performance
Evaluation, Methodologies and Tools (VALUETOOLS),
ICST, Athens, Greece, October 2008.
deliverables:
S. Donatelli
(editor), S. Chiaradonna, D. Codetta-Raiteri, F. Di
Giandomenico, G. Franceschinis,
M. Gribaudo, M. Kaâniche, P. Lollini, F. Romani,
J. Sproston
"List of
requirements on formalisms and selection of
appropriate tools"
CRUTIAL
project, Work Package 5, Deliverable D11,
January 2008.
technical
reports:
M. Beccuti, G.
Franceschinis, D. Codetta-Raiteri, S. Haddad
"Non deterministic Repairable Fault
Trees for computing optimal repair strategy"
Dip.
di Informatica, Univ. del Piemonte Orientale, TR-INF-2008-07-05-UNIPMN,
July 2008.
2007
in proceedings:
D. Cerotti, D. Codetta-Raiteri,
S. Donatelli, C. Brasca, G. Dondossola, F. Garrone
"Representing the CRUTIAL project domain by
means of UML diagrams"
Pre-proceedings of the International
Workshop on Critical Information Infrastructures
Security (CRITIS),
pages 109-124, Malaga, Spain, October 2007.
M. Beccuti, D.
Codetta-Raiteri, G. Franceschinis, S. Haddad
"A framework to design and solve Markov
Decision Well-formed Net models" (doi)
Proceedings
of the International Conference on Quantitative
Evaluation of Systems (QEST),
pages 165-166, IEEE Computer Society, Edinburgh,
UK, September 2007.
L. Portinale, A. Bobbio, D.
Codetta-Raiteri, S. Montani
"Compiling Dynamic Fault Trees into Dynamic
Bayesian Nets for Reliability Analysis: the RADYBAN
tool"
CEUR Workshop Proceedings, vol.
268, August 2007
[Proceedings
of the Bayesian Modeling Applications Workshop (UAI-AW),
Vancouver,
Canada, July 2007].
deliverables:
M. Kaâniche (editor), S. Bernardi, A.
Bobbio, C. Brasca, S. Chiaradonna, D.
Codetta-Raiteri, F. Di Giandomenico,
G. Dondossola, G.
Franceschinis, F. Garrone, A. Horvath, K. Kanoun,
J. C. Laprie, P. Lollini, J. Sproston
"Methodologies
synthesis"
CRUTIAL
project, Work Package 1, Deliverable D3,
January 2007.
F.
Garrone (editor), C. Brasca, D. Cerotti, D.
Codetta-Raiteri, A. Daidone, G. Deconinck,
S. Donatelli, G. Dondossola, F. Grandoni, M. Kaâniche, T. Rigole
"Analysis of new
control applications"
CRUTIAL
project, Work Package 1, Deliverable D2,
January 2007.
2006
on journals:
D. Codetta-Raiteri,
A. Bobbio
"Stochastic Petri
Nets Supporting Dynamic Reliability Evaluation"
International Journal of
Materials & Structural Reliability, Vol. 4(1),
pages 65-77, IMMS, March 2006.
in proceedings:
D. Codetta-Raiteri, G. Franceschinis,
M. Gribaudo
"Defining formalisms
and models in the Draw-Net Modeling System"
Proceedings
of the International Workshop on Modelling of Objects,
Components and Agents (MOCA),
pages 123-144, Turku, Finland, June 2006.
S.
Montani, L. Portinale, A. Bobbio, D.
Codetta-Raiteri
"Automatically translating dynamic
fault trees into dynamic Bayesian networks by means
of a software tool" (doi)
Proceedings
of the International Conference on Availability,
Reliability and Security (ARES),
pages 804-809, IEEE
Computer Society, Vienna,
Austria, April 2006.
D.
Codetta-Raiteri
"BDD based analysis of Parametric Fault
Trees" (doi)
Proceedings
of the Annual Reliability and Maintainability Symposium
(RAMS), pages
442-449, IEEE, Newport Beach, USA, January
2006.
S. Montani, L. Portinale, A. Bobbio, M.
Varesio, D. Codetta-Raiteri
"A tool for
automatically translating Dynamic Fault Trees
into Dynamic Bayesian Networks" (doi)
Proceedings
of the Annual Reliability and Maintainability Symposium
(RAMS), pages 434-441, IEEE, Newport
Beach, USA, January
2006.
technical
reports:
M.
Gribaudo, D. Codetta-Raiteri, G. Franceschinis
"The Draw-Net Modeling
System:
a
framework
for
the
design
and
the solution of single formalism and multi-formalism
models"
Dip.
di Informatica, Univ. del Piemonte Orientale,
TR-INF-2006-01-01-UNIPMN,
January 2006.
2005
on journals:
D. Codetta-Raiteri
"The Conversion of Dynamic
Fault Trees to Stochastic Petri Nets, as a case of Graph
Transformation" (doi)
Electronic Notes in Theoretical Computer
Science, vol.
127(2), pages
45-60, Elsevier, March
2005
[Proceedings of the Workshop on Petri
Nets and Graph Transformations (PNGT),
Rome, Italy, October 2004].
D.
Codetta-Raiteri, A. Bobbio
"Solving
Dynamic Reliability Problems by means of Ordinary and Fluid Stochastic Petri Nets"
In "Advances in Safety and
Reliability", vol.
1, pages 381-389, Taylor & Francis,
July 2005
[Proceedings of the
European Safety and Reliability Conference (ESREL),
Gdansk, Poland, June 2005].
in proceedings:
D. Codetta-Raiteri, A. Bobbio
"Modelling dynamic
reliability via Fluid Petri Nets"
Proceedings of the International Conference on
Reliability and Safety Engineering (INCRESE), pages 43-56,
Kharagpur, India, December 2005.
D.
Codetta-Raiteri, A. Bobbio
"Evaluation of a benchmark on dynamic
reliability via Fluid Stochastic Petri Nets"
Proceedings of the International Workshop on
Performability Modeling of Computer and
Communication Systems (PMCCS),
pages 52-55, Turin, Italy, September 2005.
A. Bobbio, D. Codetta-Raiteri, M.
De Pierro, G. Franceschinis
"Efficient Analysis Algorithms for
Parametric Fault Trees" (doi)
Proceedings
of the Workshop on Techniques, Methodologies and
Tools for Performance Evaluation of Complex Systems
(FIRB-Perf),
pages 91-105, IEEE Computer
Society, Turin, Italy, September 2005.
M.
Gribaudo,
D. Codetta-Raiteri, G. Franceschinis
"Draw-Net, a customizable
multi-formalism multi-solution tool for the quantitative
evaluation of systems" (doi)
Proceedings
of the International Conference on Quantitative Evaluation
of Systems (QEST),
pages 257-258, IEEE Computer
Society, Turin, Italy, September
2005.
technical
reports:
S. Montani, L. Portinale, A. Bobbio, M. Varesio, D. Codetta-Raiteri
"DBNet, a tool to convert Dynamic Fault
Trees into Dynamic Bayesian Networks"
Dip.
di Informatica, Univ. del Piemonte Orientale, TR-INF-2005-08-02-UNIPMN,
August 2005.
Ph.D. thesis:
D.
Codetta-Raiteri
"Extended
Fault
Trees
Analysis supported by Stochastic Petri Nets" (pdf)
2004
in proceedings:
D.
Codetta-Raiteri
"Parametric Dynamic Fault Tree and its
Solution through Modularization"
Supplemental Volume of the
International Conference on Dependable Systems and
Networks (DSN), pages 157-159, Florence, Italy, June 2004.
D. Codetta-Raiteri, G.
Franceschinis, M. Iacono, V. Vittorini
"Repairable Fault Tree for the
automatic evaluation of repair policies" (doi)
Proceedings
of the International Conference on Dependable Systems and
Networks (DSN),
pages 659-668, IEEE Computer Society, Florence, Italy, June 2004.
A.
Bobbio, D. Codetta-Raiteri
"Parametric Fault-Trees with Dynamic
Gates and Repair Boxes" (doi)
Proceedings
of the Annual Reliability and Maintainability Symposium
(RAMS), pages 459-465,
IEEE, Los Angeles, USA, January
2004.
technical
reports:
A.
Bobbio, D. Codetta-Raiteri
2003
technical
reports:
2002
technical
reports:
