Publications
Publications found: 398
- 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
- A GSPN based tool to inference Generalized Continuous Time Bayesian Networks
Daniele Codetta Raiteri, Luigi Portinale
Published on Proceedings of the International Conference on Performance Evaluation Methodologies and Tools, Ed. ICST, 2013
- A Unified Modelling and Operational Framework for Fault Detection, Identification, and Recovery in Autonomous Spacecrafts
Andrea Bobbio, Daniele Codetta Raiteri, Andrea Guiotto, Luigi Portinale, Yuri Yushtein
Published on Theory and Application of Multi-Formalism Modeling, Ed. IGI-Global, 2013, Pages: 239-258
- A Petri Net-Based Tool for the Analysis of Generalized Continuous Time Bayesian Networks
Daniele Codetta Raiteri, Luigi Portinale
Published on Theory and Application of Multi-Formalism Modeling, Ed. IGI-Global, 2013, Pages: 118-143
- Generalized Fault Trees: from reliability to security
Daniele Codetta Raiteri
Published on Proceedings of the International Workshop on Quantitative Aspects in Security Assurance, 2013
- A preliminary application of Generalized Fault Trees to security
Daniele Codetta Raiteri
Published on Proceedings of the International Conference on Security and Cryptography, Ed. SCITEPRESS, 2013, Pages: 609-614
- Minimum pattern length for short spaced seeds based on linear rulers (revised)
Lavinia Egidi, Giovanni Manzini
Published on TR-INF-2013-07-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 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 > »
