Michael W. Whalen

	2009
20		David Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas Wagner, Michael W. Whalen: Development of Security Software: A High Assurance Methodology. ICFEM 2009: 266-285
	2008
19		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		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		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		Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl: Model Validation using Automatically Generated Requirements-Based Tests. HASE 2007: 95-104
	2006
15		Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller: Coverage metrics for requirements-based testing. ISSTA 2006: 25-36
14		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		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		Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle: Certification Support for Automatically Generated Programs. HICSS 2003: 337
11		Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson: NIMBUS: A Tool for Specification Centered Development. RE 2003: 349
	2002
10		Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen: Deviation Analysis Through Model Checking. ASE 2002: 37-46
9		Michael W. Whalen, Johann Schumann, Bernd Fischer: AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. CADE 2002: 290-294
8		Michael W. Whalen, Johann Schumann, Bernd Fischer: Synthesizing Certified Code. FME 2002: 431-450
	2000
7		Michael W. Whalen: High-integrity code generation for state-based formalisms. ICSE 2000: 725-727
6		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		Michael W. Whalen, Mats Per Erik Heimdahl: An Approach to Automatic Code Generation for Safety-Critical Systems. ASE 1999: 315-318
4		Michael W. Whalen, Mats Per Erik Heimdahl: On the Requirements of High-Integrity Code Generation. HASE 1999: 217-
	1998
3		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		Mats Per Erik Heimdahl, Michael W. Whalen: Reduction and Slicing of Hierarchical State Machines. ESEC / SIGSOFT FSE 1997: 450-467
	1991
1		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	David Hardin	[20]
9	Mats Per Erik Heimdahl	[2] [3] [4] [5] [6] [10] [11] [13] [14] [15] [16] [18] [19]
10	T. Douglas Hiratzka	[20]
11	D. Randolph Johnson	[20]
12	Bruce H. Krogh	[17]
13	Steven P. Miller	[14] [15] [17]
14	Brian Mitchell	[1]
15	Ajitha Rajan	[15] [16] [18] [19]
16	Johann Schumann	[8] [9] [12]
17	Matt Staats	[19]
18	Walter Storm	[17]
19	Jeffrey M. Thompson	[3] [6] [11]
20	Alan C. Tribble	[14]
21	Lucas Wagner	[20]
22	Jon Whittle (Jonathan Whittle)	[12]
23	Todd Yocum	[1]

Colors in the list of coauthors