Search the dblp DataBase

Publications of Author

1. Andrew S. Miner, Gianfranco Ciardo
   Efficient Reachability Set Generation and Storage Using Decision Diagrams. [Citation Graph (0, 0)][DBLP]
   ICATPN, 1999, pp:6-25 [Conf]
   
2. Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu
   Logical and Stochastic Modeling with SMART. [Citation Graph (0, 0)][DBLP]
   Computer Performance Evaluation / TOOLS, 2003, pp:78-97 [Conf]
   
3. Gianfranco Ciardo, Andrew S. Miner
   Storage Alternatives for Large Structured State Spaces. [Citation Graph (0, 0)][DBLP]
   Computer Performance Evaluation, 1997, pp:44-57 [Conf]
   
4. Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu
   SMART: Stochastic Model-checking Analyzer for Reliability and Timing. [Citation Graph (0, 0)][DBLP]
   DSN, 2002, pp:545- [Conf]
   
5. Andrew S. Miner
   Efficient State Space Generation of GSPNs using Decision Diagrams. [Citation Graph (0, 0)][DBLP]
   DSN, 2002, pp:637-646 [Conf]
   
6. Yanxin Wang, Andrew S. Miner, Johnny Wong, Prem Uppuluri
   Improving Feature Selection in Anomaly Intrusion Detection Using Specifications. [Citation Graph (0, 0)][DBLP]
   ICDCIT, 2004, pp:468- [Conf]
   
7. Andrew S. Miner, Samik Basu
   Verification of software via integration of design and implementation. [Citation Graph (0, 0)][DBLP]
   IPDPS, 2006, pp:- [Conf]
   
8. Andrew S. Miner
   Saturation for a General Class of Models. [Citation Graph (0, 0)][DBLP]
   QEST, 2004, pp:282-291 [Conf]
   
9. Andrew S. Miner, Shuxing Cheng
   Improving Efficiency of Implicit Markov Chain State Classification. [Citation Graph (0, 0)][DBLP]
   QEST, 2004, pp:262-271 [Conf]
   
10. Gianfranco Ciardo, Andrew S. Miner
    SMART: The Stochastic Model checking Analyzer for Reliability and Timing. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:338-339 [Conf]
    
11. Andrew S. Miner, Gianfranco Ciardo, Susanna Donatelli
    Using the exact state space of a Markov model to compute approximate stationary measures. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 2000, pp:207-216 [Conf]
    
12. Andrew S. Miner, David Parker
    Symbolic Representations and Analysis of Large Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:296-338 [Conf]
    
13. Andrew S. Miner
    Implicit GSPN reachability set generation using decision diagrams. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2004, v:56, n:1-4, pp:145-165 [Journal]
    
14. Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu
    Logic and stochastic modeling with S m A r T. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2006, v:63, n:6, pp:578-608 [Journal]
    
15. Gianfranco Ciardo, Andrew S. Miner
    Implicit data structures for logic and stochastic systems analysis. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:4-9 [Journal]
    
16. Andrew S. Miner
    Saturation for a General Class of Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:8, pp:559-570 [Journal]
    
17. Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner
    Exploiting interleaving semantics in symbolic state-space generation. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2007, v:31, n:1, pp:63-100 [Journal]
    
18. 
    GreatSPN Enhanced with Decision Diagram Data Structures. [Citation Graph (, )][DBLP]
    
    
19. 
    A Formal Language toward the Unification of Model Checking and Performance Evaluation. [Citation Graph (, )][DBLP]