Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: John W. O'Leary
@inproceedings{DBLP:journals/corr/OLearyR14,
author = {John W. O'Leary and
David M. Russinoff},
editor = {Freek Verbeek and
Julien Schmaltz},
title = {Modeling Algorithms in SystemC and {ACL2}},
booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover
and its Applications, Vienna, Austria, 12-13th July 2014},
series = {{EPTCS}},
volume = {152},
pages = {145--162},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.152.12},
doi = {10.4204/EPTCS.152.12},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/OLearyR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/OLearyKM13,
author = {John W. O'Leary and
Roope Kaivola and
Tom Melham},
title = {Relational {STE} and theorem proving for formal verification of industrial
circuit designs},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {97--104},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679397/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/OLearyKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BradyBSO10,
author = {Bryan A. Brady and
Randal E. Bryant and
Sanjit A. Seshia and
John W. O'Leary},
title = {{ATLAS:} Automatic Term-level abstraction of {RTL} designs},
booktitle = {8th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010},
pages = {31--40},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/MEMCOD.2010.5558624},
doi = {10.1109/MEMCOD.2010.5558624},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BradyBSO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/OLearyTT09,
author = {John W. O'Leary and
Murali Talupur and
Mark R. Tuttle},
title = {Protocol verification using flows: An industrial experience},
booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
pages = {172--179},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/FMCAD.2009.5351126},
doi = {10.1109/FMCAD.2009.5351126},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/OLearyTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/OLearyST09,
author = {John W. O'Leary and
Bratin Saha and
Mark R. Tuttle},
title = {Model Checking Transactional Memory with Spin},
booktitle = {29th {IEEE} International Conference on Distributed Computing Systems
{(ICDCS} 2009), 22-26 June 2009, Montreal, Qu{\'{e}}bec, Canada},
pages = {335--342},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICDCS.2009.72},
doi = {10.1109/ICDCS.2009.72},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/OLearyST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/OLearyST08,
author = {John W. O'Leary and
Bratin Saha and
Mark R. Tuttle},
editor = {Rida A. Bazzi and
Boaz Patt{-}Shamir},
title = {Model checking transactional memory with spin},
booktitle = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2008, Toronto, Canada, August 18-21,
2008},
pages = {424},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1400751.1400816},
doi = {10.1145/1400751.1400816},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/OLearyST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/JamesLOTT08,
author = {David James and
Tim Leonard and
John W. O'Leary and
Murali Talupur and
Mark R. Tuttle},
editor = {Rida A. Bazzi and
Boaz Patt{-}Shamir},
title = {Extracting models from design documents with mapster},
booktitle = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2008, Toronto, Canada, August 18-21,
2008},
pages = {456},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1400751.1400854},
doi = {10.1145/1400751.1400854},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/JamesLOTT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/0002OPTZ07,
author = {Ariel Cohen and
John W. O'Leary and
Amir Pnueli and
Mark R. Tuttle and
Lenore D. Zuck},
title = {Verifying Correctness of Transactional Memories},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {37--44},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.40},
doi = {10.1109/FAMCAD.2007.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/0002OPTZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GrundyMO06,
author = {Jim Grundy and
Thomas F. Melham and
John W. O'Leary},
title = {A reflective functional language for hardware design and theorem proving},
journal = {J. Funct. Program.},
volume = {16},
number = {2},
pages = {157--196},
year = {2006},
url = {https://doi.org/10.1017/S0956796805005757},
doi = {10.1017/S0956796805005757},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/GrundyMO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SegerJOMABS05,
author = {Carl{-}Johan H. Seger and
Robert B. Jones and
John W. O'Leary and
Thomas F. Melham and
Mark D. Aagaard and
Clark W. Barrett and
Don Syme},
title = {An industrially effective environment for formal hardware verification},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {24},
number = {9},
pages = {1381--1405},
year = {2005},
url = {https://doi.org/10.1109/TCAD.2005.850814},
doi = {10.1109/TCAD.2005.850814},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/SegerJOMABS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2002,
editor = {Mark D. Aagaard and
John W. O'Leary},
title = {Formal Methods in Computer-Aided Design, 4th International Conference,
{FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2517},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36126-X},
doi = {10.1007/3-540-36126-X},
isbn = {3-540-00116-6},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/JonesOSAM01,
author = {Robert B. Jones and
John W. O'Leary and
Carl{-}Johan H. Seger and
Mark D. Aagaard and
Thomas F. Melham},
title = {Practical Formal Verification in Microprocessor Design},
journal = {{IEEE} Des. Test Comput.},
volume = {18},
number = {4},
pages = {16--25},
year = {2001},
url = {https://doi.org/10.1109/54.936245},
doi = {10.1109/54.936245},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/JonesOSAM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AagaardJMOS00,
author = {Mark D. Aagaard and
Robert B. Jones and
Thomas F. Melham and
John W. O'Leary and
Carl{-}Johan H. Seger},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {A Methodology for Large-Scale Hardware Verification},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {263--282},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_17},
doi = {10.1007/3-540-40922-X\_17},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/AagaardJMOS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AagaardMO99,
author = {Mark D. Aagaard and
Thomas F. Melham and
John W. O'Leary},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Xs are for Trajectory Evaluation, Booleans are for Theorem Proving},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {202--218},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_16},
doi = {10.1007/3-540-48153-2\_16},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/AagaardMO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChenCHHKKZ96,
author = {Yirng{-}An Chen and
Edmund M. Clarke and
Pei{-}Hsin Ho and
Yatin Vasant Hoskote and
Timothy Kam and
Manpreet Khaira and
John W. O'Leary and
Xudong Zhao},
editor = {Mandayam K. Srivas and
Albert John Camilleri},
title = {Verification of All Circuits in a Floating-Point Unit Using Word-Level
Model Checking},
booktitle = {Formal Methods in Computer-Aided Design, First International Conference,
{FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1166},
pages = {19--33},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031797},
doi = {10.1007/BFB0031797},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ChenCHHKKZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/LeeserO95,
author = {Miriam Leeser and
John W. O'Leary},
title = {Verification of a subtractive radix-2 square root algorithm and implementation},
booktitle = {1995 International Conference on Computer Design {(ICCD} '95), {VLSI}
in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings},
pages = {526--531},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICCD.1995.528918},
doi = {10.1109/ICCD.1995.528918},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/LeeserO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/OLearyLHA94,
author = {John W. O'Leary and
Miriam Leeser and
Jason Hickey and
Mark D. Aagaard},
editor = {Ramayya Kumar and
Thomas Kropf},
title = {Non-Restoring Integer Square Root: {A} Case Study in Design by Principled
Optimization},
booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience,
Second International Conference, {TPCD} '94, Bad Herrenalb, Germany,
September 26-28, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {901},
pages = {52--71},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-59047-1\_42},
doi = {10.1007/3-540-59047-1\_42},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/OLearyLHA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chdl/OLearyLLA93,
author = {John W. O'Leary and
Mark H. Linderman and
Miriam Leeser and
Mark D. Aagaard},
editor = {David Agnew and
Luc J. M. Claesen and
Raul Camposano},
title = {{HML:} {A} Hardware Description Language Based on Standard {ML}},
booktitle = {Computer Hardware Description Languages and their Applications, Proceedings
of the 11th {IFIP} {WG10.2} International Conference on Computer Hardware
Description Languages and their Applications - {CHDL} '93, sponsored
by {IFIP} {WG10.2} and in cooperation with {IEEE} COMPSOC, Ottawa,
Ontario, Canada, 26-28 April, 1993},
series = {{IFIP} Transactions},
volume = {{A-32}},
pages = {327--334},
publisher = {North-Holland},
year = {1993},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chdl/OLearyLLA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/NewhartO71,
author = {Dennis D. Newhart and
John W. O'Leary},
editor = {Michel Araten and
Joseph M. Sussman and
Leo J. Boelhouwer},
title = {Integrated circuit shop simulation for capacity planning and scheduling},
booktitle = {Proceedings of the 5th conference on Winter simulation, {WSC} 1971,
New York, NY, USA, December 8-10, 1971},
pages = {1--4},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800294.811417},
doi = {10.1145/800294.811417},
timestamp = {Thu, 10 Jun 2021 16:58:01 +0200},
biburl = {https://dblp.org/rec/conf/wsc/NewhartO71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
