The SCEAS System
| |||||||

## Search the dblp DataBase
Andrew S. Miner:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - Andrew S. Miner
**Efficient State Space Generation of GSPNs using Decision Diagrams.**[Citation Graph (0, 0)][DBLP] DSN, 2002, pp:637-646 [Conf] - 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] - Andrew S. Miner, Samik Basu
**Verification of software via integration of design and implementation.**[Citation Graph (0, 0)][DBLP] IPDPS, 2006, pp:- [Conf] - Andrew S. Miner
**Saturation for a General Class of Models.**[Citation Graph (0, 0)][DBLP] QEST, 2004, pp:282-291 [Conf] - Andrew S. Miner, Shuxing Cheng
**Improving Efficiency of Implicit Markov Chain State Classification.**[Citation Graph (0, 0)][DBLP] QEST, 2004, pp:262-271 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] **GreatSPN Enhanced with Decision Diagram Data Structures.**[Citation Graph (, )][DBLP]**A Formal Language toward the Unification of Model Checking and Performance Evaluation.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |