Theses most similar to those of author Ouimet, Martin, 1975-
A diagnostics architecture for component-based system engineering (2004) read it
Hazard elimination using backwards reachability techniques in discrete and hybrid models
Neogi, Natasha A. (Natasha Anita), 1976- (2001)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
A fault tolerant architecture for nuclear power plant control systems
Antonini, Claudio Daniel (1982)
- Advisor: David D. Lanning [and] J. W. Gosnell
- Department of Nuclear Engineering
Modeling and analysis of software specifications for an autonomous aerial vehicle
Vuong, Hon Fai, 1975- (1999)
- Advisors: Eric Feron; Mark R. Abramso
- Department of Aeronautics and Astronautics
- Advisor: Jonathan Allen
- Department of Electrical Engineering and Computer Science
- Advisor: Deyst, John J. (John Jacob)
- Department of Aeronautics and Astronautics
Simulation methods for the development of modular strategic guidance systems
Long, Stephen Michael, Ensign (2003)
- Advisors: Andrew J. Staugle; Peter M. Kachmar
- Department of Aeronautics and Astronautics
Candidate system architecture for intelligent itegrated infrastructure
Fleet, Charles O'Bryan, 1977- (2000)
- Advisor: Jerome J. Connor, Jr.
- Department of Civil and Environmental Engineering
Investigating the readability of formal specification languages
Zimmerman, Marc Kenton, 1975- (2001)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
Context in the risk assessment and hazard analysis of digital instrumentation and control systems
Garrett, Christopher James (1999)
- Advisor: George E. Apostolakis
- Department of Nuclear Engineering
A formal framework for specification-based embedded real-time system engineering (2008) read it
- Advisors: Dilsun K. Kayna; Nancy Lynch
- Department of Electrical Engineering and Computer Science
Timed model-based programming : executable specifications for robust mission-critical sequences
Ingham, Michel D. (Michel Donald), 1972- (2003)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
- Department of Electrical Engineering and Computer Science
Verifiable compilation of I/O automata without global synchronization
Tauber, Joshua A. (Joshua Allen) (2005)
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisors: Dilsun K. Kayna; Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Carl Hewitt
- Department of Electrical Engineering and Computer Science
- Advisors: I. Kristina Lundqvist; R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
- Advisors: Dilsun Kaynar; Stephen J. Garland
- Department of Electrical Engineering and Computer Science