| 2007 |
|---|
| 12 | EE | Geoffrey M. Brown,
Lee Pike:
Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols.
MEMOCODE 2007: 171-180 |
| 2006 |
|---|
| 11 | EE | Geoffrey M. Brown:
Verification of a Data Synchronization Circuit For All Time.
ACSD 2006: 217-228 |
| 10 | EE | Geoffrey M. Brown,
Lee Pike:
Easy Parameterized Verification of Biphase Mark and 8N1 Protocols.
TACAS 2006: 58-72 |
| 1993 |
|---|
| 9 | EE | Yehuda Afek,
Geoffrey M. Brown,
Michael Merritt:
Lazy Caching.
ACM Trans. Program. Lang. Syst. 15(1): 182-205 (1993) |
| 8 | | Yehuda Afek,
Geoffrey M. Brown:
Self-Stabilization Over Unreliable Communication Media.
Distributed Computing 7(1): 27-34 (1993) |
| 1990 |
|---|
| 7 | | Geoffrey M. Brown:
Asynchronous Multicaches.
Distributed Computing 4: 31-36 (1990) |
| 1989 |
|---|
| 6 | | Geoffrey M. Brown,
Miriam Leeser:
From Programs to Transistors: Verifying Hardware Synthesis Tools.
Hardware Specification, Verification and Synthesis 1989: 129-151 |
| 5 | EE | Geoffrey M. Brown,
Mohamed G. Gouda,
Raymond E. Miller:
Block Acknowledgement: Redesigning the Window Protocol.
SIGCOMM 1989: 128-135 |
| 4 | EE | Yehuda Afek,
Geoffrey M. Brown,
Michael Merritt:
A Lazy Cache Algorithm.
SPAA 1989: 209-222 |
| 3 | | Yehuda Afek,
Geoffrey M. Brown:
Self-Stabilization of the Alternating-Bit Protocol.
SRDS 1989: 80-83 |
| 2 | | Geoffrey M. Brown,
Mohamed G. Gouda,
Chuan-lin Wu:
Token Systems that Self-Stabilize.
IEEE Trans. Computers 38(6): 845-852 (1989) |
| 1986 |
|---|
| 1 | | Geoffrey M. Brown,
Chuan-lin Wu:
Operating System Kernel for a Reconfigurable Multiprocessor System.
ICPP 1986: 234-241 |
