Theses most similar to Automatic verification of the timing properties of MMT automata (Söylemez, Ekrem Sezer; 1994) read it

Concepts in parallel problem solving

Kornfeld, William A (1982)

  • Advisor: Carl Hewitt
  • 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

Automated termination proofs using Walther recursion

Wu, Alexander (1994)

  • Advisor: David A. McAllester
  • 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

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

Semantics of communicating parallel processes.

Greif, Irene (1975)

  • Advisor: Carl Hewitt
  • 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

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