The SCEAS System
Navigation Menu

Search the dblp DataBase


Aaron Larson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.001secs, Finished in 0.001secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002