| Anomaly intrusion detection using one class SVM Y Wang, J Wong, A Miner Proceedings from the Fifth Annual IEEE SMC Information Assurance Workshop …, 2004 | 239 | 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 | 233 | 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 | 191 | 1999 |
| Storage alternatives for large structured state spaces G Ciardo, AS Miner International Conference on Modelling Techniques and Tools for Computer …, 1997 | 112 | 1997 |
| 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 | 111 | 2006 |
| SMART: Simulation and Markovian analyzer for reliability and timing G Ciardo, AS Miner Computer Performance and Dependability Symposium, International, 60-60, 1996 | 85 | 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 | 80 | 2004 |
| Efficient solution of GSPNs using canonical matrix diagrams AS Miner Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001 | 70 | 2001 |
| 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 |
| 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 | 68 | 2000 |
| Exploiting interleaving semantics in symbolic state-space generation G Ciardo, G Lüttgen, AS Miner Formal Methods in System Design 31, 63-100, 2007 | 58 | 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 | 54 | 2004 |
| Presentation of the 9th edition of the model checking contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 49 | 2019 |
| GreatSPN enhanced with decision diagram data structures J Babar, M Beccuti, S Donatelli, A Miner Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010 | 48 | 2010 |
| Meddly: Multi-terminal and edge-valued decision diagram library J Babar, A Miner 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 47 | 2010 |
| SMART: Stochastic model analyzer for reliability and timing G Ciardo, RL Jones, AS Miner, R Siminiceanu Tools of Aachen, 29-34, 2001 | 43 | 2001 |
| Saturation for a general class of models AS Miner IEEE Transactions on Software Engineering 32 (8), 559-570, 2006 | 37 | 2006 |
| Implicit GSPN reachability set generation using decision diagrams AS Miner Performance Evaluation 56 (1-4), 145-165, 2004 | 33 | 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 | 29 | 2009 |
| Computing response time distributions using stochastic Petri nets and matrix diagrams. AS Miner PNPM, 10-19, 2003 | 25 | 2003 |
Gianfranco CiardoIowa State University在 iastate.edu 的电子邮件经过验证
