Andrew S. Miner

According to our database, Andrew S. Miner authored at least 46 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Comparing Lossless Compression Methods for Chess Endgame Data.

Dave Gomboc, Christian R. Shelton, Andrew S. Miner, Gianfranco Ciardo

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

RexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams.

Gianfranco Ciardo, Andrew S. Miner, Lichuan Deng, Junaid Babar

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

Research Directions in Decision Diagram Technology.

Gianfranco Ciardo, Andrew S. Miner

Proceedings of the IEEE John Vincent Atanasoff International Symposium on Modern Computing, 2023

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

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

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2020

Reachability Set Generation Using Hybrid Relation Compatible Saturation.

Shruti Biswal, Andrew S. Miner

Proceedings of the Reachability Problems - 14th International Conference, 2020

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

Binary Decision Diagrams with Edge-Specified Reductions.

Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants.

Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Improving Saturation Efficiency with Implicit Relations.

Shruti Biswal, Andrew S. Miner

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

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

Computation tree measurement language (CTML).

Yaping Jing, Andrew S. Miner

Formal Aspects Comput., 2018

Action and State Based Computation Tree Measurement Language and Algorithms.

Yaping Jing, Andrew S. Miner

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

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

Decision Diagrams for Petri Nets: Which Variable Ordering?

Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2015

Power Consumption Analysis of Replicated Virtual Applications.

Pietro Piazzolla, Gianfranco Ciardo, Andrew S. Miner

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2015

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

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Explicit State Space and Markov Chain Generation Using Decision Diagrams.

Junaid Babar, Andrew S. Miner

Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

2011

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

2010

Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY.

Junaid Babar, Andrew S. Miner

Proceedings of the QEST 2010, 2010

A Formal Language toward the Unification of Model Checking and Performance Evaluation.

Andrew S. Miner, Yaping Jing

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2010

GreatSPN Enhanced with Decision Diagram Data Structures.

Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner

Proceedings of the Applications and Theory of Petri Nets, 2010

2009

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

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

Exploiting interleaving semantics in symbolic state-space generation.

Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner

Formal Methods Syst. Des., 2007

2006

Saturation for a General Class of Models.

Andrew S. Miner

IEEE Trans. Software Eng., 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

Verification of software via integration of design and implementation.

Andrew S. Miner, Samik Basu

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Implicit data structures for logic and stochastic systems analysis.

Gianfranco Ciardo, Andrew S. Miner

SIGMETRICS Perform. Evaluation Rev., 2005

2004

Implicit GSPN reachability set generation using decision diagrams.

Andrew S. Miner

Perform. Evaluation, 2004

Symbolic Representations and Analysis of Large Probabilistic Systems.

Andrew S. Miner, David Parker

Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Improving Efficiency of Implicit Markov Chain State Classification.

Andrew S. Miner, Shuxing Cheng

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

SMART: The Stochastic Model checking Analyzer for Reliability and Timing.

Gianfranco Ciardo, Andrew S. Miner

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Improving Feature Selection in Anomaly Intrusion Detection Using Specifications.

Yanxin Wang, Andrew S. Miner, Johnny Wong, Prem Uppuluri

Proceedings of the Distributed Computing and Internet Technology, 2004

Novel machine learning techniques for anomaly intrusion detection.

Yanxin Wang, Johnny Wang, Andrew S. Miner

Proceedings of the 10th Americas Conference on Information Systems, 2004

2003

Computing response time distributions using stochastic Petri nets and matrix diagrams.

Andrew S. Miner

Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

Logical and Stochastic Modeling with SMART.

Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu

Proceedings of the Computer Performance Evaluations, 2003

2002

Efficient State Space Generation of GSPNs using Decision Diagrams.

Andrew S. Miner

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

SMART: Stochastic Model-checking Analyzer for Reliability and Timing.

Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Efficient Solution of GSPNs using canonical Matrix Diagrams.

Andrew S. Miner

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

2000

Using the exact state space of a Markov model to compute approximate stationary measures.

Andrew S. Miner, Gianfranco Ciardo, Susanna Donatelli

Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 2000

1999

A data structure for the efficient Kronecker solution of GSPNs.

Gianfranco Ciardo, Andrew S. Miner

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

Efficient Reachability Set Generation and Storage Using Decision Diagrams.

Andrew S. Miner, Gianfranco Ciardo

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1997

Storage Alternatives for Large Structured State Spaces.

Gianfranco Ciardo, Andrew S. Miner

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1997

1995

The fluid stochastic Petri net simulator.

David M. Nicol, Andrew S. Miner

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995