Geoffrey M. Brown

According to our database, Geoffrey M. Brown authored at least 16 papers between 1986 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2011

Automated verification and refinement for physical-layer protocols.

Geoffrey M. Brown, Lee Pike

Formal Aspects Comput., 2011

2009

Roll your own test bed for embedded real-time protocols: a haskell experience.

Lee Pike, Geoffrey M. Brown, Alwyn Goodloe

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

2007

Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols.

Geoffrey M. Brown, Lee Pike

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

2006

Easy Parameterized Verification of Biphase Mark and 8N1 Protocols.

Geoffrey M. Brown, Lee Pike

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Verification of a Data Synchronization Circuit For All Time.

Geoffrey M. Brown

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

1993

Lazy Caching.

Yehuda Afek, Geoffrey M. Brown, Michael Merritt

ACM Trans. Program. Lang. Syst., 1993

Self-Stabilization Over Unreliable Communication Media.

Yehuda Afek, Geoffrey M. Brown

Distributed Comput., 1993

1991

Block acknowledgment: redesigning the window protocol.

Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller

IEEE Trans. Commun., 1991

Formally verified synthesis of combinational CMOS circuits.

David A. Basin, Geoffrey M. Brown, Miriam Leeser

Integr., 1991

1990

Asynchronous Multicaches.

Geoffrey M. Brown

Distributed Comput., 1990

1989

Token Systems that Self-Stabilize.

Geoffrey M. Brown, Mohamed G. Gouda, Chuan-lin Wu

IEEE Trans. Computers, 1989

Self-Stabilization of the Alternating-Bit Protocol.

Yehuda Afek, Geoffrey M. Brown

Proceedings of the Eigthth Symposium on Reliable Distributed Systems, 1989

A Lazy Cache Algorithm.

Yehuda Afek, Geoffrey M. Brown, Michael Merritt

Proceedings of the ACM Symposium on Parallel Algorithms and Architectures, 1989

Block Acknowledgement: Redesigning the Window Protocol.

Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller

Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989

From Programs to Transistors: Verifying Hardware Synthesis Tools.

Geoffrey M. Brown, Miriam Leeser

Proceedings of the Hardware Specification, 1989

1986

Operating System Kernel for a Reconfigurable Multiprocessor System.

Geoffrey M. Brown, Chuan-lin Wu

Proceedings of the International Conference on Parallel Processing, 1986