Publications
Publications found: 404
- A Provenly Correct Compilation of Functional Languages into Scripting Languages
Paola Giannini, Albert Shaqiri
Published on 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
Published on Proc. IEEE Intern. Carnhan Conference on Security Technology (ICCST 2014), Ed. IEEE, 2014, Pages: 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é
Published on 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
Published on 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
Published on Journal of Risk and Reliability, vol. 228(5), Ed. SAGE, 2014, Pages: 488-503 - Decision Networks for modeling and analysis of attack/defense scenarios in critical infrastructures
Daniele Codetta Raiteri, Luigi Portinale, Roberta Terruggia
Published on Proceedings of the International Conference of the Florida Artificial Intelligence Research Society, Ed. AAAI, 2014, Pages: 24-27 - Computing Optimal Repair Strategies by means of NdRFT Modelling and Analysis
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
Published on The Computer Journal, vol. 57(12), Ed. Oxford University Press, 2014, Pages: 1870-1892 - Selecting Failure Countermeasures through Decision Network Analysis
Daniele Codetta Raiteri, Luigi Portinale, Roberta Terruggia
Published on Proceedings of the Annual Reliability and Maintainability Symposium, Ed. IEEE, 2014, Pages: 332-338 - Supporting Flexible, Efficient, and User-Interpretable Retrieval of Similar Time Series
Alessio Bottrighi, Giorgio Leonardi, Stefania Montani, Luigi Portinale, Paolo Terenziani
Published on IEEE Transactions on Knowledge and Data Engineering, Ed. IEEE Computer Society, 2013, Pages: 677-689 - Towards a second generation of computer interpretable guidelines,
Alessio Bottrighi, Giuliana Franceschinis, Laura Giordano, Stefania Montani, Luigi Portinale, Paolo Terenziani
Published on Proc. 2nd Int. Conference on Data Management, Technologies and Applications (DATA 2013),, 2013
Pages: « < 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 41 > »