Aaron Larson

Publication Activity (10 Years)

Years Active: 1991-2005
Publications (10 Years): 0

Publications

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 Syst. Des. 26 (2) (2005)
John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger
Verification of time partitioning in the DEOS scheduler kernel. ICSE (2000)
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)
James M. Purtilo, Aaron Larson, Jeff Clark
A Methodology for Prototyping-in-the-Large. ICSE (1991)
John Kimball, Aaron Larson
Epochs, Configuration Schema, and Version Cursors in the KBSA Framework CCM Model. SCM (1991)