Theses most similar to those of author Dennis, Gregory D. (Gregory David), 1980-
A relational framework for bounded program verification (2009) read it
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
- Advisor: Martin Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
Verification of full functional correctness for imperative linked data structures
Zee, Karen K (2010)
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
An imperative extension to alloy and a compiler for its execution
Near, Joseph P. (Joseph Paul) (2010)
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science
An improved scalable mixed-level approach to dynamic analysis of C and C++ programs
Rudd, Robert Andre (2010)
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science
- Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
- Department of Electrical Engineering and Computer Science
TSAFE : building a trusted computing base for air traffic control software (2003) read it
Design and evaluation of advanced electronic cockpit displays for instrument approach information
Mykityshyn, Mark G. (Mark Gerald) (1991)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
Multi-agent flight simulation with robust situation generation dc by Eric N. Johnson.
Johnson, Eric N (1995)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
Evaluating the depiction of complex RNAV/RNP procedures and analyzing a potential de-cluttering technique
Butchibabu, Abhizna (2012)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
A safety-centered approach to developing new air traffic management tools
De Villepin, Maxime Galouzéau, 1976- (2001)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
Extending a formal specification & requirements language : a case study
Lai, Danny Cho-Liang, 1978- (2001)
- Advisor: Nancy G. Leveson
- Department of Electrical Engineering and Computer Science
VisualFlight : the air traffic control data analysis system
Lin, Joyce C. (Joyce Chaisin), 1979- (2002)
- Advisor: David K. Gifford
- Department of Electrical Engineering and Computer Science
Full efficiency benefits and implementation considerations for cruise altitude and speed optimization in the National Airspace system
Jensen, Luke L (2014)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
Estimation of potential aircraft fuel burn reduction in cruise via speed and altitude optimization strategies
Lovegren, Jonathan A. (Jonathan Anders) (2011)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics