Publications
Publications found: 404
- 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 - Predictive and diagnostic analysis of an holdup tank by means of Dynamic Bayesian Networks
Daniele Codetta Raiteri, Luigi Portinale
Published on Proceedings of the Advances in Risk and Reliability Technology Symposium, Ed. Loughborough University, 2013, Pages: 296-307 - Efficient simulation of stochastic well-formed nets through symmetry exploitation
Marco Beccuti, Giuliana Franceschinis
Published on Winter Simulation Conference, 2012, Pages: 296 - Transactions on Petri Nets and Other Models of Concurrency VI
Kurt Jensen, Wil M. P. Van Der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen
Published on T. Petri Nets and Other Models of Concurrency Vol. 7400, Ed. Springer, 2012 - A new symbolic approach for network reliability analysis
Marco Beccuti, Andrea Bobbio, Giuliana Franceschinis, Roberta Terruggia
Published on DSN, 2012, Pages: 1-12
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 > »