Theses most similar to those of author Elliott, Paul Harrison, 1979-
An efficient projected minimal conflict generator for projected prime implicate and implicant generation (2004) read it
Model-based monitoring and diagnosis of systems with software-extended behavior
Mikaelian, Tsoline (2005)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisors: Nancy A. Lynch; Stephen J. Garland
- 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
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
Storyboard programming of data structure manipulations : a picture is worth 20 lines of code
Singh, Rishabh (2010)
- Advisor: Armando Solar-Lezama
- Department of Electrical Engineering and Computer Science
Verification of semantic commutativity conditions and inverse operations on linked data structures
Kim, Deokhwan (2011)
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
Extracting the K best solutions from a valued and-or acyclic graph (2007) read it
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
- Advisor: Erik D. Demaine
- Department of Electrical Engineering and Computer Science
A constraint solver for software engineering : finding models and cores of large relational specifications
Torlak, Emina, 1979- (2009)
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science
Fast, approximate state estimation of concurrent probabilistic hybrid automata
Timmons, Eric (Eric M.) (2013)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Armando Solar-Lezama
- Department of Electrical Engineering and Computer Science
- Advisors: Kalyan Veeramachaneni; Una-May O'Reilly
- Department of Electrical Engineering and Computer Science
- Advisors: Eddie Kohler; Robert T. Morris
- Department of Electrical Engineering and Computer Science
- Advisor: Kalyan Veeramachaneni
- Department of Electrical Engineering and Computer Science