Andrew S. Miner

Orcid: 0000-0002-7737-6888

According to our database1, Andrew S. Miner authored at least 44 papers between 1995 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Research Directions in Decision Diagram Technology.
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.
Int. J. Softw. Tools Technol. Transf., 2022

Inference and Test Generation Using Program Invariants in Chemical Reaction Networks.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2020
Reachability Set Generation Using Hybrid Relation Compatible Saturation.
Proceedings of the Reachability Problems - 14th International Conference, 2020

2019
Runtime Fault Detection in Programmed Molecular Systems.
ACM Trans. Softw. Eng. Methodol., 2019

Binary Decision Diagrams with Edge-Specified Reductions.
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.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019


Improving Saturation Efficiency with Implicit Relations.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018
Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms.
Trans. Petri Nets Other Model. Concurr., 2018

Computation tree measurement language (CTML).
Formal Aspects Comput., 2018

Action and State Based Computation Tree Measurement Language and Algorithms.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

2017
Runtime Fault Detection in Programmed Molecular Systems.
CoRR, 2017

Decision Diagrams for Petri Nets: Which Variable Ordering?
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2015
Power Consumption Analysis of Replicated Virtual Applications.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2015

2014
Automated requirements analysis for a molecular watchdog timer.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Explicit State Space and Markov Chain Generation Using Decision Diagrams.
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.
Perform. Evaluation, 2011

2010
Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY.
Proceedings of the QEST 2010, 2010

A Formal Language toward the Unification of Model Checking and Performance Evaluation.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2010

GreatSPN Enhanced with Decision Diagram Data Structures.
Proceedings of the Applications and Theory of Petri Nets, 2010

2009
Advanced features in SMART: the stochastic model checking analyzer for reliability and timing.
SIGMETRICS Perform. Evaluation Rev., 2009

2007
Approximating stationary measures of structured continuous-time Markov models using matrix diagrams.
SIGMETRICS Perform. Evaluation Rev., 2007

Exploiting interleaving semantics in symbolic state-space generation.
Formal Methods Syst. Des., 2007

2006
Saturation for a General Class of Models.
IEEE Trans. Software Eng., 2006

Logic and stochastic modeling with S m A r T.
Perform. Evaluation, 2006

Verification of software via integration of design and implementation.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005
Implicit data structures for logic and stochastic systems analysis.
SIGMETRICS Perform. Evaluation Rev., 2005

2004
Implicit GSPN reachability set generation using decision diagrams.
Perform. Evaluation, 2004

Symbolic Representations and Analysis of Large Probabilistic Systems.
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Improving Efficiency of Implicit Markov Chain State Classification.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

SMART: The Stochastic Model checking Analyzer for Reliability and Timing.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Improving Feature Selection in Anomaly Intrusion Detection Using Specifications.
Proceedings of the Distributed Computing and Internet Technology, 2004

Novel machine learning techniques for anomaly intrusion detection.
Proceedings of the 10th Americas Conference on Information Systems, 2004

2003
Computing response time distributions using stochastic Petri nets and matrix diagrams.
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

Logical and Stochastic Modeling with SMART.
Proceedings of the Computer Performance Evaluations, 2003

2002
Efficient State Space Generation of GSPNs using Decision Diagrams.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

SMART: Stochastic Model-checking Analyzer for Reliability and Timing.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
Efficient Solution of GSPNs using canonical Matrix Diagrams.
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.
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.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

Efficient Reachability Set Generation and Storage Using Decision Diagrams.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1997
Storage Alternatives for Large Structured State Spaces.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1997

1995
The fluid stochastic Petri net simulator.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995


  Loading...