Richard Covington

Masterpieces to go : the trucks of Pakistan

Richard Covington, 2005 .

Experiences in applying formal methods to the analysis of software and system requirements

Mandayam K. Srivas, Muffy Calder, George Cleland, 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.

The rice parallel processing testbed

J. Robert Jump, James B. Sinclair, Sridhar Madala, 1988, SIGMETRICS '88.

Efficient Simulation of Parallel Computer Systems

Sandhya Dwarkadas, J. Robert Jump, James B. Sinclair, 1991, Int. J. Comput. Simul..

Experiences Using Lightweight Formal Methods for Requirements Modeling

John Kelly, Steve M. Easterbrook, Robyn R. Lutz, 1998, IEEE Trans. Software Eng..

Development of reprogrammable high frame-rate detector devices for laser communication pointing, acquisition and tracking

Hung Ngo, Richard Covington, Kenneth Conner, 2008, SPIE LASE.

Cross-profiling as an efficient technique in simulating parallel computer systems

J. Robert Jump, James B. Sinclair, Richard Covington, 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

An experience report on requirements reliability engineering using formal methods

Alice T. Lee, David Hamilton, Richard Covington, 1995, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95.

Development ofReprogrammable HighFrame-Rate Detector Devices forLaserCommunication Pointing, Acquisition andTracking

Richard Covington, Kenneth Conner, Terita Norton, 2008 .