| Anomaly intrusion detection using one class SVM Y Wang, J Wong, A Miner Proceedings from the Fifth Annual IEEE SMC Information Assurance Workshop …, 2004 | 262 | 2004 |
| 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 | 236 | 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 | 183 | 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 | 109 | 2006 |
| 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 | 84 | 1996 |
| Symbolic representations and analysis of large probabilistic systems A Miner, D Parker Validation of Stochastic Systems: A Guide to Current Research, 296-338, 2004 | 81 | 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 | 69 | 2003 |
| Efficient solution of GSPNs using canonical matrix diagrams AS Miner Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001 | 68 | 2001 |
| 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 | 67 | 2000 |
| 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 | 58 | 2007 |
| 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 | 55 | 2019 |
| 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 | 52 | 2010 |
| Meddly: Multi-terminal and edge-valued decision diagram library J Babar, A Miner 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 51 | 2010 |
| SMART: Stochastic model analyzer for reliability and timing G Ciardo, RL Jones, AS Miner, R Siminiceanu Tools of Aachen, 29-34, 2001 | 44 | 2001 |
| Saturation for a general class of models AS Miner IEEE Transactions on Software Engineering 32 (8), 559-570, 2006 | 39 | 2006 |
| Implicit GSPN reachability set generation using decision diagrams AS Miner Performance Evaluation 56 (1-4), 145-165, 2004 | 34 | 2004 |
| Advanced features in SMART: the stochastic model checking analyzer for reliability and timing G Ciardo, AS Miner, M Wan ACM SIGMETRICS Performance Evaluation Review 36 (4), 58-63, 2009 | 33 | 2009 |
| Computing response time distributions using stochastic Petri nets and matrix diagrams. AS Miner PNPM, 10-19, 2003 | 25 | 2003 |
Gianfranco CiardoIowa State UniversityVerified email at iastate.edu
