Pubblicazioni
Pubblicazioni trovate: 413
- 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
Apparso su Theory and Application of Multi-Formalism Modeling, Ed. IGI-Global, 2013, Pagine: 239-258 - A Petri Net-Based Tool for the Analysis of Generalized Continuous Time Bayesian Networks
Daniele Codetta Raiteri, Luigi Portinale
Apparso su Theory and Application of Multi-Formalism Modeling, Ed. IGI-Global, 2013, Pagine: 118-143 - Generalized Fault Trees: from reliability to security
Daniele Codetta Raiteri
Apparso su Proceedings of the International Workshop on Quantitative Aspects in Security Assurance, 2013 - A preliminary application of Generalized Fault Trees to security
Daniele Codetta Raiteri
Apparso su Proceedings of the International Conference on Security and Cryptography, Ed. SCITEPRESS, 2013, Pagine: 609-614 - Minimum pattern length for short spaced seeds based on linear rulers (revised)
Lavinia Egidi, Giovanni Manzini
Apparso su 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
Apparso su Proceedings of the Advances in Risk and Reliability Technology Symposium, Ed. Loughborough University, 2013, Pagine: 296-307 - Efficient simulation of stochastic well-formed nets through symmetry exploitation
Marco Beccuti, Giuliana Franceschinis
Apparso su Winter Simulation Conference, 2012, Pagine: 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
Apparso su 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
Apparso su DSN, 2012, Pagine: 1-12 - An intensional approach for periodic data in relational databases
Paolo Terenziani, Bela Stantic, Alessio Bottrighi, Abdul Sattar
Apparso su TR-INF-2012-12-04-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2012
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 41 42 > »
