Miscellaneous

2023

1. M10

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

   Gianfranco Ciardo, Andrew Miner, Lichuan Deng, and 1 more author

   In DAC 2023 (Work-in-Progress Poster), Jul 2023

2007

1. M09

   Approximating stationary measures of structured continuous-time Markov models using matrix diagrams

   Gianfranco Ciardo, Andrew S. Miner, Min Wan, and 1 more author

   In Performance (poster presentation), Oct 2007

   DOI

2006

1. M08

   Verification of software via integration of design and implementation

   Andrew S. Miner and Samik Basu

   In Parallel and Distributed Processing Symposium, 2006, Apr 2006

   DOI

2004

1. M07

   Improving Feature Selection in Anomaly Intrusion Detection Using Specifications

   Yanxin Wang, Andrew S. Miner, Johnny Wong, and 1 more author

   In Int. Conf. on Distributed Computing and Internet Technology, Dec 2004

   DOI
2. M06

   SMART: the Stochastic Model checking Analyzer for Reliability and Timing

   Gianfranco Ciardo and Andrew S. Miner

   In 1st Int. Conf. on Quantitative Evaluation of Systems (QEST’04), Sep 2004

2002

1. M05

   SMART: Stochastic Model-checking Analyzer for Reliability and Timing

   Gianfranco Ciardo, Robert L. Jones, Robert M. Marmorstein, and 2 more authors

   In 2002 Int. Conf. on Dependable Systems and Networks (DSN 2002), Jun 2002

2001

1. M04

   SMART: Stochastic Model Analyzer for Reliability and Timing

   Gianfranco Ciardo, Robert L. Jones, Andrew S. Miner, and 1 more author

   In Tools of Int. Multiconf. Measurement, Modelling and Evaluation of Computer-Communication Systems, Sep 2001

2000

1. M03

   Structural Approaches for SPN Analysis

   Gianfranco Ciardo and Andrew S. Miner

   In High Performance Computing 2000, Grand Challenges in Computer Simulation, Apr 2000

   Abs PDF

   Petri nets and Markovian Petri nets are excellent tools for logic and performability system modeling. However, the size of the underlying reachability set is a major limitation in practice. One approach gaining attention among researchers is the use of structured representations, which require us to decompose a net into, or compose a net from, subnets. This paper surveys the state-of-the-art in advanced techniques for storing the reachability set and the transition rate matrix, with particular attention to the use of decision diagrams, Kronecker representations, and their interplay. The conclusion is that, in most practical applications, it is now possible to generate and store enormous reachability sets for logical analysis, while the size of the probability vector being sought is the main limitation when performing the exact solution of the underlying Markov chain.

1997

1. M02

   SMART: Simulation and Markovian Analyzer for Reliability and Timing

   Gianfranco Ciardo and Andrew S. Miner

   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, Jun 1997

1996

1. M01

   SMART: Simulation and Markovian Analyzer for Reliability and Timing

   Gianfranco Ciardo and Andrew S. Miner

   In International Computer Performance and Dependability Symposium (IPDS’96), Sep 1996

1995

1. M00

   The Fluid Stochastic Petri Net Simulator

   David M. Nicol and Andrew S. Miner

   In 6th Int. Workshop on Petri Nets and Performance Models (PNPM’95), Oct 1995

   Abs DOI

   A Fluid Stochastic Petri Net (FSPN) extends a normal Petri net with the notion of fluid places, and fluid arcs. Fluid levels are continuous, and may be used to approximate the presence of many discrete tokens. We describe an FSPN simulation tool whose input description extends the syntax of the widely used tool SPNP.