Search the dblp DataBase

Publications of Author

1. John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger
   Verification of time partitioning in the DEOS scheduler kernel. [Citation Graph (0, 0)][DBLP]
   ICSE, 2000, pp:488-497 [Conf]
   
2. James M. Purtilo, Aaron Larson, Jeff Clark
   A Methodology for Prototyping-in-the-Large. [Citation Graph (0, 0)][DBLP]
   ICSE, 1991, pp:2-12 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   IEEE Real Time Technology and Applications Symposium, 1999, pp:56-0 [Conf]
   
4. John Kimball, Aaron Larson
   Epochs, Configuration Schema, and Version Cursors in the KBSA Framework CCM Model. [Citation Graph (0, 0)][DBLP]
   SCM, 1991, pp:33-42 [Conf]
   
5. John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
   Verifying Time Partitioning in the DEOS Scheduling Kernel. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:26, n:2, pp:103-135 [Journal]