Michael W. Whalen

2008
19	EE	Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl: Requirements Coverage as an Adequacy Measure for Conformance Testing. ICFEM 2008: 86-104
18	EE	Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl: The effect of program and model structure on mc/dc test adequacy coverage. ICSE 2008: 161-170
2007
17	EE	Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm: Integration of Formal Analysis into a Model-Based Software Development Process. FMICS 2007: 68-84
16	EE	Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl: Model Validation using Automatically Generated Requirements-Based Tests. HASE 2007: 95-104
2006
15	EE	Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller: Coverage metrics for requirements-based testing. ISSTA 2006: 25-36
14	EE	Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl: Proving the shalls. STTT 8(4-5): 303-319 (2006)
2005
13	EE	Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen: Deviation Analysis: A New Use of Model Checking. Autom. Softw. Eng. 12(3): 321-347 (2005)
2003
12	EE	Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle: Certification Support for Automatically Generated Programs. HICSS 2003: 337
11	EE	Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson: NIMBUS: A Tool for Specification Centered Development. RE 2003: 349
2002
10	EE	Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen: Deviation Analysis Through Model Checking. ASE 2002: 37-46
9	EE	Michael W. Whalen, Johann Schumann, Bernd Fischer: AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. CADE 2002: 290-294
8	EE	Michael W. Whalen, Johann Schumann, Bernd Fischer: Synthesizing Certified Code. FME 2002: 431-450
2000
7	EE	Michael W. Whalen: High-integrity code generation for state-based formalisms. ICSE 2000: 725-727
6	EE	Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl: Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. J. UCS 6(7): 731-757 (2000)
1999
5	EE	Michael W. Whalen, Mats Per Erik Heimdahl: An Approach to Automatic Code Generation for Safety-Critical Systems. ASE 1999: 315-318
4	EE	Michael W. Whalen, Mats Per Erik Heimdahl: On the Requirements of High-Integrity Code Generation. HASE 1999: 217-
1998
3	EE	Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen: On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. EUROMICRO 1998: 10435-10444
1997
2	EE	Mats Per Erik Heimdahl, Michael W. Whalen: Reduction and Slicing of Hierarchical State Machines. ESEC / SIGSOFT FSE 1997: 450-467
1991
1	EE	Paul D. Gader, Brian Forester, Margaret Ganzberger, Andrew Gillies, Brian Mitchell, Michael W. Whalen, Todd Yocum: Recognition of handwritten digits using template and model matching. Pattern Recognition 24(5): 421-431 (1991)

Coauthor Index

1	Yunja Choi	[10] [13]
2	Darren D. Cofer	[17]
3	Bernd Fischer	[8] [9] [12]
4	Brian Forester	[1]
5	Paul D. Gader	[1]
6	Margaret Ganzberger	[1]
7	Andrew Gillies	[1]
8	Mats Per Erik Heimdahl	[2] [3] [4] [5] [6] [10] [11] [13] [14] [15] [16] [18] [19]
9	Bruce H. Krogh	[17]
10	Steven P. Miller	[14] [15] [17]
11	Brian Mitchell	[1]
12	Ajitha Rajan	[15] [16] [18] [19]
13	Johann Schumann	[8] [9] [12]
14	Matt Staats	[19]
15	Walter Storm	[17]
16	Jeffrey M. Thompson	[3] [6] [11]
17	Alan C. Tribble	[14]
18	Jon Whittle (Jonathan Whittle)	[12]
19	Todd Yocum	[1]

Colors in the list of coauthors