Knowledge-Based Software Development from Requirements to Code. - Stephen J. Westfold; Lawrence Markosian; William A. Brew (System Development and Ada, 1986)

Automating Software Analysis and Testing Using a Program Transformation System. - Gordon Kotik; Lawrence Markosian (Symposium on Testing, Analysis, and Verification, 1989)

A program transformation approach to automating software re-engineering. - Scott Burson; Gordon Kotik; Lawrence Z. Markosian (COMPSAC, 1990)

Industrial experience in automating software re-engineering. - Lawrence Z. Markosian; Thomas Driscoll; Ron Hunter-Duvar; John Hartman; Wojtek Kozaczynski; Jim Q. Ning; Mark Seipler (COMPSAC, 1990)

Automating the Modularization of Large COBOL Programs: Application of an Enabling Technology for Reengineering. - Philip Newcomb; Lawrence Markosian (WCRE, 1993)

Application of REFINE Language ToolsTM to Software Quality Assurance. - Gordon Kotik; Lawrence Markosian (KBSE, 1994)

Using an Enabling Technology to Reengineer Legacy Systems. - Lawrence Markosian; Philip Newcomb; Russell Brand; Scott Burson; Ted Kitzmiller (Commun. ACM, 1994)

Customized Tools for Software Quality Assurance and Reengineering. - Charles H. Wells; Russell Brand; Lawrence Markosian (WCRE, 1995)

Software Assurance Research Infusion: The NASA Experience. - Michael G. Hinchey; Thomas Pressburger; Martin S. Feather; Lawrence Markosian; Wes Deadrick (ISoLA, 2006)

Architecting and generalizing a safety case for critical condition detection software: an experience report. - Martin S. Feather; Lawrence Z. Markosian (ASSURE@ICSE, 2013)