Folgen
Andrew Miner
Andrew Miner
Computer Science, Iowa State University
Bestätigte E-Mail-Adresse bei iastate.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2241999
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
1821999
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
1582004
Storage alternatives for large structured state spaces
G Ciardo, AS Miner
International Conference on Modelling Techniques and Tools for Computer …, 1997
1071997
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
752004
Symbolic representations and analysis of large probabilistic systems
A Miner, D Parker
Validation of Stochastic Systems, 296-338, 2004
752004
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
652001
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
562007
Smart: The stochastic model checking analyzer for reliability and timing
G Ciardo, AS Miner
First International Conference on the Quantitative Evaluation of Systems …, 2004
552004
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
402010
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
392001
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
362010
Implicit GSPN reachability set generation using decision diagrams
AS Miner
Performance Evaluation 56 (1-4), 145-165, 2004
302004
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
282019
Computing response time distributions using stochastic Petri nets and matrix diagrams.
AS Miner
PNPM, 10-19, 2003
262003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20