The Rice Parallel Processing Testbed. - Richard Covington; Sridhar Madala; V. Mehta; J. Robert Jump; James B. Sinclair (SIGMETRICS, 1988)

Cross-profiling as an efficient technique in simulating parallel computer systems. - Richard Covington; J. Robert Jump; James B. Sinclair (COMPSAC, 1989)

Efficient Simulation of Parallel Computer Systems. - Richard Covington; Sandhya Dwarkadas; J. Robert Jump; James B. Sinclair; Sridhar Madala (Int. J. Comput. Simul., 1991)

An experience report on requirements reliability engineering using formal methods. - David Hamilton; Richard Covington; Alice T. Lee (ISSRE, 1995)

Experiences in applying formal methods to the analysis of software and system requirements. - David Hamilton; Richard Covington; John Kelly; Carron Kirkwood; Muffy Thomas; Alan R. Flora-Holmquist; Mark G. Staskauskas; Steven P. Miller; Mandayam K. Srivas; George Cleland; Donald MacKenzie (WIFT, 1995)

Experiences Using Lightweight Formal Methods for Requirements Modeling. - Steve M. Easterbrook; Robyn R. Lutz; Richard Covington; John Kelly; Yoko Ampo; David Hamilton (IEEE Trans. Software Eng., 1998)

Freeware-Based Development Projects As a Learning Framework for Upper-Division Database Course. - Son Pham; Rick Covington (FECS, 2006)