Theses most similar to those of author Weinberg, Henri B. (Henri Bernard)

Correctness of vehicle control systems a case study (1996) read it

Automatic verification of the timing properties of MMT automata

Söylemez, Ekrem Sezer (1994)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Simulation of timed input/output automata

Mavrommatis, Panayiotis P (2006)

  • Advisors: Dilsun K. Kayna; Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Translating timed I/O automata specifications for theorem proving in PVs

Lim, Hongping (2006)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Using simulation techniques to prove timing properties

Luchangco, Victor (1995)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Formal verification of safety-critical hybrid systems

Livadas, Carolos (1997)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

A verification framework for hybrid systems

Mitra, Sayan (2007)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

A simulator for the IOA language

Chefter, Anna E., 1973- (1998)

  • Advisors: Nancy A. Lynch; Stephen J. Garland
  • Department of Electrical Engineering and Computer Science
Read it

Runtime verification for stochastic systems

Wilcox, Cristina M (2010)

  • Advisor: Brian C. Williams
  • Department of Aeronautics and Astronautics
Read it

An automata-theoretic model for UNITY

Nour, Magda F (1989)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Safety verification for automated vehicle maneuvers

Dolginova, Ekaterina, 1977- (1998)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it