Robert B. Jones

Publication Activity (10 Years)

Years Active: 1991-2008
Publications (10 Years): 0

Publications

Michael S. Hsiao, Robert B. Jones
Introduction to special section on high-level design, validation, and test. ACM Trans. Design Autom. Electr. Syst. 13 (1) (2008)
Sava Krstic, Robert B. Jones, John O'Leary
Mothers of Pipelines. Electron. Notes Theor. Comput. Sci. 174 (8) (2007)
Carl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark D. Aagaard, Clark W. Barrett, Don Syme
An industrially effective environment for formal hardware verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24 (9) (2005)
Mark D. Aagaard, Nancy A. Day, Robert B. Jones
Synchronization-at-Retirement for Pipeline Verification. FMCAD (2004)
Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones
A framework for superscalar microprocessor correctness statements. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Thomas F. Melham, Robert B. Jones
Abstraction by Symbolic Indexing Transformations. FMCAD (2002)
Robert B. Jones, Jens U. Skakkebæk, David L. Dill
Formal Verification of Out-of-Order Execution with Incremental Flushing. Formal Methods Syst. Des. 20 (2) (2002)
Robert B. Jones, John W. O'Leary, Carl-Johan H. Seger, Mark D. Aagaard, Thomas F. Melham
Practical Formal Verification in Microprocessor Design. IEEE Des. Test Comput. 18 (4) (2001)
Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones
A Framework for Microprocessor Correctness Statements. CHARME (2001)
Mark D. Aagaard, Robert B. Jones, Thomas F. Melham, John W. O'Leary, Carl-Johan H. Seger
A Methodology for Large-Scale Hardware Verification. FMCAD (2000)
Mark D. Aagaard, Robert B. Jones, Roope Kaivola, Katherine R. Kohatsu, Carl-Johan H. Seger
Formal verification of iterative algorithms in microprocessors. DAC (2000)
Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving. TPHOLs (1999)
Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger
Parametric Representations of Boolean Constraints. DAC (1999)
Robert B. Jones, Jens U. Skakkebæk, David L. Dill
Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution. FMCAD (1998)
Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger
Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment. DAC (1998)
Jens U. Skakkebæk, Robert B. Jones, David L. Dill
Formal Verification of Out-of-Order Execution Using Incremental Flushing. CAV (1998)
Robert B. Jones, Carl-Johan H. Seger, David L. Dill
Self-Consistency Checking. FMCAD (1996)
Robert B. Jones, David L. Dill, Jerry R. Burch
Efficient validity checking for processor verification. ICCAD (1995)
T. R. Girill, Thomas D. Griffin, Robert B. Jones
Extended subject access to hypertext online documentation, Parts I and II: The search-support and maintenance problems. J. Am. Soc. Inf. Sci. 42 (6) (1991)