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

Robert B. Jones (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl-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)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Aagaard, Nancy A. Day, Robert B. Jones: Synchronization-at-Retirement for Pipeline Verification. FMCAD 2004: 113-127
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones: A framework for superscalar microprocessor correctness statements. STTT 4(3): 298-312 (2003)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones: A Framework for Microprocessor Correctness Statements. CHARME 2001: 433-448
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Aagaard, Robert B. Jones, Roope Kaivola, Katherine R. Kohatsu, Carl-Johan H. Seger: Formal verification of iterative algorithms in microprocessors. DAC 2000: 201-206
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Aagaard, Robert B. Jones, Carl-Johan H. Seger: Parametric Representations of Boolean Constraints. DAC 1999: 402-407
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Aagaard, Robert B. Jones, Carl-Johan H. Seger: Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving. TPHOLs 1999: 323-340
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Aagaard, Robert B. Jones, Carl-Johan H. Seger: Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment. DAC 1998: 538-541

Selection of 10 from 21 records - Robert B. Jones has 20 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page