The fluid stochastic Petri net simulator. - David M. Nicol; Andrew S. Miner (PNPM, 1995)

Storage Alternatives for Large Structured State Spaces. - Gianfranco Ciardo; Andrew S. Miner (Computer Performance Evaluation, 1997)

Efficient Reachability Set Generation and Storage Using Decision Diagrams. - Andrew S. Miner; Gianfranco Ciardo (ICATPN, 1999)

A data structure for the efficient Kronecker solution of GSPNs. - Gianfranco Ciardo; Andrew S. Miner (PNPM, 1999)

Using the exact state space of a Markov model to compute approximate stationary measures. - Andrew S. Miner; Gianfranco Ciardo; Susanna Donatelli (SIGMETRICS, 2000)

Efficient Solution of GSPNs using canonical Matrix Diagrams. - Andrew S. Miner (PNPM, 2001)

SMART: Stochastic Model-checking Analyzer for Reliability and Timing. - Gianfranco Ciardo; R. L. Jones III; Robert M. Marmorstein; Andrew S. Miner; Radu Siminiceanu (DSN, 2002)

Efficient State Space Generation of GSPNs using Decision Diagrams. - Andrew S. Miner (DSN, 2002)

Logical and Stochastic Modeling with SMART. - Gianfranco Ciardo; R. L. Jones III; Andrew S. Miner; Radu Siminiceanu (Computer Performance Evaluation / TOOLS, 2003)

Computing response time distributions using stochastic Petri nets and matrix diagrams. - Andrew S. Miner (PNPM, 2003)

Novel machine learning techniques for anomaly intrusion detection. - Yanxin Wang; Johnny Wang; Andrew S. Miner (AMCIS, 2004)

Improving Feature Selection in Anomaly Intrusion Detection Using Specifications. - Yanxin Wang; Andrew S. Miner; Johnny Wong 001; Prem Uppuluri (ICDCIT, 2004)

SMART: The Stochastic Model checking Analyzer for Reliability and Timing. - Gianfranco Ciardo; Andrew S. Miner (QEST, 2004)

Improving Efficiency of Implicit Markov Chain State Classification. - Andrew S. Miner; Shuxing Cheng (QEST, 2004)

Symbolic Representations and Analysis of Large Probabilistic Systems. - Andrew S. Miner; David Parker 001 (Validation of Stochastic Systems, 2004)

Implicit GSPN reachability set generation using decision diagrams. - Andrew S. Miner (Perform. Evaluation, 2004)

Implicit data structures for logic and stochastic systems analysis. - Gianfranco Ciardo; Andrew S. Miner (SIGMETRICS Perform. Evaluation Rev., 2005)

Verification of software via integration of design and implementation. - Andrew S. Miner; Samik Basu 001 (IPDPS, 2006)

Logic and stochastic modeling with S m A r T. - Gianfranco Ciardo; R. L. Jones III; Andrew S. Miner; Radu Siminiceanu (Perform. Evaluation, 2006)

Saturation for a General Class of Models. - Andrew S. Miner (IEEE Trans. Software Eng., 2006)

Exploiting interleaving semantics in symbolic state-space generation. - Gianfranco Ciardo; Gerald Lüttgen; Andrew S. Miner (Formal Methods Syst. Des., 2007)

Approximating stationary measures of structured continuous-time Markov models using matrix diagrams. - Gianfranco Ciardo; Andrew S. Miner; Min Wan; Andy Jinqing Yu (SIGMETRICS Perform. Evaluation Rev., 2007)

Advanced features in SMART: the stochastic model checking analyzer for reliability and timing. - Gianfranco Ciardo; Andrew S. Miner; Min Wan (SIGMETRICS Perform. Evaluation Rev., 2009)

GreatSPN Enhanced with Decision Diagram Data Structures. - Junaid Babar; Marco Beccuti; Susanna Donatelli; Andrew S. Miner (Petri Nets, 2010)

A Formal Language toward the Unification of Model Checking and Performance Evaluation. - Andrew S. Miner; Yaping Jing (ASMTA, 2010)

Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY. - Junaid Babar; Andrew S. Miner (QEST, 2010)

Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding. - Min Wan; Gianfranco Ciardo; Andrew S. Miner (Perform. Evaluation, 2011)

Explicit State Space and Markov Chain Generation Using Decision Diagrams. - Junaid Babar; Andrew S. Miner (EPEW, 2014)

Automated requirements analysis for a molecular watchdog timer. - Samuel J. Ellis; Eric R. Henderson; Titus H. Klinge; James I. Lathrop; Jack H. Lutz; Robyn R. Lutz; Divita Mathur; Andrew S. Miner (ASE, 2014)

Power Consumption Analysis of Replicated Virtual Applications. - Pietro Piazzolla; Gianfranco Ciardo; Andrew S. Miner (ASMTA, 2015)

Decision Diagrams for Petri Nets: Which Variable Ordering? - Elvio Gilberto Amparore; Susanna Donatelli; Marco Beccuti; Giulio Garbi; Andrew S. Miner (PNSE @ Petri Nets, 2017)

Runtime Fault Detection in Programmed Molecular Systems. - Samuel J. Ellis; Titus H. Klinge; James I. Lathrop; Jack H. Lutz; Robyn R. Lutz; Andrew S. Miner (CoRR, 2017)

Action and State Based Computation Tree Measurement Language and Algorithms. - Yaping Jing; Andrew S. Miner (QEST, 2018)

Computation tree measurement language (CTML). - Yaping Jing; Andrew S. Miner (Formal Aspects Comput., 2018)

Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms. - Elvio Gilberto Amparore; Susanna Donatelli; Marco Beccuti; Giulio Garbi; Andrew S. Miner (Trans. Petri Nets Other Model. Concurr., 2018)

Improving Saturation Efficiency with Implicit Relations. - Shruti Biswal; Andrew S. Miner (Petri Nets, 2019)

Presentation of the 9th Edition of the Model Checking Contest. - Elvio Gilberto Amparore; Bernard Berthomieu; Gianfranco Ciardo; Silvano Dal-Zilio; Francesco Gallà; Lom-Messan Hillah; Francis Hulin-Hubard; Peter Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Didier Le Botlan; Torsten Liebke; et al. (TACAS (3), 2019)

i _ mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. - Elvio Gilberto Amparore; Gianfranco Ciardo; Susanna Donatelli; Andrew S. Miner (TACAS (2), 2019)

Binary Decision Diagrams with Edge-Specified Reductions. - Junaid Babar; Chuan Jiang; Gianfranco Ciardo; Andrew S. Miner (TACAS (2), 2019)

Runtime Fault Detection in Programmed Molecular Systems. - Samuel J. Ellis; Titus H. Klinge; James I. Lathrop; Jack H. Lutz; Robyn R. Lutz; Andrew S. Miner; Hugh D. Potter (ACM Trans. Softw. Eng. Methodol., 2019)

Reachability Set Generation Using Hybrid Relation Compatible Saturation. - Shruti Biswal; Andrew S. Miner (RP, 2020)

Inference and Test Generation Using Program Invariants in Chemical Reaction Networks. - Michael C. Gerten; Alexis L. Marsh; James I. Lathrop; Myra B. Cohen; Andrew S. Miner; Titus H. Klinge (ICSE, 2022)

CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions. - Junaid Babar; Gianfranco Ciardo; Andrew S. Miner (Int. J. Softw. Tools Technol. Transf., 2022)

Research Directions in Decision Diagram Technology. - Gianfranco Ciardo; Andrew S. Miner (JVA, 2023)

RexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams. - Gianfranco Ciardo; Andrew S. Miner; Lichuan Deng; Junaid Babar (DAC, 2024)

Comparing Lossless Compression Methods for Chess Endgame Data. - Dave Gomboc; Christian R. Shelton; Andrew S. Miner; Gianfranco Ciardo (ECAI, 2024)