Modeling and Using Physical Constraints in Scene Analysis. - Martin A. Fischler; Stephen T. Barnard; Robert C. Bolles; Michael R. Lowry; L. H. Quam; G. Smith; Andrew P. Witkin (AAAI, 1982)

Learning Physical Descriptions From Functional Definitions, Examples, and Precedents. - Patrick H. Winston; Boris Katz; Thomas O. Binford; Michael R. Lowry (AAAI, 1983)

Algorithm Synthesis through Problem Reformulation. - Michael R. Lowry (AAAI, 1987)

The Abstraction/Implementation Model of Problem Reformulation. - Michael R. Lowry (IJCAI, 1987)

Invariant Logic: A Calculus for Problem Reformulation. - Michael R. Lowry (AAAI, 1988)

Automating software design. - Michael R. Lowry (COMPCON, 1989)

Algorithm synthesis through problem reformulation. - Michael R. Lowry (1989)

Algorithm Theories and Design Tactics. - Douglas R. Smith; Michael R. Lowry (Sci. Comput. Program., 1990)

Knowledge-Based Design. - Michael R. Lowry; Gail E. Kaiser; Dorothy E. Setliff; David M. Steier (KBSE, 1991)

Symmetry as Bias: Rediscovering Special Relativity. - Michael R. Lowry (AAAI, 1992)

Software Engineering in the Twenty-First Century. - Michael R. Lowry (AI Mag., 1992)

Methodologies for Knowledge-Based Software Engineering. - Michael R. Lowry (ISMIS, 1993)

Deductive Composition of Astronomical Software from Subroutine Libraries. - Mark E. Stickel; Richard J. Waldinger; Michael R. Lowry; Thomas Pressburger; Ian Underwood (CADE, 1994)

AMPHION: Automatic Programming for Scientific Subroutine Libraries. - Michael R. Lowry; Andrew Philpot; Thomas Pressburger; Ian Underwood (ISMIS, 1994)

AMPHION: Automatic Programming for Subroutine Libraries. - Michael R. Lowry; Andrew Philpot; Thomas Pressburger; Ian Underwood (KBSE, 1994)

A Formal Approach to Domain-Oriented Software Design Environments. - Michael R. Lowry; Andrew Philpot; Thomas Pressburger; Ian Underwood (KBSE, 1994)

Legal Issues on Knowledge-Based Software Engineering. - David D. Lowry; Michael R. Lowry (KBSE, 1995)

Verification and Validation of AI Systems that Control Deep-Space Spacecraft. - Michael R. Lowry; Klaus Havelund; John Penix (ISMIS, 1997)

META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. - Michael R. Lowry; Jeffrey Van Baalen (Autom. Softw. Eng., 1997)

Explaining Synthesized Software. - Jeffrey Van Baalen; Peter Robinson 004; Michael R. Lowry; Thomas Pressburger (ASE, 1998)

Towards a Theory for Integration of Mathematical Verification and Empirical Testing. - Michael R. Lowry; M. Boyd; D. Kulkarni (ASE, 1998)

Key Applications for High-Assurance Systems. - I-Ling Yen; Raymond A. Paul; Victor L. Winter; John M. Covan; Larry J. Dalton; Leon Alkalai; Ann T. Tai; Rick Harper 001; Barry Flahive; Wei-Tek Tsai; Ramin Mojdehbakhsh; Sanjai Rayadurgam; et al. (Computer, 1998)

Analytic Verification of Flight Software. - Michael R. Lowry; Daniel Dvorak (IEEE Intell. Syst., 1998)

Guest Editorial. - Christopher A. Welty; Michael R. Lowry; Yves Ledru (Autom. Softw. Eng., 1999)

Certifying Domain-Specific Policies. - Michael R. Lowry; Thomas Pressburger; Grigore Rosu (ASE, 2001)

Amphion/NAV: Deductive Synthesis of State Estimation Software. - Jon Whittle 001; Jeffrey Van Baalen; Johann Schumann; Peter Robinson 004; Thomas Pressburger; John Penix; Phil Oh; Michael R. Lowry; Guillaume P. Brat (ASE, 2001)

Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? - Michael R. Lowry (RE, 2001)

Formal Analysis of a Space-Craft Controller Using SPIN. - Klaus Havelund; Michael R. Lowry; John Penix (IEEE Trans. Software Eng., 2001)

Software Construction and Analysis Tools for Future Space Missions. - Michael R. Lowry (TACAS, 2002)

Experiments with Test Case Generation and Runtime Analysis. - Cyrille Artho; Doron Drusinsky; Allen Goldberg; Klaus Havelund; Michael R. Lowry; Corina S. Pasareanu; Grigore Rosu; Willem Visser (Abstract State Machines, 2003)

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. - Guillaume P. Brat; Doron Drusinsky; Dimitra Giannakopoulou; Allen Goldberg; Klaus Havelund; Michael R. Lowry; Corina S. Pasareanu; Arnaud Venet; Willem Visser; Richard Washington (Formal Methods Syst. Des., 2004)

Combining test case generation and runtime verification. - Cyrille Artho; Howard Barringer; Allen Goldberg; Klaus Havelund; Sarfraz Khurshid; Michael R. Lowry; Corina S. Pasareanu; Grigore Rosu; Koushik Sen; Willem Visser; Richard Washington (Theor. Comput. Sci., 2005)

Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle. - Michael R. Lowry (ISMIS, 2008)

Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. - Corina S. Pasareanu; Peter C. Mehlitz; David H. Bushnell; Karen Gundy-Burlet; Michael R. Lowry; Suzette Person; Mark Pape (ISSTA, 2008)

N-version programming in WCET analysis: revisiting a discredited idea. - Trevor Harmon; Michael R. Lowry (FoSER, 2010)

Towards predictive models of technology impact on software design productivity. - Michael R. Lowry (FoSER, 2010)

Static analysis for software assurance: soundness, scalability and adaptiveness. - Arnaud Venet; Michael R. Lowry (FoSER, 2010)

Polyglot: modeling and analysis for multiple Statechart formalisms. - Daniel Balasubramanian; Corina S. Pasareanu; Michael W. Whalen; Gabor Karsai; Michael R. Lowry (ISSTA, 2011)

Rapid property specification and checking for model-based formalisms. - Daniel Balasubramanian; Gábor Pap; Harmon Nine; Gabor Karsai; Michael R. Lowry; Corina S. Pasareanu; Thomas Pressburger (International Symposium on Rapid System Prototyping, 2011)

Integrating Statechart Components in Polyglot. - Daniel Balasubramanian; Corina S. Pasareanu; Jason Biatek; Thomas Pressburger; Gabor Karsai; Michael R. Lowry; Michael W. Whalen (NASA Formal Methods, 2012)

Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation. - Trevor Harmon; Martin Schoeberl; Raimund Kirner; Raymond Klefstad; Kwang-Hae (Kane) Kim; Michael R. Lowry (IEEE Trans. Ind. Informatics, 2012)

Polyglot: Systematic Analysis for Multiple Statechart Formalisms. - Daniel Balasubramanian; Corina S. Pasareanu; Gabor Karsai; Michael R. Lowry (TACAS, 2013)

Analysis and testing of PLEXIL plans. - Jason Biatek; Michael W. Whalen; Mats Per Erik Heimdahl; Sanjai Rayadurgam; Michael R. Lowry (FormaliSE, 2014)

Timing analysis of a middleware-based system. - Charles Hartsell; Gabor Karsai; Michael R. Lowry (ARM@Middleware, 2017)