Michael C. Browne

Publication Activity (10 Years)

Years Active: 1984-1998
Publications (10 Years): 0

Publications

Fong Pong, Michael C. Browne, Gunes Aybay, Andreas Nowatzyk, Michel Dubois
Design Verification of the S3.mp Cache-Coherent Shared-Memory System. IEEE Trans. Computers 47 (1) (1998)
Andreas Nowatzyk, Michael C. Browne, Edmund J. Kelly, Michael Parkin
S-Connect: From Networks of Workstations to Supercomputer Performance. ISCA (1995)
Andreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, Michael Parkin, Bill Radke, Sanjay Vishin
Exploiting Parallelism in Cache Coherency Protocol Engines. Euro-Par (1995)
Andreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, Michael Parkin, Bill Radke, Sanjay Vishin
The S3.mp Scalable Shared Memory Multiprocessor. ICPP (1) (1995)
Andreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, David Lee, Michael Parkin
The S3mp Scalable Shared Memory Multiprocessor. HICSS (1) (1994)
Andreas Nowatzyk, M. Monger, Michael Parkin, Edmund J. Kelly, Michael C. Browne, Gunes Aybay, David Lee
The S3.mp Architecture: A Local Area Multiprocessor. SPAA (1993)
Michael C. Browne, Edmund M. Clarke, Orna Grumberg
Reasoning about Networks with Many Identical Finite State Processes Inf. Comput. 81 (1) (1989)
Michael C. Browne, Edmund M. Clarke, Orna Grumberg
Characterizing Finite Kripke Structures in Propositional Temporal Logic. Theor. Comput. Sci. 59 (1988)
Michael C. Browne, Edmund M. Clarke, Orna Grumberg
Characterizing Kripke Structures in Temporal Logic. TAPSOFT, Vol.1 (1987)
Michael C. Browne
An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic LICS (1986)
Michael C. Browne, Edmund M. Clarke, David L. Dill, Bud Mishra
Automatic Verification of Sequential Circuits Using Temporal Logic. IEEE Trans. Computers 35 (12) (1986)
Edmund M. Clarke, Orna Grumberg, Michael C. Browne
Reasoning About Networks With Many Identical Finite-State Processes. PODC (1986)
Edmund M. Clarke, Michael C. Browne, E. Allen Emerson, A. Prasad Sistla
Using Temporal Logic for Automatic Verification of Finite State Systems. Logics and Models of Concurrent Systems (1984)