Theses most similar to Using simulation techniques to prove timing properties (Luchangco, Victor; 1995) 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

Modeling and verification of randomized distributed real-time systems

Segala, Roberto (1995)

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

A theory of clock synchronization

Patt, Boaz (1994)

  • 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

Revisiting the Paxos algorithm

De Prisco, Roberto (1997)

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

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

An automata-theoretic model for UNITY

Nour, Magda F (1989)

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

On building blocks for distributed systems

De Prisco, Roberto (2000)

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