Richard Covington

Publication Activity (10 Years)

Years Active: 1988-1998
Publications (10 Years): 0

Publications

Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton
Experiences Using Lightweight Formal Methods for Requirements Modeling. IEEE Trans. Software Eng. 24 (1) (1998)
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
Experiences in applying formal methods to the analysis of software and system requirements. WIFT (1995)
David Hamilton, Richard Covington, Alice T. Lee
An experience report on requirements reliability engineering using formal methods. ISSRE (1995)
Richard Covington, Sandhya Dwarkadas, J. Robert Jump, James B. Sinclair, Sridhar Madala
Efficient Simulation of Parallel Computer Systems. Int. J. Comput. Simul. 1 (1) (1991)
Richard Covington, J. Robert Jump, James B. Sinclair
Cross-profiling as an efficient technique in simulating parallel computer systems. COMPSAC (1989)
Richard Covington, Sridhar Madala, V. Mehta, J. Robert Jump, James B. Sinclair
The Rice Parallel Processing Testbed. SIGMETRICS (1988)