Eric Engstrom

	2005
4		John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods in System Design 26(2): 103-135 (2005)
	2003
3		Kirk Schloegel, David Oglesby, Eric Engstrom, Devesh Bhatt: Composable Code Generation for Model-Based Development. SCOPES 2003: 211-225
	2001
2		Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal: Applications of Model Checking at Honeywell Laboratories. SPIN 2001: 296-303
	2000
1		John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verification of time partitioning in the DEOS scheduler kernel. ICSE 2000: 488-497

Coauthor Index

1	Devesh Bhatt	[3]
2	Darren D. Cofer	[2]
3	Robert P. Goldman	[2]
4	Aaron Larson	[1] [4]
5	David J. Musliner	[2]
6	David Oglesby	[3]
7	Seungjoon Park	[4]
8	Corina S. Pasareanu	[4]
9	John Penix	[1] [4]
10	Kirk Schloegel	[3]
11	Steve Vestal	[2]
12	Willem Visser	[1] [4]
13	Nicholas Weininger	[1] [4]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page