Greg Sullivan

An Object � oriented Design Methodology

K. Lieberherr, Greg Sullivan, 1992 .

An Object � oriented Design Methodology

K. Lieberherr, Greg Sullivan, 1992 .

Self-defending software: Automatically patching security vulnerabilities

Martin Rinard, Michael D. Ernst, Jeff H. Perkins, 2009, Symposium on Operating Systems Principles.

Automatically patching errors in deployed software

Michael D. Ernst, Jeff H. Perkins, Weng-Fai Wong, 2009, SOSP '09.

Hardware Support for Safety Interlocks and Introspection

Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.