Theses most similar to those of author Nolte, Tina Ann, 1979-

Virtual stationary timed automata for mobile networks (2009) 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

A theory of clock synchronization

Patt, Boaz (1994)

  • Advisor: Nancy A. Lynch
  • 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 TCP and T/TCP

Smith, Mark Anthony Shawn, 1968- (1997)

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

Formal verification of safety-critical hybrid systems

Livadas, Carolos (1997)

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

Lower bounds in distributed computing

Fan, Rui, 1977- (2008)

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

Towards a topological characterization of asynchronous complexity

Hoest, Gunnar Waaler, 1972- (1997)

  • Advisors: Nancy A. Lynch; Nir Shavit
  • 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

On building blocks for distributed systems

De Prisco, Roberto (2000)

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

Exploring filesystem synchronization with lightweight modeling and analysis (2002) read it

Formal verification of TCP and T/TCP

Smith, Mark Anthony Shawn, 1968- (1997)

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

Automating modular program verification by refining specifications

Taghdiri, Mana, 1979- (2008)

  • Advisor: Daniel N. Jackson
  • Department of Electrical Engineering and Computer Science
Read it

A simple mechanism for sharing variables across the internet

Harris, Jake, 1975- (1998)

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

JPS : a distributed persistent Java system

Boyapati, Chandrasekhar, 1973- (1998)

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

Prolac--a language for protocol compilation

Kohler, Eddie, 1973- (1998)

  • Advisor: M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it

Description and analysis of central registry, a pattern for modular implicit invocation

Whitney, Jonathan Newcomb Swirsky, 1979- (2002)

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

Exploring the design of an intentional naming scheme with an automatic constraint analyzer

Khurshid, Sarfraz, 1972- (2000)

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

Lasy schema evolution in object-oriented databases

Cheung, Yin, 1976- (2001)

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