Operating System Kernel for a Reconfigurable Multiprocessor System. - Geoffrey M. Brown; Chuan-lin Wu (ICPP, 1986)

From Programs to Transistors: Verifying Hardware Synthesis Tools. - Geoffrey M. Brown; Miriam Leeser (Hardware Specification, Verification and Synthesis, 1989)

Block Acknowledgement: Redesigning the Window Protocol. - Geoffrey M. Brown; Mohamed G. Gouda; Raymond E. Miller (SIGCOMM, 1989)

A Lazy Cache Algorithm. - Yehuda Afek; Geoffrey M. Brown; Michael Merritt (SPAA, 1989)

Self-Stabilization of the Alternating-Bit Protocol. - Yehuda Afek; Geoffrey M. Brown (SRDS, 1989)

Token Systems that Self-Stabilize. - Geoffrey M. Brown; Mohamed G. Gouda; Chuan-lin Wu (IEEE Trans. Computers, 1989)

Asynchronous Multicaches. - Geoffrey M. Brown (Distributed Comput., 1990)

Formally verified synthesis of combinational CMOS circuits. - David A. Basin; Geoffrey M. Brown; Miriam Leeser (Integr., 1991)

Block acknowledgment: redesigning the window protocol. - Geoffrey M. Brown; Mohamed G. Gouda; Raymond E. Miller (IEEE Trans. Commun., 1991)

Self-Stabilization Over Unreliable Communication Media. - Yehuda Afek; Geoffrey M. Brown (Distributed Comput., 1993)

Lazy Caching. - Yehuda Afek; Geoffrey M. Brown; Michael Merritt (ACM Trans. Program. Lang. Syst., 1993)

Verification of a Data Synchronization Circuit For All Time. - Geoffrey M. Brown (ACSD, 2006)

Easy Parameterized Verification of Biphase Mark and 8N1 Protocols. - Geoffrey M. Brown; Lee Pike (TACAS, 2006)

Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols. - Geoffrey M. Brown; Lee Pike (MEMOCODE, 2007)

Roll your own test bed for embedded real-time protocols: a haskell experience. - Lee Pike; Geoffrey M. Brown; Alwyn Goodloe (Haskell, 2009)

Automated verification and refinement for physical-layer protocols. - Geoffrey M. Brown; Lee Pike (Formal Aspects Comput., 2011)