Theses most similar to those of author Wilcox, Cristina M

Runtime verification for stochastic systems (2010) 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

Semantics of communicating parallel processes.

Greif, Irene (1975)

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

Topics in distributed computing : the impact of partial synchrony, and modular decomposition of algorithms

Welch, Jennifer (1988)

  • Advisor: Nancy A. Lynch
  • 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