Geoffrey M. Brown

16 papers A* 1A 1B 3C 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2011 J jnl
Automated verification and refinement for physical-layer protocols.
Formal Aspects Comput.
Geoffrey M. Brown, Lee Pike
2009 C conf
Roll your own test bed for embedded real-time protocols: a haskell experience.
Haskell
Lee Pike, Geoffrey M. Brown, Alwyn Goodloe
2007 C conf
Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols.
MEMOCODE
Geoffrey M. Brown, Lee Pike
2006 A conf
Easy Parameterized Verification of Biphase Mark and 8N1 Protocols.
TACAS
Geoffrey M. Brown, Lee Pike
2006 — conf
Verification of a Data Synchronization Circuit For All Time.
ACSD
Geoffrey M. Brown
1993 J jnl
Lazy Caching.
ACM Trans. Program. Lang. Syst.
Yehuda Afek, Geoffrey M. Brown, Michael Merritt
1993 J jnl
Self-Stabilization Over Unreliable Communication Media.
Distributed Comput.
Yehuda Afek, Geoffrey M. Brown
1991 J jnl
Block acknowledgment: redesigning the window protocol.
IEEE Trans. Commun.
Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller
1991 J jnl
Formally verified synthesis of combinational CMOS circuits.
Integr.
David A. Basin, Geoffrey M. Brown, Miriam Leeser
1990 J jnl
Asynchronous Multicaches.
Distributed Comput.
Geoffrey M. Brown
1989 B conf
A Lazy Cache Algorithm.
SPAA
Yehuda Afek, Geoffrey M. Brown, Michael Merritt
1989 A* conf
Block Acknowledgement: Redesigning the Window Protocol.
SIGCOMM
Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller
1989 — conf
From Programs to Transistors: Verifying Hardware Synthesis Tools.
Hardware Specification, Verification and Synthesis
Geoffrey M. Brown, Miriam Leeser
1989 B conf
Self-Stabilization of the Alternating-Bit Protocol.
SRDS
Yehuda Afek, Geoffrey M. Brown
1989 J jnl
Token Systems that Self-Stabilize.
IEEE Trans. Computers
Geoffrey M. Brown, Mohamed G. Gouda, Chuan-lin Wu
1986 B conf
Operating System Kernel for a Reconfigurable Multiprocessor System.
ICPP
Geoffrey M. Brown, Chuan-lin Wu