Using Temporal Logic for Automatic Verification of Finite State Systems. - Edmund M. Clarke; Michael C. Browne; E. Allen Emerson; A. Prasad Sistla (Logics and Models of Concurrent Systems, 1984)

An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic - Michael C. Browne (LICS, 1986)

Automatic Verification of Sequential Circuits Using Temporal Logic. - Michael C. Browne; Edmund M. Clarke; David L. Dill; Bud Mishra (IEEE Trans. Computers, 1986)

Characterizing Kripke Structures in Temporal Logic. - Michael C. Browne; Edmund M. Clarke; Orna Grumberg (TAPSOFT, Vol.1, 1987)

Characterizing Finite Kripke Structures in Propositional Temporal Logic. - Michael C. Browne; Edmund M. Clarke; Orna Grumberg (Theor. Comput. Sci., 1988)

Reasoning about Networks with Many Identical Finite State Processes - Michael C. Browne; Edmund M. Clarke; Orna Grumberg (Inf. Comput., 1989)

The S3.mp Architecture: A Local Area Multiprocessor. - Andreas Nowatzyk; M. Monger; Michael Parkin; Edmund J. Kelly; Michael C. Browne; Gunes Aybay; David Lee (SPAA, 1993)

The S3mp Scalable Shared Memory Multiprocessor. - Andreas Nowatzyk; Gunes Aybay; Michael C. Browne; Edmund J. Kelly; David Lee; Michael Parkin (HICSS (1), 1994)

Exploiting Parallelism in Cache Coherency Protocol Engines. - Andreas Nowatzyk; Gunes Aybay; Michael C. Browne; Edmund J. Kelly; Michael Parkin; Bill Radke; Sanjay Vishin (Euro-Par, 1995)

The S3.mp Scalable Shared Memory Multiprocessor. - Andreas Nowatzyk; Gunes Aybay; Michael C. Browne; Edmund J. Kelly; Michael Parkin; Bill Radke; Sanjay Vishin (ICPP (1), 1995)

S-Connect: From Networks of Workstations to Supercomputer Performance. - Andreas Nowatzyk; Michael C. Browne; Edmund J. Kelly; Michael Parkin (ISCA, 1995)

Design Verification of the S3.mp Cache-Coherent Shared-Memory System. - Fong Pong; Michael C. Browne; Gunes Aybay; Andreas Nowatzyk; Michel Dubois 001 (IEEE Trans. Computers, 1998)