dblp.uni-trier.dewww.uni-trier.de

John W. O'Leary Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
14EEJohn W. O'Leary, Bratin Saha, Mark R. Tuttle: Model Checking Transactional Memory with Spin. ICDCS 2009: 335-342
2008
13EEJohn W. O'Leary, Bratin Saha, Mark R. Tuttle: Model checking transactional memory with spin. PODC 2008: 424
12EEDavid James, Tim Leonard, John W. O'Leary, Murali Talupur, Mark R. Tuttle: Extracting models from design documents with mapster. PODC 2008: 456
2007
11EEAriel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck: Verifying Correctness of Transactional Memories. FMCAD 2007: 37-44
2006
10EEJim Grundy, Thomas F. Melham, John W. O'Leary: A reflective functional language for hardware design and theorem proving. J. Funct. Program. 16(2): 157-196 (2006)
2005
9EECarl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark Aagaard, Clark Barrett, Don Syme: An industrially effective environment for formal hardware verification. IEEE Trans. on CAD of Integrated Circuits and Systems 24(9): 1381-1405 (2005)
2002
8 Mark Aagaard, John W. O'Leary: Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings Springer 2002
2001
7EERobert B. Jones, John W. O'Leary, Carl-Johan H. Seger, Mark Aagaard, Thomas F. Melham: Practical Formal Verification in Microprocessor Design. IEEE Design & Test of Computers 18(4): 16-25 (2001)
2000
6EEMark Aagaard, Robert B. Jones, Thomas F. Melham, John W. O'Leary, Carl-Johan H. Seger: A Methodology for Large-Scale Hardware Verification. FMCAD 2000: 263-282
1999
5EEMark Aagaard, Thomas F. Melham, John W. O'Leary: Xs are for Trajectory Evaluation, Booleans are for Theorem Proving. CHARME 1999: 202-218
1996
4 Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao: Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. FMCAD 1996: 19-33
1995
3EEMiriam Leeser, John W. O'Leary: Verification of a subtractive radix-2 square root algorithm and implementation. ICCD 1995: 526-531
1994
2 John W. O'Leary, Miriam Leeser, Jason Hickey, Mark Aagaard: Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization. TPCD 1994: 52-71
1993
1 John W. O'Leary, Mark H. Linderman, Miriam Leeser, Mark Aagaard: HML: A Hardware Description Language Based on Standard ML. CHDL 1993: 327-334

Coauthor Index

1Mark Aagaard [1] [2] [5] [6] [7] [8] [9]
2Clark W. Barrett (Clark Barrett) [9]
3Yirng-An Chen [4]
4Edmund M. Clarke [4]
5Ariel Cohen [11]
6Jim Grundy [10]
7Jason Hickey [2]
8Pei-Hsin Ho [4]
9Yatin Vasant Hoskote [4]
10David James [12]
11Robert B. Jones [6] [7] [9]
12Timothy Kam [4]
13Manpreet Khaira [4]
14Miriam Leeser [1] [2] [3]
15Tim Leonard [12]
16Mark H. Linderman [1]
17Thomas F. Melham [5] [6] [7] [9] [10]
18Amir Pnueli [11]
19Bratin Saha [13] [14]
20Carl-Johan H. Seger [6] [7] [9]
21Don Syme [9]
22Murali Talupur [12]
23Mark R. Tuttle [11] [12] [13] [14]
24Xudong Zhao [4]
25Lenore D. Zuck [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)