Geoffrey M. Brown

16 papers A* 1A 1B 3C 2Journal 7Unranked 2

Year	Rank	Type	Title / 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