John O’Leary

An industrially effective environment for formal hardware verification

C.-J.H. Seger, Robert B. Jones, John O’Leary et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2005 · 92 citations

Computing, Computer Engineering, Computer Science +17

Practical formal verification in microprocessor design

Robert B. Jones, John O’Leary, C.-J.H. Seger et al. · IEEE Design & Test of Computers · 2001 · 59 citations

Computing, Computer Engineering, Computer Science +16

A reflective functional language for hardware design and theorem proving

Jim Grundy, Tom Melham, John O’Leary · Journal of Functional Programming · 2005 · 57 citations · Full text

Computing, Computer Engineering, Computer Science +17

Protocol verification using flows: An industrial experience

John O’Leary, Murali Talupur, Mark R. Tuttle · 2009 · 42 citations

Computing, Computer Engineering, Computer Science +17

Synchronous Elastic Networks

Sava Krstić, Jordi Cortadella, Mike Kishinevsky et al. · 2006 · 36 citations · Full text

Engineering, Computer Engineering, Computer Science +12