Theses most similar to Translating timed I/O automata specifications for theorem proving in PVs (Lim, Hongping; 2006) read it

Simulation of composite I/O automata

Solovey, Edward, 1979- (2003)

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

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
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

Incorporating specialized theories into a general purpose theorem prover

Pogosyants, Anna (1995)

  • Advisor: Stephen J. Garland
  • 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

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

Formal verification of simulations between I/O automata

Bogdanov, Andrej, 1978- (2001)

  • Advisor: Stephen J. Garland
  • Department of Electrical Engineering and Computer Science
Read it

Paired simulation of I/O automata

Ramírez-Robredo, J. Antonio (José Antonio), 1976- (2000)

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