Publications

Journal Articles

[J13]Elvio G. Amparore, Gianfranco Ciardo, and Andrew S. Miner. 
The footprint form of a matrix: definition, properties, and an application. 
Linear Algebra and Its Applications, 2022. 
DOI Box 
[J12]Junaid Babar, Gianfranco Ciardo, and Andrew Miner. 
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions. 
Intl. Jnl. on Software Tools for Technology Transfer, 2022. 
DOI Box 
[J11]Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner, and Hugh D. Potter. 
Runtime fault detection in programmed molecular systems. 
ACM Trans. on Software Engineering and Methodology, 28(2), March 2019. 
[J10]Yaping Jing and Andrew S. Miner. 
Computation tree measurement language (CTML). 
Formal Aspects of Computing, 30(3):443-462, 2018. 
DOI 
[J9]Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, and Andrew Miner. 
Decision diagrams for Petri nets: A comparison of variable ordering algorithms. 
Trans. on Petri Nets and Other Models of Concurrency XIII, pages 73-92, 2018. 
DOI 
[J8]Min Wan, Gianfranco Ciardo, and Andrew S. Miner. 
Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding. 
Perf. Eval., 68(5):463-486, 2011. 
DOI Box 
[J7]Gianfranco Ciardo, Andrew S. Miner, and Min Wan. 
Advanced features in SMART: the Stochastic Model checking Analyzer for Reliability and Timing. 
SIGMETRICS Perform. Eval. Rev., 36(4):58-63, March 2009. 
DOI 
[J6]Andrew S. Miner. 
Decision diagrams for the exact solution of Markov models. 
Proceedings in Applied Mathematics and Mechanics (PAMM), 7(1):1080701-1080702, 2007. 
DOI 
[J5]Gianfranco Ciardo, Gerald Lüttgen, and Andrew S. Miner. 
Exploiting interleaving semantics in symbolic state-space generation. 
Formal Methods in System Design, 31(1):63-100, August 2007. 
DOI Box 
[J4]Andrew S. Miner. 
Saturation for a general class of models. 
IEEE Trans. Softw. Eng., 32(8):559-570, August 2006. 
DOI Box 
[J3]Gianfranco Ciardo, Robert Jones, Andrew Miner, and Radu Siminiceanu. 
Logic and stochastic modeling with SMART. 
Perf. Eval., 63(6):578-608, June 2006. 
DOI 
[J2]Gianfranco Ciardo and Andrew S. Miner. 
Implicit data structures for logic and stochastic systems analysis. 
SIGMETRICS Perform. Eval. Rev., 32(4):4-9, March 2005. 
DOI 
[J1]Andrew S. Miner. 
Implicit GSPN reachability set generation using decision diagrams. 
Perf. Eval., 56(1-4):145-165, March 2004. 
DOI Box 
[J0]Andrew S. Miner, Gianfranco Ciardo, and Susanna Donatelli. 
Using the exact state space of a Markov model to compute approximate stationary measures. 
SIGMETRICS Perform. Eval. Rev., 28(1):207-216, June 2000. 
DOI 

Conference Articles

[C28]Michael C. Gertin, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, and Titus H. Klinge. 
Inference and test generation using program invariants in chemical reaction networks. 
In 44th Intl. Conf. on Software Eng. (ICSE '22). ACM, 2022. 
DOI Box 
[C27]Shruti Biswal and Andrew S. Miner. 
Reachability set generation using hybrid relation compatible saturation. 
In Reachability Problems (RP 2020), LNCS 12448, pages 37-51. Springer-Verlag, 2020. 
DOI 
[C26]Shruti Biswal and Andrew S. Miner. 
Improving saturation efficiency with implicit relations. 
In Application and Theory of Petri Nets and Concurrency, LNCS 11522, pages 301-320. Springer-Verlag, 2019. 
DOI Box 
[C25]Shruti Biswal and Andrew S. Miner. 
Improving saturation efficiency with implicit relations. 
In Application and Theory of Petri Nets and Concurrency, LNCS 11522, pages 301-320. Springer-Verlag, 2019. 
DOI Box 
[C24]Elvio Amparore, Gianfranco Ciardo, Susanna Donatelli, and Andrew Miner. 
iRank: A variable order metric for DEDS subject to linear invariants. 
In TACAS 2019, pages 285-302. Springer-Verlag, 2019. 
DOI 
[C23]Junaid Babar, Chuan Jiang, Gianfranco Ciardo, and Andrew Miner. 
Binary decision diagrams with edge-specified reductions. 
In TACAS 2019, pages 303-318. Springer-Verlag, 2019. 
DOI Box 
[C22]Yaping Jing and Andrew S. Miner. 
Action and state based computation tree measurement language and algorithms. 
In QEST 2018, LNCS 11024, pages 190-206. Springer-Verlag, 2018. 
DOI 
[C21]Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, and Andrew Miner. 
Decision diagrams for Petri nets: which variable ordering? 
In Proceedings of the International Workshop on Petri Nets and Software Engineering, pages 31-50, 2017. 
[C20]Chuan Jiang, Junaid Babar, Gianfranco Ciardo, Andrew S. Miner, and Benjamin Smith. 
Variable reordering in binary decision diagrams. 
In Proc. IWLS, pages 346-352, 2017. 
Box 
[C19]Pietro Piazzolla, Gianfranco Ciardo, and Andrew Miner. 
Power consumption analysis of replicated virtual applications. 
In 22th Int. Conf. on Analytical and Stochastic Modelling Techniques and Applications (ASMTA'15), LNCS 9081, pages 188-202, May 2015. 
DOI 
[C18]Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, and Andrew S. Miner. 
Automated requirements analysis for a molecular watchdog timer. 
In Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, ASE '14, pages 767-778, New York, NY, USA, 2014. ACM. 
DOI 
[C17]Junaid Babar and Andrew Miner. 
Explicit state space and Markov chain generation using decision diagrams. 
In 11th European Workshop on Performance Engineering (EPEW'14), LNCS 8721, pages 240-254, September 2014. 
DOI Box 
[C16]Junaid Babar and Andrew Miner. 
Meddly: Multi-terminal and Edge-valued Decision Diagram LibrarY. 
In Gianfranco Ciardo and Roberto Segala, editors, 7th Int. Conf. on Quantitative Evaluation of Systems (QEST'10), pages 195-196, Williamsburg, VA, USA, September 2010. 
Box 
[C15]Andrew S. Miner and Yaping Jing. 
A formal language toward the unification of model checking and performance evaluation. 
In 17th Int. Conf. on Analytical and Stochastic Modelling Techniques and Applications (ASMTA'10), LNCS 6148, pages 130-144, June 2010. 
DOI Box 
[C14]Junaid Babar, Marco Beccuti, Susanna Donatelli, and Andrew Miner. 
GreatSPN enhanced with decision diagram data structures. 
In Application and Theory of Petri Nets 2010 (Proc. 31st Int. Conf. on Applications and Theory of Petri Nets), LNCS 6128, pages 308-317, June 2010. 
DOI Box 
[C13]Andrew S. Miner. 
Saturation for a general class of models. 
In Giuliana Franceschinis, Joost-Pieter Katoen, and Murray Woodside, editors, 1st Int. Conf. on Quantitative Evaluation of Systems (QEST'04), pages 282-291, Enschede, The Netherlands, September 2004. 
DOI Box 
[C12]Andrew S. Miner and Shuxing Cheng. 
Improving efficiency of implicit Markov chain state classification. 
In Giuliana Franceschinis, Joost-Pieter Katoen, and Murray Woodside, editors, 1st Int. Conf. on Quantitative Evaluation of Systems (QEST'04), pages 262-271, Enschede, The Netherlands, September 2004. 
DOI Box 
[C11]Yanxin Wang, Johnny Wong, and Andrew Miner. 
Novel machine learning techniques for anomaly intrusion detection. 
In Proceedings of the 10th Americas Conf. on Information Systems, pages 4433-4440, New York, NY, August 2004. 
[C10]Yanxin Wang, Johnny Wong, and Andrew Miner. 
Anomaly intrusion detection using one class SVM. 
In 5th Annual IEEE Information Assurance Workshop, pages 358-364, West Point, NY, June 2004. IEEE. 
Box 
[C9]Gianfranco Ciardo, Robert Jones, Andrew Miner, and Radu Siminiceanu. 
Logical and stochastic modeling with SMART. 
In Peter Kemper and William H. Sanders, editors, Proc. 13th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, LNCS 2794, pages 78-97, Urbana, IL, USA, September 2003. Springer-Verlag. 
DOI Box 
[C8]Andrew S. Miner. 
Computing response time distributions using stochastic Petri nets and matrix diagrams. 
In Gianfranco Ciardo and William H. Sanders, editors, 10th Int. Workshop on Petri Nets and Performance Models (PNPM'03), pages 10-19, Urbana-Champaign, IL, USA, September 2003. IEEE Comp. Soc. Press. 
Box 
[C7]Andrew S. Miner and Shuxing Cheng. 
Using distance to improve implicit state classification of Markov chains. 
In 6th Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-6), pages 66-69, September 2003. 
Box 
[C6]Gianfranco Ciardo, Massimo Forno, Paul Grieco, and Andrew Miner. 
Comparing implicit representations of large CTMCs. 
In Amy N. Langville and William J. Stewart, editors, 4th Int. Conf. on the Numerical Solution of Markov Chains (NSMC'03), pages 323-327, Urbana, IL, USA, September 2003. 
Box 
[C5]Andrew S. Miner. 
Efficient state space generation of GSPNs using decision diagrams. 
In Proc. 2002 Int. Conf. on Dependable Systems and Networks (DSN 2002), pages 637-646, Washington, DC, June 2002. 
Box 
[C4]Andrew S. Miner. 
Efficient solution of GSPNs using Canonical Matrix Diagrams. 
In Reinhard German and Boudewijn Haverkort, editors, 9th Int. Workshop on Petri Nets and Performance Models (PNPM'01), pages 101-110, Aachen, Germany, September 2001. IEEE Comp. Soc. Press. 
DOI Box 
[C3]Andrew S. Miner, Gianfranco Ciardo, and Susanna Donatelli. 
Using the exact state space of a Markov model to compute approximate stationary measures. 
In Proc. 2000 ACM SIGMETRICS Conf. on Measurement and Modeling of Computer Systems, pages 207-216, Santa Clara, CA, June 2000. 
Box 
[C2]Gianfranco Ciardo and Andrew S. Miner. 
A data structure for the efficient Kronecker solution of GSPNs. 
In Peter Buchholz, editor, 8th Int. Workshop on Petri Nets and Performance Models (PNPM'99), pages 22-31, Zaragoza, Spain, September 1999. IEEE Comp. Soc. Press. 
DOI Box 
[C1]Andrew S. Miner and Gianfranco Ciardo. 
Efficient reachability set generation and storage using decision diagrams. 
In H.C.M. Kleijn and Susanna Donatelli, editors, Application and Theory of Petri Nets 1999 (Proc. 20th Int. Conf. on Applications and Theory of Petri Nets), LNCS 1639, pages 6-25, Williamsburg, VA, USA, June 1999. Springer-Verlag. 
DOI Box 
[C0]Gianfranco Ciardo and Andrew S. Miner. 
Storage alternatives for large structured state spaces. 
In R. Marie, B. Plateau, M. Calzarossa, and G. Rubino, editors, Proc. 9th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, LNCS 1245, pages 44-57, Saint Malo, France, June 1997. Springer-Verlag. 
DOI Box 

Miscellaneous

 Andrew Miner and David Parker. 
Symbolic representations and analysis of large state spaces. 
In Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, and Markus Siegle, editors, Validation of Stochastic Systems, LNCS 2925, pages 296-338. Springer-Verlag, 2004. 
Box 
 Andrew S. Miner. 
Data Structures for the Analysis of Large Structured Markov Models
PhD thesis, The College of William and Mary, Williamsburg, VA, 2000. 
Box