Theses most similar to those of author Luchangco, Victor

Using simulation techniques to prove timing properties (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

Memory consistency models for high performance distributed computing (2001) read it

Provably good race detection that runs in parallel

Fineman, Jeremy T (2005)

  • Advisor: Charles E. Leiserson
  • 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

Revisiting the Paxos algorithm

De Prisco, Roberto (1997)

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

Certifying a crash-safe file system

Chen, Haogang (2016)

  • Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Verifying an I/O-concurrent file system

Chajed, Tej (2017)

  • Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Design and verification of adaptive cache coherence protocols

Shen, Xiaowei, 1966- (2000)

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