Andrew S. Miner

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

Coauthor Index

1	Samik Basu	[16]
2	Shuxing Cheng	[11]
3	Gianfranco Ciardo	[1] [2] [3] [5] [6] [9] [13] [14] [17] [18]
4	Susanna Donatelli	[3]
5	R. L. Jones III	[5] [6] [14]
6	Gerald Lüttgen	[18]
7	Robert M. Marmorstein	[5]
8	David Parker	[8]
9	Radu Siminiceanu	[5] [6] [14]
10	Prem Uppuluri	[12]
11	Min Wan	[17]
12	Yanxin Wang	[12]
13	Johnny S. Wong (Johnny Wong)	[12]
14	Andy Jinqing Yu	[17]

Colors in the list of coauthors