Pubblicazioni
Pubblicazioni trovate: 393
- A dynamic simulation model for comparing kidney exchange policies
Marco Beccuti, Giuliana Franceschinis, Silvia Villa
Apparso su TR-INF-2017-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2017
- Tracing sharing in an imperative pure calculus
Paola Giannini, Marco Servetto, Elena Zucca
Apparso su TR-INF-2016-12-04-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2016, Pagine: 26
- SUPPORTING DATA COMMUNICATION AND PATIENT ASSESSMENT DURING EMERGENCY TRANSPORTATION
Massimo Canonico, Stefania Montani, Manuel Striani
Apparso su TR-INF-2016-09-03-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2016
- TECHNICAL NOTE TO Forensic Analysis of the ChatSecure Instant Messaging Application on Android Smartphones (see below for citation details)
Cosimo Anglano, Massimo Canonico, Marco Guazzone
Apparso su TR-INF-2016-09-02-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2016
- 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
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 40 > »
