Robert B. Jones

According to our database, Robert B. Jones authored at least 19 papers between 1991 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

Introduction to special section on high-level design, validation, and test.

Michael S. Hsiao, Robert B. Jones

ACM Trans. Design Autom. Electr. Syst., 2008

2006

Mothers of Pipelines.

Sava Krstic, Robert B. Jones, John O'Leary

Proceedings of the Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), 2006

2005

An industrially effective environment for formal hardware verification.

Carl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark D. Aagaard, Clark W. Barrett, Don Syme

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

2004

Synchronization-at-Retirement for Pipeline Verification.

Mark D. Aagaard, Nancy A. Day, Robert B. Jones

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

A framework for superscalar microprocessor correctness statements.

Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones

Int. J. Softw. Tools Technol. Transf., 2003

2002

Formal Verification of Out-of-Order Execution with Incremental Flushing.

Robert B. Jones, Jens U. Skakkebæk, David L. Dill

Formal Methods Syst. Des., 2002

Abstraction by Symbolic Indexing Transformations.

Thomas F. Melham, Robert B. Jones

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001

Practical Formal Verification in Microprocessor Design.

Robert B. Jones, John W. O'Leary, Carl-Johan H. Seger, Mark D. Aagaard, Thomas F. Melham

IEEE Des. Test Comput., 2001

A Framework for Microprocessor Correctness Statements.

Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

A Methodology for Large-Scale Hardware Verification.

Mark D. Aagaard, Robert B. Jones, Thomas F. Melham, John W. O'Leary, Carl-Johan H. Seger

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Formal verification of iterative algorithms in microprocessors.

Mark D. Aagaard, Robert B. Jones, Roope Kaivola, Katherine R. Kohatsu, Carl-Johan H. Seger

Proceedings of the 37th Conference on Design Automation, 2000

1999

Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving.

Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

Parametric Representations of Boolean Constraints.

Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger

Proceedings of the 36th Conference on Design Automation, 1999

1998

Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution.

Robert B. Jones, Jens U. Skakkebæk, David L. Dill

Proceedings of the Formal Methods in Computer-Aided Design, 1998

Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment.

Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger

Proceedings of the 35th Conference on Design Automation, 1998

Formal Verification of Out-of-Order Execution Using Incremental Flushing.

Jens U. Skakkebæk, Robert B. Jones, David L. Dill

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1996

Self-Consistency Checking.

Robert B. Jones, Carl-Johan H. Seger, David L. Dill

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

Efficient validity checking for processor verification.

Robert B. Jones, David L. Dill, Jerry R. Burch

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

1991

Extended subject access to hypertext online documentation, Parts I and II: The search-support and maintenance problems.

T. R. Girill, Thomas D. Griffin, Robert B. Jones

J. Am. Soc. Inf. Sci., 1991