Timing Prolog Programs without Clock. - Michael M. Gorlick; Carl Kesselman (SLP, 1987)

Gauge: A Workbench for the Performance Analysis of Logic Programs. - Michael M. Gorlick; Carl Kesselman (ICLP/SLP, 1988)

Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs. - Rami R. Razouk; Michael M. Gorlick (Symposium on Testing, Analysis, and Verification, 1989)

Mockingbird: A Logical Methodology for Testing. - Michael M. Gorlick; Carl Kesselman; Daniel A. Marotta; Douglas Stott Parker Jr. (J. Log. Program., 1990)

Using Weaves for Software Construction and Analysis. - Michael M. Gorlick; Rami R. Razouk (ICSE, 1991)

The Flight Recorder: An Architectural Aid for System Monitoring. - Michael M. Gorlick (Workshop on Parallel and Distributed Debugging, 1991)

Visual Programming-n-the-Large versus Visual Programming-in-the-Small. - Michael M. Gorlick; Alex Quilici (VL, 1994)

Electric Suspenders: A Fabric Power Bus and Data Network for Wearable Digital Devices. - Michael M. Gorlick (ISWC, 1999)

An architecture-based approach to self-adaptive software. - Peyman Oreizy; Michael M. Gorlick; Richard N. Taylor; Dennis Heimbigner; Gregory F. Johnson; Nenad Medvidovic; Alex Quilici; David S. Rosenblum; Alexander L. Wolf (IEEE Intell. Syst., 1999)

Panel: Perspectives on Software Engineering. - David Notkin; Marc Donner; Michael D. Ernst; Michael M. Gorlick; E. James Whitehead Jr. (ICSE, 2001)

Evolving from Bioinformatics in-the-Small to Bioinformatics in-the-Large. - Douglas Stott Parker Jr.; Michael M. Gorlick; Christopher J. Lee (OMICS, 2003)

Raging incrementalism: harnessing change with open-source software. - John C. Georgas; Michael M. Gorlick; Richard N. Taylor (ACM SIGSOFT Softw. Eng. Notes, 2005)