Robert B. Jones Vis

*	2008
21		Alessandro Cimatti, Robert B. Jones: Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 IEEE 2008
20	EE	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)
	2007
19	EE	Sava Krstic, Robert B. Jones, John O'Leary: Mothers of Pipelines. Electr. Notes Theor. Comput. Sci. 174(8): 7-22 (2007)
	2006
18		Thomas Ball, Robert B. Jones: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings Springer 2006
	2005
17	EE	Carl-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)
	2004
16	EE	Mark Aagaard, Nancy A. Day, Robert B. Jones: Synchronization-at-Retirement for Pipeline Verification. FMCAD 2004: 113-127
	2003
15	EE	Mark Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones: A framework for superscalar microprocessor correctness statements. STTT 4(3): 298-312 (2003)
	2002
14	EE	Thomas F. Melham, Robert B. Jones: Abstraction by Symbolic Indexing Transformations. FMCAD 2002: 1-18
13		Robert B. Jones, Jens U. Skakkebæk, David L. Dill: Formal Verification of Out-of-Order Execution with Incremental Flushing. Formal Methods in System Design 20(2): 139-158 (2002)
	2001
12	EE	Mark Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones: A Framework for Microprocessor Correctness Statements. CHARME 2001: 433-448
11	EE	Robert 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)
	2000
10	EE	Mark Aagaard, Robert B. Jones, Roope Kaivola, Katherine R. Kohatsu, Carl-Johan H. Seger: Formal verification of iterative algorithms in microprocessors. DAC 2000: 201-206
9	EE	Mark 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
	1999
8	EE	Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger: Parametric Representations of Boolean Constraints. DAC 1999: 402-407
7	EE	Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger: Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving. TPHOLs 1999: 323-340
	1998
6	EE	Jens U. Skakkebæk, Robert B. Jones, David L. Dill: Formal Verification of Out-of-Order Execution Using Incremental Flushing. CAV 1998: 98-109
5	EE	Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger: Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment. DAC 1998: 538-541
4	EE	Robert B. Jones, Jens U. Skakkebæk, David L. Dill: Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution. FMCAD 1998: 2-17
	1996
3		Robert B. Jones, Carl-Johan H. Seger, David L. Dill: Self-Consistency Checking. FMCAD 1996: 159-171
	1995
2	EE	Robert B. Jones, David L. Dill, Jerry R. Burch: Efficient validity checking for processor verification. ICCAD 1995: 2-6
	1991
1		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. JASIS 42(6): 414-426 (1991)

Coauthor Index

1	Mark Aagaard	[5] [7] [8] [9] [10] [11] [12] [15] [16] [17]
2	Thomas Ball	[18]
3	Clark W. Barrett (Clark Barrett)	[17]
4	Jerry R. Burch	[2]
5	Alessandro Cimatti	[21]
6	Byron Cook	[12] [15]
7	Nancy A. Day	[12] [15] [16]
8	David L. Dill	[2] [3] [4] [6] [13]
9	T. R. Girill	[1]
10	Thomas D. Griffin	[1]
11	Michael S. Hsiao	[20]
12	Roope Kaivola	[10]
13	Katherine R. Kohatsu	[10]
14	Sava Krstic	[19]
15	Thomas F. Melham	[9] [11] [14] [17]
16	John O'Leary	[19]
17	John W. O'Leary	[9] [11] [17]
18	Carl-Johan H. Seger	[3] [5] [7] [8] [9] [10] [11] [17]
19	Jens U. Skakkebæk	[4] [6] [13]
20	Don Syme	[17]

Colors in the list of coauthors