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
~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 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
"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:"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
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
"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:
D. Codetta-Raiteri
"Editorial for the Special Issue on “Bayesian Networks: Inference Algorithms, Applications, and Software Tools”"
Algorithms, vol. 14(5), MDPI, April 2021
D. Codetta-Raiteri
"Editorial for the Special Issue on “Fault Trees and Attack Trees: Extensions, Solution Methods, and Applications”"
Information, vol. 12(4), MDPI, April 2021
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
~
~ ~ ~ ~ ~ ~
~ ~ ~ ~ ~ ~
~ ~ ~ ~ ~"Evidence-Based Analysis of Cyber Attacks to Security Monitored Distributed Energy Resources"
Applied Sciences, vol. 10(14), MDPI, July 2020
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""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
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
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
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
"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
"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
"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
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
"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
"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
~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~Annual Reliability and Maintainability Symposium (RAMS), pages 45-51, IEEE, Palm Harbor, USA, January 2015
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
"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
"Quantitative
evaluation of attack/defense scenarios through
Decision Network modelling and analysis"
International Carnahan Conference on Security
Technology (ICCST),
pages 432-437, IEEE, Rome, Italy, October 2014D. Codetta-Raiteri, L. Portinale, R. Terruggia
"Decision
Networks for modeling and analysis of
attack/defense scenarios in critical
infrastructures"
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
"Selecting Failure Countermeasures through Decision Network Analysis"
Annual Reliability and Maintainability Symposium (RAMS), pages 332-338, IEEE, Colorado Springs, USA, January 2014
in books:
A. Bobbio, D. Codetta-Raiteri, L.
Portinale, A. Guiotto, Y. Yushtein
"A Unified Modelling and Operational Framework for Fault Detection, Identification, and Recovery in Autonomous Spacecrafts"
In "Theory and Application of Multi-Formalism Modeling", pages 239-258, IGI-Global, October 2013
D. Codetta-Raiteri, L. Portinale
"A Petri Net-Based Tool for the Analysis of Generalized Continuous Time Bayesian Networks"
In "Theory and Application of Multi-Formalism Modeling", pages 118-143, IGI-Global, October 2013
"A Unified Modelling and Operational Framework for Fault Detection, Identification, and Recovery in Autonomous Spacecrafts"
In "Theory and Application of Multi-Formalism Modeling", pages 239-258, IGI-Global, October 2013
D. Codetta-Raiteri, L. Portinale
"A Petri Net-Based Tool for the Analysis of Generalized Continuous Time Bayesian Networks"
In "Theory and Application of Multi-Formalism Modeling", pages 118-143, IGI-Global, October 2013
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
"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
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
"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
"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
"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
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
"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
"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
"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:
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
"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
"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
"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
"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:
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
"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
"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
"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:
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
"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
"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
"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
"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
"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
"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:
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
"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
"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
"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
"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
"Analysis of new control applications"
D2, CRUTIAL project, January 2007
~
~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2006
~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
in journals:
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
"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
"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
"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:
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
"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
"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
"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
"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
"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
"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
"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
"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
"Extended Fault Trees Analysis supported by Stochastic Petri Nets"
Dip. di Informatica, Univ. di Torino, November 2005
~
~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2004
~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
in proceedings:
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
"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
"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
"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
"Making CORBA fault-tolerant"
TR-INF-2004-04-07-UNIPMN, Dip. di Informatica, Univ. del Piemonte Orientale, April 2004
~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 2003
~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
technical reports:
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
"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:
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
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
"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