Geoffrey M. Brown

Publication Activity (10 Years)

Years Active: 1986-2011
Publications (10 Years): 0

Publications

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