Robert B. Jones

22 papers A* 5A 1B 7Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2024 B conf
SMT-D: New Strategies for Portfolio-Based SMT Solving.
FMCAD
Clark W. Barrett, Pei-Wei Chen, Byron Cook, Bruno Dutertre, Robert B. Jones, Nham Le, Andrew Reynolds, Kunal Sheth, Christopher Stephens, Michael W. Whalen
2008 B ed.
Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008
FMCAD
Alessandro Cimatti, Robert B. Jones
2008 J jnl
Introduction to special section on high-level design, validation, and test.
ACM Trans. Design Autom. Electr. Syst.
Michael S. Hsiao, Robert B. Jones
2006 A* ed.
Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
CAV
Thomas Ball, Robert B. Jones
2006 — conf
Mothers of Pipelines.
PDPAR/PaUL@FLoC
Sava Krstic, Robert B. Jones, John O'Leary
2005 J jnl
An industrially effective environment for formal hardware verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Carl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark D. Aagaard, Clark W. Barrett, Don Syme
2004 B conf
Synchronization-at-Retirement for Pipeline Verification.
FMCAD
Mark D. Aagaard, Nancy A. Day, Robert B. Jones
2003 J jnl
A framework for superscalar microprocessor correctness statements.
Int. J. Softw. Tools Technol. Transf.
Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones
2002 B conf
Abstraction by Symbolic Indexing Transformations.
FMCAD
Thomas F. Melham, Robert B. Jones
2002 J jnl
Formal Verification of Out-of-Order Execution with Incremental Flushing.
Formal Methods Syst. Des.
Robert B. Jones, Jens U. Skakkebæk, David L. Dill
2001 — conf
A Framework for Microprocessor Correctness Statements.
CHARME
Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones
2001 J jnl
Practical Formal Verification in Microprocessor Design.
IEEE Des. Test Comput.
Robert B. Jones, John W. O'Leary, Carl-Johan H. Seger, Mark D. Aagaard, Thomas F. Melham
2000 B conf
A Methodology for Large-Scale Hardware Verification.
FMCAD
Mark D. Aagaard, Robert B. Jones, Thomas F. Melham, John W. O'Leary, Carl-Johan H. Seger
2000 A* conf
Formal verification of iterative algorithms in microprocessors.
DAC
Mark D. Aagaard, Robert B. Jones, Roope Kaivola, Katherine R. Kohatsu, Carl-Johan H. Seger
1999 — conf
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving.
TPHOLs
Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger
1999 A* conf
Parametric Representations of Boolean Constraints.
DAC
Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger
1998 A* conf
Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment.
DAC
Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger
1998 A* conf
Formal Verification of Out-of-Order Execution Using Incremental Flushing.
CAV
Jens U. Skakkebæk, Robert B. Jones, David L. Dill
1998 B conf
Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution.
FMCAD
Robert B. Jones, Jens U. Skakkebæk, David L. Dill
1996 B conf
Self-Consistency Checking.
FMCAD
Robert B. Jones, Carl-Johan H. Seger, David L. Dill
1995 A conf
Efficient validity checking for processor verification.
ICCAD
Robert B. Jones, David L. Dill, Jerry R. Burch
1991 J jnl
Extended subject access to hypertext online documentation, Parts I and II: The search-support and maintenance problems.
J. Am. Soc. Inf. Sci.
T. R. Girill, Thomas D. Griffin, Robert B. Jones