Pubblicazioni
Pubblicazioni trovate: 389
- Reasoning in a rational extension of SROEL
Laura Giordano, Daniele Theseider Dupré
Apparso su TR-INF-2016-05-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2016
- Applying Generalized Continuous Time Bayesian Networks to a reliability case study
Daniele Codetta Raiteri
Apparso su Proceedings of the International Symposium on Fault Detection, Supervision and Safety of Technical Processes, IFAC-PapersOnLine, vol. 48(21), Ed. Elsevier, 2015, Pagine: 676-681
- Modeling and Analysis of Dependable Systems: A Probabilistic Graphical Model Perspective
Daniele Codetta Raiteri, Luigi Portinale
Ed. World Scientific Publishing, 2015
- Modeling and Analysis of Dependable Systems through Generalized Continuous Time Bayesian Networks
Daniele Codetta Raiteri, Luigi Portinale
Apparso su Proc. 61th Annual Reliability and Maintainability Symposium (RAMS2015), Ed. IEEE, 2015, Pagine: 45-51
- Dynamic Bayesian Networks for Fault Detection, Identification, and Recovery in Autonomous Spacecraft
Daniele Codetta Raiteri, Luigi Portinale
Apparso su IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 45(1), Ed. IEEE, 2015, Pagine: 13-24
- A Provenly Correct Compilation of Functional Languages into Scripting Languages
Paola Giannini, Albert Shaqiri
Apparso su TR-INF-2014-12-02-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2014
- Quantitative Evaluation of Attack/Defense Scenarios through Decision Network Modelling and Analysis
Daniele Codetta Raiteri, Luigi Portinale, Roberta Terruggia
Apparso su Proc. IEEE Intern. Carnhan Conference on Security Technology (ICCST 2014), Ed. IEEE, 2014, Pagine: 432-437
- Advances in the GINSENG Project (Exteded Abstract)
Alessio Bottrighi, Giuliana Franceschinis, Laura Giordano, Stefania Montani, Luca Piovesan, Luigi Portinale, Stefania Rubrichi, Salvatore Spinella, Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré
Apparso su Proc. IEEE Intern. Conference on Healthcare Informatics (ICHI 2014), Ed. IEEE, 2014
- An Intelligent Swarm of Markovian Agents
Andrea Bobbio, Dario Bruneo, Davide Cerotti, Marco Gribaudo, Marco Scarpa
Apparso su TR-INF-2014-06-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2014
- Approaching dynamic reliability with predictive and diagnostic purposes by exploiting dynamic Bayesian networks
Daniele Codetta Raiteri, Luigi Portinale
Apparso su Journal of Risk and Reliability, vol. 228(5), Ed. SAGE, 2014, Pagine: 488-503
Pagine: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 > »
