Andrew S. Miner

	2011
24		Min Wan, Gianfranco Ciardo, Andrew S. Miner: Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding. Perform. Eval. 68(5): 463-486 (2011)
	2010
23		Andrew S. Miner, Yaping Jing: A Formal Language toward the Unification of Model Checking and Performance Evaluation. ASMTA 2010: 130-144
22		Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner: GreatSPN Enhanced with Decision Diagram Data Structures. Petri Nets 2010: 308-317
21		Junaid Babar, Andrew S. Miner: Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY. QEST 2010: 195-196
	2009
20		Gianfranco Ciardo, Andrew S. Miner, Min Wan: Advanced features in SMART: the stochastic model checking analyzer for reliability and timing. SIGMETRICS Performance Evaluation Review 36(4): 58-63 (2009)
	2007
19		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)
18		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
17		Andrew S. Miner, Samik Basu: Verification of software via integration of design and implementation. IPDPS 2006
16		Andrew S. Miner: Saturation for a General Class of Models. IEEE Trans. Software Eng. 32(8): 559-570 (2006)
15		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
14		Gianfranco Ciardo, Andrew S. Miner: Implicit data structures for logic and stochastic systems analysis. SIGMETRICS Performance Evaluation Review 32(4): 4-9 (2005)
	2004
13		Yanxin Wang, Johnny Wang, Andrew S. Miner: Novel machine learning techniques for anomaly intrusion detection. AMCIS 2004: 551
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	Junaid Babar	[21] [22]
2	Samik Basu	[17]
3	Marco Beccuti	[22]
4	Shuxing Cheng	[11]
5	Gianfranco Ciardo	[1] [2] [3] [5] [6] [9] [14] [15] [18] [19] [20] [24]
6	Susanna Donatelli	[3] [22]
7	Yaping Jing	[23]
8	R. L. Jones III	[5] [6] [15]
9	Gerald Lüttgen	[19]
10	Robert M. Marmorstein	[5]
11	David Parker	[8]
12	Radu Siminiceanu	[5] [6] [15]
13	Prem Uppuluri	[12]
14	Min Wan	[18] [20] [24]
15	Johnny Wang	[13]
16	Yanxin Wang	[12] [13]
17	Johnny S. Wong (Johnny Wong)	[12]
18	Andy Jinqing Yu	[18]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page