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
2251999
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
1831999
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
165*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
1452004
Storage alternatives for large structured state spaces
G Ciardo, AS Miner
International Conference on Modelling Techniques and Tools for Computer …, 1997
1081997
SMART: Simulation and Markovian analyzer for reliability and timing
G Ciardo, AS Miner
Computer Performance and Dependability Symposium, International, 60-60, 1996
791996
Symbolic representations and analysis of large probabilistic systems
A Miner, D Parker
Validation of Stochastic Systems, 296-338, 2004
742004
Symbolic representations and analysis of large probabilistic systems
A Miner, D Parker
Validation of Stochastic Systems, 296-338, 2004
742004
Logical and stochastic modeling with SMART
G Ciardo, RL Jones, AS Miner, R Siminiceanu
International Conference on Modelling Techniques and Tools for Computer …, 2003
672003
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
662000
Efficient solution of GSPNs using canonical matrix diagrams
AS Miner
Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001
632001
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
542007
Smart: The stochastic model checking analyzer for reliability and timing
G Ciardo, AS Miner
First International Conference on the Quantitative Evaluation of Systems …, 2004
512004
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
402001
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
382010
Saturation for a general class of models
AS Miner
IEEE Transactions on Software Engineering 32 (8), 559-570, 2006
372006
Meddly: Multi-terminal and edge-valued decision diagram library
J Babar, A Miner
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
342010
Implicit GSPN reachability set generation using decision diagrams
AS Miner
Performance Evaluation 56 (1-4), 145-165, 2004
292004
Tri. nh, G., Wolf, K.: Complete Results for the 2016 Edition of the Model Checking Contest, June 2016
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, G Chiardo, A Hamez, ...
27
Computing response time distributions using stochastic Petri nets and matrix diagrams.
AS Miner
PNPM, 10-19, 2003
262003
The system can't perform the operation now. Try again later.
Articles 1–20