Andrew S. Miner

48 papers A* 4A 4B 3Misc 1Journal 13Unranked 23

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