☰

Andrew S. Miner, Ph.D.

Affiliations: 
2000 College of William and Mary, Williamsburg, VA 
Area:
Computer Science
Google:
"Andrew Miner"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Gianfranco Ciardo grad student 2000 William and Mary
 (Data structures for the analysis of large structured Markov models.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Jing Y, Miner AS. (2018) Computation tree measurement language (CTML) Formal Aspects of Computing. 30: 443-462
Wan M, Ciardo G, Miner AS. (2011) Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding Performance Evaluation. 68: 463-486
Miner AS, Jing Y. (2010) A formal language toward the unification of model checking and performance evaluation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6148: 130-144
Ciardo G, Lüttgen G, Miner AS. (2007) Exploiting interleaving semantics in symbolic state-space generation Formal Methods in System Design. 31: 63-100
Miner AS. (2007) Decision diagrams for the exact solution of Markov models Pamm. 7: 1080701-1080702
Miner AS. (2006) Saturation for a general class of models Ieee Transactions On Software Engineering. 32: 559-570
Ciardo G, Jones RL, Miner AS, et al. (2006) Logic and stochastic modeling with S m A r T Performance Evaluation. 63: 578-608
Ciardo G, Miner AS. (2004) SMART: The Stochastic model checking analyzer for reliability and timing Proceedings - First International Conference On the Quantitative Evaluation of Systems, Qest 2004. 338-339
Miner AS. (2004) Implicit GSPN reachability set generation using decision diagrams Performance Evaluation. 56: 145-165
Miner AS, Parker D. (2004) Symbolic Representations and Analysis of Large Probabilistic Systems Lecture Notes in Computer Science. 296-338
See more...