Aaron Larson

	2005
5		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)
	2000
4		John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verification of time partitioning in the DEOS scheduler kernel. ICSE 2000: 488-497
	1999
3		Libin Dong, Rami G. Melhem, Daniel Mossé, Sunondo Ghosh, Walter L. Heimerdinger, Aaron Larson: Implementation of a Transient-Fault-Tolerance Scheme on DEOS - A Technology Transfer from an Academic System to an Industrial System. IEEE Real Time Technology and Applications Symposium 1999: 56-
	1991
2		James M. Purtilo, Aaron Larson, Jeff Clark: A Methodology for Prototyping-in-the-Large. ICSE 1991: 2-12
1		John Kimball, Aaron Larson: Epochs, Configuration Schema, and Version Cursors in the KBSA Framework CCM Model. SCM 1991: 33-42

Coauthor Index

1	Jeff Clark	[2]
2	Libin Dong	[3]
3	Eric Engstrom	[4] [5]
4	Sunondo Ghosh	[3]
5	Walter L. Heimerdinger	[3]
6	John Kimball	[1]
7	Rami G. Melhem	[3]
8	Daniel Mossé	[3]
9	Seungjoon Park	[5]
10	Corina S. Pasareanu	[5]
11	John Penix	[4] [5]
12	James M. Purtilo	[2]
13	Willem Visser	[4] [5]
14	Nicholas Weininger	[4] [5]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page