Theses most similar to Simulation of timed input/output automata (Mavrommatis, Panayiotis P; 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

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

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

Distributed functional programming in Scheme

Schwendner, Alex (Alex R.) (2010)

  • Advisor: Saman Amarasinghe
  • Department of Electrical Engineering and Computer Science
Read it

Systematic testing of multithreaded Java programs

Bruening, Derek L. (Derek Lane), 1976- (1999)

  • Advisor: John Chapin
  • Department of Electrical Engineering and Computer Science
Read it

TIOA and UPPAAL

Robson, Christine Margaret, 1981- (2004)

  • Advisors: Dilsun Kaynar; Stephen J. Garland
  • Department of Electrical Engineering and Computer Science
Read it

Synthesis of multi-cycle circuits from guarded atomic actions

Karczmarek, Michal, 1977- (2011)

  • Advisor: Arvind
  • Department of Electrical Engineering and Computer Science
Read it