Aaron Larson

According to our database, Aaron Larson authored at least 5 papers between 1991 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2005

Verifying Time Partitioning in the DEOS Scheduling Kernel.

John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger

Formal Methods Syst. Des., 2005

2000

Verification of time partitioning in the DEOS scheduler kernel.

John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Implementation of a Transient-Fault-Tolerance Scheme on DEOS - A Technology Transfer from an Academic System to an Industrial System.

Libin Dong, Rami G. Melhem, Daniel Mossé, Sunondo Ghosh, Walter L. Heimerdinger, Aaron Larson

Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, 1999

1991

Epochs, Configuration Schema, and Version Cursors in the KBSA Framework CCM Model.

John Kimball, Aaron Larson

Proceedings of the 3rd International Workshop on Software Configuration Management, 1991

A Methodology for Prototyping-in-the-Large.

James M. Purtilo, Aaron Larson, Jeff Clark

Proceedings of the 13th International Conference on Software Engineering, 1991