2005 |
5 | EE | 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 | EE | 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 | EE | 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 | EE | James M. Purtilo,
Aaron Larson,
Jeff Clark:
A Methodology for Prototyping-in-the-Large.
ICSE 1991: 2-12 |
1 | EE | John Kimball,
Aaron Larson:
Epochs, Configuration Schema, and Version Cursors in the KBSA Framework CCM Model.
SCM 1991: 33-42 |