Raymond J. Richards

An approach to debugging task-parallel programs

Raymond J. Richards, Balkrishna Ramkumar, 1997 .

Formal Verification of Partition Management for the AAMP7G Microprocessor

Matthew Wilding, Raymond J. Richards, David S. Hardin, 2010, Design and Verification of Microprocessor Systems for High-Assurance Applications.

Modeling and Security Analysis of a Commercial Real-Time Operating System Kernel

Raymond J. Richards, 2010, Design and Verification of Microprocessor Systems for High-Assurance Applications.