Difference between revisions of "Mike Browne"
GerdIsenberg (talk | contribs) |
GerdIsenberg (talk | contribs) |
||
| Line 20: | Line 20: | ||
* [[Mike Browne|Michael Browne]], [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#OGrumberg|Orna Grumberg]] ('''1988'''). ''Characterizing Finite Kripke Structures in Propositional Temporal Logic''. [https://en.wikipedia.org/wiki/Theoretical_Computer_Science_(journal) Theoretical Computer Science], Vol. 59 | * [[Mike Browne|Michael Browne]], [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#OGrumberg|Orna Grumberg]] ('''1988'''). ''Characterizing Finite Kripke Structures in Propositional Temporal Logic''. [https://en.wikipedia.org/wiki/Theoretical_Computer_Science_(journal) Theoretical Computer Science], Vol. 59 | ||
* [[Mike Browne|Michael Browne]], [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#OGrumberg|Orna Grumberg]] ('''1989'''). ''Reasoning about Networks with Many Identical Finite State Processes''. [https://en.wikipedia.org/wiki/Information_and_Computation Information and Computation], Vol. 81, No. 1 | * [[Mike Browne|Michael Browne]], [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#OGrumberg|Orna Grumberg]] ('''1989'''). ''Reasoning about Networks with Many Identical Finite State Processes''. [https://en.wikipedia.org/wiki/Information_and_Computation Information and Computation], Vol. 81, No. 1 | ||
| − | * [[Mike Browne|Michael Browne]] ('''1989'''). ''Automatic Verification of Finite State Machines Using Temporal Logic''. Ph.D. thesis, [[Carnegie Mellon University]], advisor [[Mathematician#EMClarke|Edmund M. Clarke] | + | * [[Mike Browne|Michael Browne]] ('''1989'''). ''Automatic Verification of Finite State Machines Using Temporal Logic''. Ph.D. thesis, [[Carnegie Mellon University]], advisor [[Mathematician#EMClarke|Edmund M. Clarke]] |
==1990 ...== | ==1990 ...== | ||
* [[Andreas Nowatzyk]], [https://dblp.uni-trier.de/pers/hd/a/Aybay:Gunes Günes Aybay], [[Mike Browne|Michael Browne]], [https://dblp.uni-trier.de/pers/hd/k/Kelly:Edmund_J= Edmund J. Kelly], [https://dblp.uni-trier.de/pers/hd/p/Parkin:Michael Michael Parkin], [https://dblp.uni-trier.de/pers/hd/r/Radke:Bill Bill Radke], [https://dblp.uni-trier.de/pers/hd/v/Vishin:Sanjay Sanjay Vishin] ('''1995'''). ''Exploiting Parallelism in Cache Coherency Protocol Engines''. [https://link.springer.com/book/10.1007%2FBFb0020448 Euro-Par '95], [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science LNCS], Vol. 966, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer] | * [[Andreas Nowatzyk]], [https://dblp.uni-trier.de/pers/hd/a/Aybay:Gunes Günes Aybay], [[Mike Browne|Michael Browne]], [https://dblp.uni-trier.de/pers/hd/k/Kelly:Edmund_J= Edmund J. Kelly], [https://dblp.uni-trier.de/pers/hd/p/Parkin:Michael Michael Parkin], [https://dblp.uni-trier.de/pers/hd/r/Radke:Bill Bill Radke], [https://dblp.uni-trier.de/pers/hd/v/Vishin:Sanjay Sanjay Vishin] ('''1995'''). ''Exploiting Parallelism in Cache Coherency Protocol Engines''. [https://link.springer.com/book/10.1007%2FBFb0020448 Euro-Par '95], [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science LNCS], Vol. 966, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer] | ||
Revision as of 11:43, 6 June 2018
Michael C. (Mike) Browne,
an American electrical engineer and computer scientist. He holds a Ph.D. in 1989 from Carnegie Mellon University on formal verification and model checking using temporal logic
under Edmund M. Clarke. At Carnegie Mellon, he was further member of the Deep Thought team, where he was responsible for the opening book,
and later worked with Andreas Nowatzyk et al. in the field of parallel computing concerning shared memory and cache coherence.
Photos
Murray Campbell, Feng-hsiung Hsu, Thomas Anantharaman, Mike Browne and Andreas Nowatzyk,
after winning the Fredkin Intermediate Prize for Deep Thought's Grandmaster-level performance. [1]
Selected Publications
1986 ...
- Edmund M. Clarke, Orna Grumberg, Michael Browne (1986). Reasoning About Networks With Many Identical Finite-State Processes. PODC 1986
- Michael Browne (1986). An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic. LICS 1986 [4]
- Michael Browne, Edmund M. Clarke, David L. Dill, Bud Mishra (1986). Automatic Verification of Sequential Circuits Using Temporal Logic". IEEE Transactions on Computers, Vol. 35, No. 12
- Michael Browne, Edmund M. Clarke, Orna Grumberg (1987). Characterizing Kripke Structures in Temporal Logic. TAPSOFT [5]
- Michael Browne, Edmund M. Clarke, Orna Grumberg (1988). Characterizing Finite Kripke Structures in Propositional Temporal Logic. Theoretical Computer Science, Vol. 59
- Michael Browne, Edmund M. Clarke, Orna Grumberg (1989). Reasoning about Networks with Many Identical Finite State Processes. Information and Computation, Vol. 81, No. 1
- Michael Browne (1989). Automatic Verification of Finite State Machines Using Temporal Logic. Ph.D. thesis, Carnegie Mellon University, advisor Edmund M. Clarke
1990 ...
- Andreas Nowatzyk, Günes Aybay, Michael Browne, Edmund J. Kelly, Michael Parkin, Bill Radke, Sanjay Vishin (1995). Exploiting Parallelism in Cache Coherency Protocol Engines. Euro-Par '95, LNCS, Vol. 966, Springer
- Andreas Nowatzyk, Michael Browne, Edmund J. Kelly, Michael Parkin (1995). S-Connect: From Networks of Workstations to Supercomputer Performance. ISCA 1995
- Fong Pong, Michael Browne, Andreas Nowatzyk, Michel Dubois, Günes Aybay (1998). Design Verification of the S3.mp Cache-Coherent Shared-Memory System. IEEE Transactions on Computers, Vol. 47, No. 1
