Improving the analysis of dependable systems by mapping fault trees into Bayesian networks A Bobbio, L Portinale, M Minichino, E Ciancamerla Reliability Engineering & System Safety 71 (3), 249-260, 2001 | 1274 | 2001 |
Reliability and availability engineering: modeling, analysis, and applications KS Trivedi, A Bobbio Cambridge University Press, 2017 | 427 | 2017 |
The effect of execution policies on the semantics and analysis of stochastic Petri nets MA Marsan, G Balbo, A Bobbio, G Chiola, G Conte, A Cumani IEEE Transactions on Software engineering 15 (7), 832-846, 1989 | 375 | 1989 |
An aggregation technique for the transient analysis of stiff Markov chains Bobbio, Trivedi IEEE Transactions on computers 100 (9), 803-814, 1986 | 281 | 1986 |
Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks S Montani, L Portinale, A Bobbio, D Codetta-Raiteri Reliability Engineering & System Safety 93 (7), 922-932, 2008 | 218 | 2008 |
Matching three moments with minimal acyclic phase type distributions A Bobbio, A Horváth, M Telek Stochastic models 21 (2-3), 303-326, 2005 | 215 | 2005 |
Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events G Merle, JM Roussel, JJ Lesage, A Bobbio IEEE Transactions on Reliability 59 (1), 250-261, 2009 | 169 | 2009 |
Acyclic discrete phase type distributions: properties and a parameter estimation algorithm A Bobbio, A Horváth, M Scarpa, M Telek Performance evaluation 54 (1), 1-32, 2003 | 164 | 2003 |
On Petri nets with stochastic timing M Ajmone Marsan, G Balbo, A Bobbio, G Chiola, G Conte, A Cumani Timed Petri Nets, 80-87, 1985 | 160 | 1985 |
A benchmark for PH estimation algorithms: results for Acyclic-PH A Bobbio, M Telek Stochastic models 10 (3), 661-677, 1994 | 145 | 1994 |
Parametric fault trees with dynamic gates and repair boxes A Bobbio, DC Raiteri Annual Symposium Reliability and Maintainability, 2004-RAMS, 459-465, 2004 | 131 | 2004 |
ML estimation of the parameters of a PH distribution in triangular canonical form A Bobbio, A Cumani Computer performance evaluation 22, 33-46, 1992 | 129 | 1992 |
Recent developments in non-Markovian stochastic Petri nets A Bobbio, A Puliafito, M Telek, KS Trivedi Journal of Circuits, Systems, and Computers 8 (01), 119-158, 1998 | 127 | 1998 |
System modelling with Petri nets A Bobbio Systems Reliability Assessment: Proceedings of the Ispra Course held at the …, 1990 | 123 | 1990 |
Petri nets in performance analysis: An introduction M Ajmone Marsan, A Bobbio, S Donatelli Advanced Course on Petri Nets, 211-256, 1996 | 116 | 1996 |
Fine grained software degradation models for optimal rejuvenation policies A Bobbio, M Sereno, C Anglano Performance Evaluation 46 (1), 45-62, 2001 | 111 | 2001 |
Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis M Gribaudo, M Sereno, A Horváth, A Bobbio Discrete Event Dynamic Systems 11, 97-117, 2001 | 110 | 2001 |
Analysis of large scale interacting systems by mean field method A Bobbio, M Gribaudo, M Telek 2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008 | 103 | 2008 |
Markov regenerative SPN with non-overlapping activity cycles A Bobbio, N Telek Proceedings of 1995 IEEE International Computer Performance and …, 1995 | 97 | 1995 |
Parametric fault tree for the dependability analysis of redundant systems and its high-level Petri net semantics A Bobbio, G Franceschinis, R Gaeta, L Portinale IEEE Transactions on Software Engineering 29 (3), 270-287, 2003 | 95 | 2003 |