Geoffrey M. Brown

	2011
14		Geoffrey M. Brown, Lee Pike: Automated verification and refinement for physical-layer protocols. Formal Asp. Comput. 23(3): 243-266 (2011)
	2009
13		Lee Pike, Geoffrey M. Brown, Alwyn Goodloe: Roll your own test bed for embedded real-time protocols: a haskell experience. Haskell 2009: 61-68
	2007
12		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		Geoffrey M. Brown: Verification of a Data Synchronization Circuit For All Time. ACSD 2006: 217-228
10		Geoffrey M. Brown, Lee Pike: Easy Parameterized Verification of Biphase Mark and 8N1 Protocols. TACAS 2006: 58-72
	1993
9		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		Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller: Block Acknowledgement: Redesigning the Window Protocol. SIGCOMM 1989: 128-135
4		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

Coauthor Index

1	Yehuda Afek	[3] [4] [8] [9]
2	Alwyn Goodloe	[13]
3	Mohamed G. Gouda	[2] [5]
4	Miriam Leeser	[6]
5	Michael Merritt	[4] [9]
6	Raymond E. Miller	[5]
7	Lee Pike	[10] [12] [13] [14]
8	Chuan-lin Wu	[1] [2]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page