Andrew S. Miner

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 15

Top Topics

Fault Detection

Decision Diagrams

Edge Localization

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Gianfranco Ciardo, Andrew S. Miner
Research Directions in Decision Diagram Technology. JVA (2023)
Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, Titus H. Klinge
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks. ICSE (2022)
Junaid Babar, Gianfranco Ciardo, Andrew S. Miner
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Shruti Biswal, Andrew S. Miner
Reachability Set Generation Using Hybrid Relation Compatible Saturation. RP (2020)
Shruti Biswal, Andrew S. Miner
Improving Saturation Efficiency with Implicit Relations. Petri Nets (2019)
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, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) (2019)
Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner
Binary Decision Diagrams with Edge-Specified Reductions. TACAS (2) (2019)
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner, Hugh D. Potter
Runtime Fault Detection in Programmed Molecular Systems. ACM Trans. Softw. Eng. Methodol. 28 (2) (2019)
Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner
i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. TACAS (2) (2019)
Yaping Jing, Andrew S. Miner
Computation tree measurement language (CTML). Formal Aspects Comput. 30 (3-4) (2018)
Yaping Jing, Andrew S. Miner
Action and State Based Computation Tree Measurement Language and Algorithms. QEST (2018)
Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner
Runtime Fault Detection in Programmed Molecular Systems. CoRR (2017)
Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
Decision Diagrams for Petri Nets: Which Variable Ordering? PNSE @ Petri Nets (2017)
Pietro Piazzolla, Gianfranco Ciardo, Andrew S. Miner
Power Consumption Analysis of Replicated Virtual Applications. ASMTA (2015)
Junaid Babar, Andrew S. Miner
Explicit State Space and Markov Chain Generation Using Decision Diagrams. EPEW (2014)
Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, Andrew S. Miner
Automated requirements analysis for a molecular watchdog timer. ASE (2014)
Min Wan, Gianfranco Ciardo, Andrew S. Miner
Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding. Perform. Evaluation 68 (5) (2011)
Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner
GreatSPN Enhanced with Decision Diagram Data Structures. Petri Nets (2010)
Andrew S. Miner, Yaping Jing
A Formal Language toward the Unification of Model Checking and Performance Evaluation. ASMTA (2010)
Junaid Babar, Andrew S. Miner
Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY. QEST (2010)
Gianfranco Ciardo, Andrew S. Miner, Min Wan
Advanced features in SMART: the stochastic model checking analyzer for reliability and timing. SIGMETRICS Perform. Evaluation Rev. 36 (4) (2009)
Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner
Exploiting interleaving semantics in symbolic state-space generation. Formal Methods Syst. Des. 31 (1) (2007)
Gianfranco Ciardo, Andrew S. Miner, Min Wan, Andy Jinqing Yu
Approximating stationary measures of structured continuous-time Markov models using matrix diagrams. SIGMETRICS Perform. Evaluation Rev. 35 (3) (2007)
Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu
Logic and stochastic modeling with S m A r T. Perform. Evaluation 63 (6) (2006)
Andrew S. Miner
Saturation for a General Class of Models. IEEE Trans. Software Eng. 32 (8) (2006)
Andrew S. Miner, Samik Basu
Verification of software via integration of design and implementation. IPDPS (2006)
Gianfranco Ciardo, Andrew S. Miner
Implicit data structures for logic and stochastic systems analysis. SIGMETRICS Perform. Evaluation Rev. 32 (4) (2005)
Andrew S. Miner, Shuxing Cheng
Improving Efficiency of Implicit Markov Chain State Classification. QEST (2004)
Andrew S. Miner
Implicit GSPN reachability set generation using decision diagrams. Perform. Evaluation 56 (1-4) (2004)
Yanxin Wang, Andrew S. Miner, Johnny Wong, Prem Uppuluri
Improving Feature Selection in Anomaly Intrusion Detection Using Specifications. ICDCIT (2004)
Yanxin Wang, Johnny Wang, Andrew S. Miner
Novel machine learning techniques for anomaly intrusion detection. AMCIS (2004)
Andrew S. Miner, David Parker
Symbolic Representations and Analysis of Large Probabilistic Systems. Validation of Stochastic Systems (2004)
Andrew S. Miner
Saturation for a General Class of Models. QEST (2004)
Gianfranco Ciardo, Andrew S. Miner
SMART: The Stochastic Model checking Analyzer for Reliability and Timing. QEST (2004)
Andrew S. Miner
Computing response time distributions using stochastic Petri nets and matrix diagrams. PNPM (2003)
Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu
Logical and Stochastic Modeling with SMART. Computer Performance Evaluation / TOOLS (2003)
Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu
SMART: Stochastic Model-checking Analyzer for Reliability and Timing. DSN (2002)
Andrew S. Miner
Efficient State Space Generation of GSPNs using Decision Diagrams. DSN (2002)
Andrew S. Miner
Efficient Solution of GSPNs using canonical Matrix Diagrams. PNPM (2001)
Andrew S. Miner, Gianfranco Ciardo, Susanna Donatelli
Using the exact state space of a Markov model to compute approximate stationary measures. SIGMETRICS (2000)
Gianfranco Ciardo, Andrew S. Miner
A data structure for the efficient Kronecker solution of GSPNs. PNPM (1999)
Andrew S. Miner, Gianfranco Ciardo
Efficient Reachability Set Generation and Storage Using Decision Diagrams. ICATPN (1999)
Gianfranco Ciardo, Andrew S. Miner
Storage Alternatives for Large Structured State Spaces. Computer Performance Evaluation (1997)
David M. Nicol, Andrew S. Miner
The fluid stochastic Petri net simulator. PNPM (1995)