Follow
Andrew Miner
Title
Cited by
Cited by
Year
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
2291999
Anomaly intrusion detection using one class SVM
Y Wang, J Wong, A Miner
Proceedings from the Fifth Annual IEEE SMC Information Assurance Workshop …, 2004
2172004
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
1891999
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
178*2006
Storage alternatives for large structured state spaces
G Ciardo, AS Miner
International Conference on Modelling Techniques and Tools for Computer …, 1997
1141997
SMART: Simulation and Markovian analyzer for reliability and timing
G Ciardo, AS Miner
Computer Performance and Dependability Symposium, International, 60-60, 1996
831996
Symbolic representations and analysis of large probabilistic systems
A Miner, D Parker
Validation of Stochastic Systems: A Guide to Current Research, 296-338, 2004
792004
Symbolic representations and analysis of large probabilistic systems
A Miner, D Parker
Validation of Stochastic Systems: A Guide to Current Research, 296-338, 2004
792004
Logical and Stochastic Modeling with Smart
G Ciardo, RL Jones, AS Miner, R Siminiceanu
International Conference on Modelling Techniques and Tools for Computer …, 2003
692003
Efficient solution of GSPNs using canonical matrix diagrams
AS Miner
Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001
692001
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
682000
Smart: The stochastic model checking analyzer for reliability and timing
G Ciardo, AS Miner
First International Conference on the Quantitative Evaluation of Systems …, 2004
592004
Exploiting interleaving semantics in symbolic state-space generation
G Ciardo, G Lüttgen, AS Miner
Formal Methods in System Design 31, 63-100, 2007
582007
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
422010
SMART: Stochastic model analyzer for reliability and timing
G Ciardo, RL Jones, AS Miner, R Siminiceanu
Tools of Aachen, 29-34, 2001
422001
Meddly: Multi-terminal and edge-valued decision diagram library
J Babar, A Miner
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
412010
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
392019
Saturation for a general class of models
AS Miner
IEEE Transactions on Software Engineering 32 (8), 559-570, 2006
372006
Implicit GSPN reachability set generation using decision diagrams
AS Miner
Performance Evaluation 56 (1-4), 145-165, 2004
312004
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
282009
The system can't perform the operation now. Try again later.
Articles 1–20