| 2001 | ICSE | Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? | H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas |
| 2000 | ICSE | Why don't we get more (self?) respect: the positive impact of software engineering research upon practice. | Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller |
| 1996 | SEKE | A Formalism for Architectural Modeling of Distributed Real-Time Systems. | Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist |
| 1993 | SEKE | Software Engineering in the Year 2000. | Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh |
| 1993 | SEKE | Intermediate Executable Architectural Specifications for KBSA, Part I. | Michael Evangelist |
| 1990 | CONCUR | Convergence of Iteration Systems (Extended Abstract). | Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda |
| 1990 | LICS | On the Limits of Efficient Temporal Decidability (Extended Abstract) | E. Allen Emerson, Michael Evangelist, Jai Srinivasan |
| 1988 | ICSE | Using Raddle To Design Distributed Systems. | Michael Evangelist, Vincent Y. Shen, Ira R. Forman, Mike Graf |
| 1984 | ICDE | Program Complexity and Programming Style. | Michael Evangelist |