| Efficient reachability set generation and storage using decision diagrams AS Miner, G Ciardo International conference on application and theory of Petri nets, 6-25, 1999 | 224 | 1999 |
| A data structure for the efficient Kronecker solution of GSPNs G Ciardo, AS Miner Proceedings 8th International Workshop on Petri Nets and Performance Models …, 1999 | 182 | 1999 |
| Logic and stochastic modeling with S m A r T G Ciardo, RL Jones III, AS Miner, RI Siminiceanu Performance Evaluation 63 (6), 578-608, 2006 | 168* | 2006 |
| Anomaly intrusion detection using one class SVM Y Wang, J Wong, A Miner Proceedings from the Fifth Annual IEEE SMC Information Assurance Workshop …, 2004 | 158 | 2004 |
| Storage alternatives for large structured state spaces G Ciardo, AS Miner International Conference on Modelling Techniques and Tools for Computer …, 1997 | 107 | 1997 |
| SMART: Simulation and Markovian analyzer for reliability and timing G Ciardo, AS Miner Computer Performance and Dependability Symposium, International, 60-60, 1996 | 79 | 1996 |
| Symbolic representations and analysis of large probabilistic systems A Miner, D Parker Validation of Stochastic Systems, 296-338, 2004 | 75 | 2004 |
| Symbolic representations and analysis of large probabilistic systems A Miner, D Parker Validation of Stochastic Systems, 296-338, 2004 | 75 | 2004 |
| Logical and stochastic modeling with SMART G Ciardo, RL Jones, AS Miner, R Siminiceanu International Conference on Modelling Techniques and Tools for Computer …, 2003 | 67 | 2003 |
| Using the exact state space of a Markov model to compute approximate stationary measures AS Miner, G Ciardo, S Donatelli Proceedings of the 2000 ACM SIGMETRICS international conference on …, 2000 | 66 | 2000 |
| Efficient solution of GSPNs using canonical matrix diagrams AS Miner Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001 | 65 | 2001 |
| Exploiting interleaving semantics in symbolic state-space generation G Ciardo, G Lüttgen, AS Miner Formal Methods in System Design 31 (1), 63-100, 2007 | 56 | 2007 |
| Smart: The stochastic model checking analyzer for reliability and timing G Ciardo, AS Miner First International Conference on the Quantitative Evaluation of Systems …, 2004 | 55 | 2004 |
| GreatSPN enhanced with decision diagram data structures J Babar, M Beccuti, S Donatelli, A Miner International Conference on Applications and Theory of Petri Nets, 308-317, 2010 | 40 | 2010 |
| SMART-Stochastic model analyzer for reliability and timing G Ciardo, RL Jones III, AS Miner, R Siminiceanu In Tools of Aachen 2001 Int. Multiconference on Measurement, Modelling and …, 2001 | 39 | 2001 |
| Saturation for a general class of models AS Miner IEEE Transactions on Software Engineering 32 (8), 559-570, 2006 | 37 | 2006 |
| Meddly: Multi-terminal and edge-valued decision diagram library J Babar, A Miner 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 36 | 2010 |
| Implicit GSPN reachability set generation using decision diagrams AS Miner Performance Evaluation 56 (1-4), 145-165, 2004 | 30 | 2004 |
| Presentation of the 9th edition of the model checking contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 28 | 2019 |
| Computing response time distributions using stochastic Petri nets and matrix diagrams. AS Miner PNPM, 10-19, 2003 | 26 | 2003 |
