Implementation of combinator specifications: notions and proving techniques. - Michael Mehlich (Shaker, 1996)

Reverse engineering is reverse forward engineering. - Ira D. Baxter; Michael Mehlich (Sci. Comput. Program., 2000)

Preprocessor Conditional Removal by Simple Partial Evaluation. - Ira D. Baxter; Michael Mehlich (WCRE, 2001)

DMS®: Program Transformations for Practical Scalable Software Evolution. - Ira D. Baxter; Christopher W. Pidgeon; Michael Mehlich (ICSE, 2004)

Program transformations for re-engineering C++ components [OOPSLA/GPCE]. - Robert L. Akers; Ira D. Baxter; Michael Mehlich (OOPSLA Companion, 2004)

Invited application paper: re-engineering C++ components via automatic program transformation. - Robert L. Akers; Ira D. Baxter; Michael Mehlich (PEPM, 2004)

Reengineering C++ Component Models via Automatic Program Transformation. - Robert L. Akers; Ira D. Baxter; Michael Mehlich; Brian J. Ellis; Kenn R. Luecke (WCRE, 2005)

Case study: Re-engineering C++ component models via automatic program transformation. - Robert L. Akers; Ira D. Baxter; Michael Mehlich; Brian J. Ellis; Kenn R. Luecke (Inf. Softw. Technol., 2007)

CheckPointer - A C Memory Access Validator. - Michael Mehlich (SCAM, 2011)