Language:

Italiano English

Daniele   Codetta Raiteri

Dipartimento di Scienze e Innovazione Tecnologica
Università del Piemonte Orientale "Amedeo Avogadro"
Viale Teresa Michel, 11 - 15121 Alessandria - Italia

Telephone: (+39) 0131 360 339 
Room: 182
e-mail: daniele.codetta@uniupo.it 



Publications





~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2025 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in journals:
D. Cerotti, D. Codetta-Raiteri, G. Dondossola, L. Egidi, G. Franceschinis, L. Portinale, R. Terruggia, D. Savarro
"Evaluation of Cyberattack Detection Models in Power Grids: Automated Generation of Attack Processes"
Applied Sciences, vol. 15(19), MDPI, October 2025

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2024 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in journals:
D. Cerotti, D. Codetta-Raiteri, G. Dondossola, L. Egidi, G. Franceschinis, L. Portinale, R. Terruggia, D. Savarro
"SecuriDN: A Modeling Tool Supporting the Early Detection of Cyberattacks to Smart Energy Systems"
Energies, vol. 17(16), MDPI, August 2024

in proceedings:
D. Cerotti, D. Codetta-Raiteri, G. Dondossola, L. Egidi, G. Franceschinis, L. Portinale, R. Terruggia, D. Savarro
"SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures"
Italian Conference on Cyber Security (ITASEC), CEUR Workshop Proceedings, vol. 3731, Salerno, Italy, April 2024

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2023 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in books:

D. Cerotti, D. Codetta-Raiteri, G. Dondossola, L. Egidi, G. Franceschinis, L. Portinale, R. Terruggia
"A Modular Infrastructure for the Validation of Cyberattack Detection Systems"
In "Power Systems Cybersecurity: Methods, Concepts and Best Practices", pages 311-336, Springer, February 2023

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2022 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in proceedings:

D. Cerotti, D. Codetta-Raiteri, G. Dondossola, L. Egidi, G. Franceschinis, L. Portinale, R. Terruggia
"Rilevamento di anomalie ed intrusion detection in architetture ICT di sistemi di controllo energetico"
Convegno Nazionale CINI sull'Intelligenza Artificiale (Ital-IA), Turin, Italy, February 2022

technical reports:

D. Cerotti, D. Codetta-Raiteri, G. Dondossola, L. Egidi, G. Franceschinis, L. Portinale, R. Terruggia
"A modular infrastructure for the validation of cyberattack detection systems"
TR-INF-2022-05-01-UNIPMN, Istituto di Informatica, Univ. del Piemonte Orientale, May 2022

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2021 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in journals:
~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2020 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in journals:
D. Cerotti, D. Codetta-Raiteri, G. Dondossola, L. Egidi, G. Franceschinis, L. Portinale, R. Terruggia
"Evidence-Based Analysis of Cyber Attacks to Security Monitored Distributed Energy Resources"
Applied Sciences, vol. 10(14), MDPI, July 2020

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2019 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in proceedings:
D. Cerotti, D. Codetta-Raiteri, G. Dondossola, L. Egidi, G. Franceschinis, L. Portinale, R. Terruggia
"Analysis and Detection of Cyber Attack Processes targeting Smart Grids"
Innovative Smart Grid Technologies Europe (ISGT), IEEE, Bucharest, Romania, September 2019

D. Cerotti, D. Codetta-Raiteri, G. Dondossola, L. Egidi, G. Franceschinis, L. Portinale, R. Terruggia
"Analisi e rilevamento intelligente di processi di attacco alle Smart-Grid"
Convegno Nazionale CINI sull'Intelligenza Artificiale (Ital-IA), Rome, Italy, March 2019

D. Cerotti, D. Codetta-Raiteri, G. Dondossola, L. Egidi, G. Franceschinis, L. Portinale, R. Terruggia
"A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems"
Italian Conference on Cyber Security (ITASEC), CEUR Workshop Proceedings, vol. 2315, Pisa, Italy, February 2019

technical reports:

D. Codetta-Raiteri
"UML class diagrams supporting formalism definition in the Draw-Net Modeling System"
TR-INF-2019-07-04-UNIPMN, Istituto di Informatica, Univ. del Piemonte Orientale, July 2019

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2018 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in journals:
D. Codetta-Raiteri, L. Portinale
"Decision Networks for Security Risk Assessment of Critical Infrastructures"
ACM Transactions on Internet Technology, vol. 18(3), ACM, March 2018

in books:

D. Cerotti, D. Codetta-Raiteri
"Mean field analysis for Continuous Time Bayesian Networks"
In "New Frontiers in Quantitative Methods in Informatics", Communications in Computer and Information Science, vol. 825, pages 156-169, Springer, May 2018

~ ~~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2017 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in journals:
D. Codetta-Raiteri, L. Portinale
"Generalized Continuous Time Bayesian Networks as a modelling and analysis formalism for dependable systems"
Reliability Engineering and System Safety, vol. 167, pages 639-651, Elsevier, November 2017
in conferences:
D. Cerotti, D. Codetta-Raiteri
"Mean field analysis for Continuous Time Bayesian Networks"
New Frontiers in Quantitative Methods in Informatics (InfQ), Venice, Italy, December 2017

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2015 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

book:
L. Portinale, D. Codetta Raiteri
"Modeling and Analysis of Dependable Systems: A Probabilistic Graphical Model Perspective"
World Scientific Publishing, July 2015

in journals:

D. Codetta-Raiteri, L. Portinale
"Dynamic Bayesian Networks for Fault Detection, Identification, and Recovery in Autonomous Spacecraft"
IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 45(1), pages 13-24, IEEE, January 2015

in proceedings:

D. Codetta-Raiteri
"Applying Generalized Continuous Time Bayesian Networks to a reliability case study"
International Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS), IFAC-PapersOnLine, vol. 48(21), pages 676-681, Elsevier, Paris, France, September 2015

D. Codetta-Raiteri, L. Portinale
"Modeling and analysis of dependable systems through Generalized Continuous Time Bayesian Networks"
Annual Reliability and Maintainability Symposium (RAMS), pages 45-51, IEEE, Palm Harbor, USA, January 2015

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2014 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in journals:
M. Beccuti, G. Franceschinis, D. Codetta-Raiteri, S. Haddad
"Computing Optimal Repair Strategies by means of NdRFT Modelling and Analysis"
The Computer Journal, vol. 57(12), pages 1870-1892, Oxford University Press, December 2014

D. Codetta-Raiteri, L. Portinale
"Approaching dynamic reliability with predictive and diagnostic purposes by exploiting dynamic Bayesian networks"
Journal of Risk and Reliability, vol. 228(5), pages 488-503, SAGE, October 2014

in proceedings:

D. Codetta-Raiteri, L. Portinale, R. Terruggia
International Carnahan Conference on Security Technology (ICCST), pages 432-437, IEEE, Rome, Italy, October 2014

D. Codetta-Raiteri, L. Portinale, R. Terruggia
International Conference of the Florida Artificial Intelligence Research Society (FLAIRS), pages 24-27, AAAI, Pensacola Beach, USA, May 2014

L. Portinale, D. Codetta-Raiteri, R. Terruggia
"Selecting Failure Countermeasures through Decision Network Analysis"
Annual Reliability and Maintainability Symposium (RAMS), pages 332-338, IEEE, Colorado Springs, USA, January 2014

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2013 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in books:

 in proceedings:
D. Codetta-Raiteri, L. Portinale
"A GSPN based tool to inference Generalized Continuous Time Bayesian Networks"
International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), ICST, Turin, Italy, December 2013

D. Codetta-Raiteri
"Generalized Fault Trees: from reliability to security"
International Workshop on Quantitative Aspects in Security Assurance (QASA), Egham, UK, September 2013

D. Codetta-Raiteri
"A preliminary application of Generalized Fault Trees to security"
International Conference on Security and Cryptography (SECRYPT), pages 609-614, SciTePress, Reykjavik, Iceland, July 2013

D. Codetta-Raiteri, L. Portinale
"Predictive and diagnostic analysis of an holdup tank by means of Dynamic Bayesian Networks"
Advances in Risk and Reliability Technology Symposium (AR2TS), pages 296-307, Loughborough, UK, May 2013

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2012 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in journals:

D. Codetta-Raiteri, A. Bobbio, S. Montani, L. Portinale
"A dynamic Bayesian network based framework to evaluate cascading effects in a power grid"
Engineering Applications of Artificial Intelligence, vol. 25(4), pages 683-697, Elsevier, June 2012

D. Codetta-Raiteri, L. Portinale, S. Di Nolfo, A. Guiotto
"ARPHA: a software prototype for fault detection, identification and recovery in autonomous spacecrafts"
Acta Futura, vol. 5(15), pages 99-110, ESA, January 2012

in proceedings:

D. Codetta-Raiteri, L. Portinale, S. Di Nolfo, A. Guiotto, Y. Yushtein
"A unified modelling and operational framework for Fault Detection, Identification and Recovery in autonomous spacecrafts"
Workshop on Research and Use of Multiformalism Modeling Methods (WRUMMM), pages 24-31, London, UK, September 2012

D. Codetta-Raiteri, L. Portinale, A. Guiotto, Y. Yushtein
"Evaluation of anomaly and failure scenarios involving an exploration rover: a Bayesian network approach"
International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS), ESA, Turin, Italy, September 2012

A. Guiotto, L. Portinale, D. Codetta-Raiteri, Y. Yushtein
"ARPHA: an innovative on-board FDIR reasoning engine for autonomous systems"
Data Systems in Aerospace (DASIA), ESA, Dubrovnik, Croatia, May 2012

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2011 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in journals:

D. Codetta-Raiteri
"Integrating several formalisms in order to increase Fault Trees' modeling power"
Reliability Engineering and System Safety, vol. 96(5), pages 534-544, Elsevier, May 2011

in proceedings:

L. Portinale, D. Codetta-Raiteri
"Using Dynamic Decision Networks and Extended Fault Trees for Autonomous FDIR"
International Conference on Tools with Artificial Intelligence (ICTAI), pages 480-484, IEEE Computer Society, Boca Raton, USA, November 2011

D. Codetta-Raiteri
"Modelling and simulating a benchmark on dynamic reliability as a Stochastic Activity Network"
European Modelling and Simulation Symposium (EMSS), pages 545-554, Rome, Italy, September 2011

L. Portinale, D. Codetta-Raiteri
"ARPHA: an FDIR architecture for autonomous spacecrafts based on Dynamic Probabilitstic Graphical Models"
Workshop on AI in Space, ESA, Barcelona, Spain, July 2011

D. Codetta-Raiteri, R. Nai
"Representing domains and scenarios by means of model replication and composition"
Advances in Risk and Reliability Technology Symposium (AR2TS), pages 261-274, Stratford upon Avon, UK, April 2011

technical reports:

D. Codetta-Raiteri
"SAN models of a benchmark on dynamic reliability"
TR-INF-2011-12-03-UNIPMN, Dip. di Informatica, Univ. del Piemonte Orientale, December 2011

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2010 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in journals:

D. Codetta-Raiteri, R. Nai
"Evaluation of communication scenarios inside the Electrical Power System"
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"
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"
European Workshop on Probabilistic Graphical Models (PGM), pages 105-112, Helsinki, Finland, September 2010
in conferences:

A. Bobbio, S. Montani, L. Portinale, D. Codetta-Raiteri, S. Di Nolfo, M. Varesio
"The RADYBAN Tool: Reliability Analysis with DYnamic BAyesian Networks"
Informatica Quantitativa (Inf-Q), Pisa, Italy, July 2010

technical reports:

D. Codetta-Raiteri, L. Portinale
"ARPHA: an FDIR architecture for Autonomous Spacecrafts based on Dynamic Probabilistic Graphical Models"
TR-INF-2010-12-04-UNIPMN, Dip. di Informatica, Univ. del Piemonte Orientale, December 2010

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2009 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in proceedings:

M. Beccuti, D. Codetta-Raiteri, G. Franceschinis
"Multiple abstraction levels in performance analysis of WSN monitoring systems"
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"
Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR), pages 12-17, Pasadena, USA, July 2009

M. Beccuti, G. Franceschinis, D. Codetta-Raiteri, S. Haddad
"Parametric NdRFT for the derivation of optimal repair strategies"
International Conference on Dependable Systems and Networks (DSN), pages 399-408, IEEE Computer Society, Estoril, Portugal, June 2009

A. Bobbio, D. Codetta-Raiteri, S. Montani, L. Portinale
"Modeling Cascading Failure Propagation through Dynamic Bayesian Networks"
Workshop on Dependable Control of Discrete Systems (DCDS), IFAC Proceedings Volumes, vol. 42(5), pages 239-244, Elsevier, Bari, Italy, June 2009

technical reports:

D. Codetta-Raiteri, R. Nai
"Simulating the communication of commands and signals in a distribution grid"
TR-INF-2009-12-08-UNIPMN, Dip. di Informatica, Univ. del Piemonte Orientale, December 2009

D. Codetta-Raiteri, R. Nai
"SAN models of communication scenarios inside the Electrical Power System"
TR-INF-2009-07-05-UNIPMN, Dip. di Informatica, Univ. del Piemonte Orientale, July 2009

L. Portinale, D. Codetta-Raiteri
"A GSPN semantics for Continuous Time Bayesian Networks with Immediate Nodes"
TR-INF-2009-03-03-UNIPMN, Dip. di Informatica, Univ. del Piemonte Orientale, March 2009

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2008 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in 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"
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"
In "Critical Information Infrastructures Security", Lecture Notes in Computer Science, vol. 5141, pages 106-123, Springer, November 2008

A. Bobbio, D. Codetta-Raiteri, S. Montani, L. Portinale
"Reliability Analysis of Systems with Dynamic Dependencies"
In "Bayesian Networks: A Practical Guide to Applications", pages 225-238, John Wiley & Sons, March 2008

in proceedings:

M. Beccuti, D. Codetta-Raiteri, G. Franceschinis, S. Haddad
"Non deterministic Repairable Fault Trees for computing optimal repair strategy"
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"
D11, CRUTIAL project, January 2008

technical reports:

M. Beccuti, G. Franceschinis, D. Codetta-Raiteri, S. Haddad
"Non deterministic Repairable Fault Trees for computing optimal repair strategy"
TR-INF-2008-07-05-UNIPMN, Dip. di Informatica, Univ. del Piemonte Orientale, 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"
International Workshop  on Critical Information Infrastructures Security (CRITIS), pages 109-124, Benalmadena, Spain, October 2007

M. Beccuti, D. Codetta-Raiteri, G. Franceschinis, S. Haddad
"A framework to design and solve Markov Decision Well-formed Net models"
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"
Bayesian Modeling Applications Workshop, CEUR Workshop Proceedings, vol. 268, 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"
D3, CRUTIAL project, 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"
D2, CRUTIAL project, January 2007

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2006 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in 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"
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"
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"
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"
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"
TR-INF-2006-01-01-UNIPMN, Dip. di Informatica, Univ. del Piemonte Orientale, January 2006

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2005 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in journals:

D. Codetta-Raiteri
"The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation"
Electronic Notes in Theoretical Computer Science, vol. 127(2), pages 45-60, Elsevier, March 2005

in books:

A. Bobbio, D. Codetta-Raiteri, M. De Pierro, G. Franceschinis
"System Level Dependability Analysis"
In "System-level Test and Validation of Hardware/Software Systems", Springer Series in Advanced Microelectronics, vol. 17, pages 151-174, Springer, December 2005

in proceedings:

D. Codetta-Raiteri, A. Bobbio
"Modelling dynamic reliability via Fluid Petri Nets"
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"
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"
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"
International Conference on Quantitative Evaluation of Systems (QEST), pages 257-258, IEEE Computer Society, Turin, Italy, September 2005

D. Codetta-Raiteri, A. Bobbio
"Solving Dynamic Reliability Problems by means of Ordinary and Fluid Stochastic Petri Nets"
European Safety and Reliability Conference (ESREL), in "Advances in Safety and Reliability", vol. 1, pages 381-389, Taylor & Francis, Gdansk, Poland, June 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"
TR-INF-2005-08-02-UNIPMN, Dip. di Informatica, Univ. del Piemonte Orientale, August 2005

Ph.D. thesis:

D. Codetta-Raiteri
"Extended Fault Trees Analysis supported by Stochastic Petri Nets"
Dip. di Informatica, Univ. di Torino, November 2005

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2004 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

in proceedings:

D. Codetta-Raiteri
"Parametric Dynamic Fault Tree and its Solution through Modularization"
International Conference on Dependable Systems and Networks (DSN), Supplemental Volume, 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"
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"
Annual Reliability and Maintainability Symposium (RAMS), pages 459-465, IEEE, Los Angeles, USA, January 2004

in conferences:

A. Bobbio, D. Codetta-Raiteri
"A Benchmark on Dynamic Reliability: An approach based on Generalized Stochastic Petri Nets"
Affidabilità Dinamica: risultati ed esperienza di un benchmark, 3ASI, Milan, Italy, December 2004

D. Codetta-Raiteri
"The conversion of Parametric Dynamic Fault Trees to Stochastic Well-formed nets as a case of graph transformation"
Workshop on Petri Nets and Graph Transformations (PNGT), Rome, Italy, October 2004

technical reports:

D. Codetta-Raiteri
"Making CORBA fault-tolerant"
TR-INF-2004-04-07-UNIPMN, Dip. di Informatica, Univ. del Piemonte Orientale, April 2004

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2003 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

technical reports:

D. Codetta-Raiteri
"Development of a Dynamic Fault Tree solver based on Colored Petri Nets and graphically interfaced with DrawNET"
TR-INF-2003-10-06-UNIPMN, Dip. di Informatica, Univ. del Piemonte Orientale,  October 2003

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2002 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

technical reports:

D. Codetta-Raiteri, A. Bobbio
"drawnet2sharpe & sharpe2astra - User's manual"
TR-INF-2002-10-06-UNIPMN, Dip. di Informatica, Univ. del Piemonte Orientale, October 2002

M.Sc. thesis:

D. Codetta-Raiteri
"Sviluppo di formalismi per Alberi di guasto con nodi dipendenti e riparabili"
Fac. di Scienze M.F.N., Univ. del Piemonte Orientale, July 2002