John R. Reysa

According to our database, John R. Reysa authored at least 2 papers between 2002 and 2015.

Collaborative distances:

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

2015

The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process.

Moab Arar, Michael L. Behm, Odellia Boni, Raviv Gal, Alex Goldin, Maxim Ilyaev, Einat Kermany, John R. Reysa, Bilal Saleh, Klaus-Dieter Schubert, Gil Shurek, Avi Ziv

Proceedings of the Hardware and Software: Verification and Testing, 2015

2002

Functional verification of the POWER4 microprocessor and POWER4 multiprocessor system.

John M. Ludden, Wolfgang Roesner, Gerry M. Heiling, John R. Reysa, Jonathan R. Jackson, Bing-Lun Chu, Michael L. Behm, Jason Baumgartner, Richard D. Peterson, Jamee Abdulhafiz, William E. Bucy, John H. Klaus, Danny J. Klema, Tien N. Le, F. Danette Lewis, Philip E. Milling, Lawrence A. McConville, Bradley S. Nelson, Viresh Paruthi, Travis W. Pouarz, Audre D. Romonosky, Jeff Stuecheli, Kent D. Thompson, Dave W. Victor, Bruce Wile

IBM J. Res. Dev., 2002