Aaron Larson

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2005
j1		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
c4		John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verification of time partitioning in the DEOS scheduler kernel. ICSE 2000: 488-497
	1999
c3		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
c2		James M. Purtilo, Aaron Larson, Jeff Clark: A Methodology for Prototyping-in-the-Large. ICSE 1991: 2-12
c1		John Kimball, Aaron Larson: Epochs, Configuration Schema, and Version Cursors in the KBSA Framework CCM Model. SCM 1991: 33-42

Coauthor Index

Last update Tue May 21 16:38:25 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page