Important Copyright Notice:

Some papers may be downloaded here in Adobe PDF format. This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without explicit permission of the copyright holder.

In cases where the publisher has an online version of the paper with a digital object identifier (DOI) name, a link is given directly to the online version of the paper (or to the volume that contains it).


Journal Articles

[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
[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
[J4] Andrew S. Miner.
Saturation for a general class of models.
IEEE Trans. Softw. Eng., 32(8):559-570, August 2006.
DOI
[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 PDF
[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

Back to top


Conference Articles

[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
[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.
[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
[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
[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 PDF
[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 PDF
[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.
[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 PDF
[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.
PDF
[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 Comminication Systems (PMCCS-6), pages 66-69, September 2003.
PDF
[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.
PDF
[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.
PDF
[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 PDF
[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.
PDF
[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 PDF
[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 PDF
[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 PDF

Back to top


Book Chapters

[B0] 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.
PDF

Back to top


Invited Papers

[I0] Gianfranco Ciardo and Andrew S. Miner.
Structural approaches for SPN analysis.
In High Performance Computing 2000, Grand Challenges in Computer Simulation, pages 345-356, Washington, DC, April 2000.
PDF

Back to top


Miscellaneous

[M9] Gianfranco Ciardo, Andrew S. Miner, Min Wan, and Andy Jinqing Yu.
Approximating stationary measures of structured continuous-time Markov models using matrix diagrams.
In Performance (poster presentation), Cologne, Germany, October 2007.
PDF
[M8] Andrew S. Miner and Samik Basu.
Verification of software via integration of design and implementation.
In Parallel and Distributed Processing Symposium, 2006, April 2006.
DOI
[M7] Yanxin Wang, Andrew S. Miner, Johnny Wong, and Prem Uppuluri.
Improving feature selection in anomaly intrusion detection using specifications.
In Int. Conf. on Distributed Computing and Internet Technology, LNCS 3347, page 468. Springer-Verlag, December 2004.
[M6] Gianfranco Ciardo and Andrew S. Miner.
SMART: the Stochastic Model checking Analyzer for Reliability and Timing.
In Giuliana Franceschinis, Joost-Pieter Katoen, and Murray Woodside, editors, 1st Int. Conf. on Quantitative Evaluation of Systems (QEST'04), pages 338-339, Enschede, The Netherlands, September 2004.
[M5] Gianfranco Ciardo, Robert L. Jones, Robert M. Marmorstein, Andrew S. Miner, and Radu Siminiceanu.
SMART: Stochastic Model-checking Analyzer for Reliability and Timing.
In Proc. Int. Conf. on Dependable Systems & Networks (DSN), page 545, Washington, D.C., USA, June 2002.
[M4] Gianfranco Ciardo, Robert L. Jones, Andrew S. Miner, and Radu Siminiceanu.
SMART: Stochastic Model Analyzer for Reliability and Timing.
In Peter Kemper, editor, Tools of Int. Multiconf. Measurement, Modelling and Evaluation of Computer-Communication Systems, pages 29-34, Aachen, Germany, September 2001.
[M3] Andrew S. Miner.
Data Structures for the Analysis of Large Structured Markov Models.
PhD thesis, The College of William and Mary, Williamsburg, VA, 2000.
One-sided PDF Two-sided PDF Errata
[M2] Gianfranco Ciardo and Andrew S. Miner.
SMART: Simulation and Markovian Analyzer for Reliability and Timing.
In Tool Descriptions from the 9th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation and the 7th Int. Workshop on Petri Nets and Performance Models, pages 41-43, St. Malo, France, June 1997.
[M1] Gianfranco Ciardo and Andrew S. Miner.
SMART: Simulation and Markovian Analyzer for Reliability and Timing.
In Proc. IEEE International Computer Performance and Dependability Symposium (IPDS'96), page 60, Urbana-Champaign, IL, USA, September 1996. IEEE Comp. Soc. Press.
[M0] David M. Nicol and Andrew S. Miner.
The fluid stochastic Petri net simulator.
In 6th Int. Workshop on Petri Nets and Performance Models (PNPM'95), pages 214-215, Durham, NC, October 1995. IEEE Comp. Soc. Press.

Back to top