| 2017 | Middleware | Timing analysis of a middleware-based system. | Charles Hartsell, Gabor Karsai, Michael R. Lowry |
| 2014 | ICSE | Analysis and testing of PLEXIL plans. | Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry |
| 2013 | TACAS | Polyglot: Systematic Analysis for Multiple Statechart Formalisms. | Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry |
| 2011 | ISSTA | Polyglot: modeling and analysis for multiple Statechart formalisms. | Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry |
| 2011 | RSP | Rapid property specification and checking for model-based formalisms. | Daniel Balasubramanian, Gbor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger |
| 2008 | ISMIS | Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle. | Michael R. Lowry |
| 2008 | ISSTA | 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 |
| 2002 | TACAS | Software Construction and Analysis Tools for Future Space Missions. | Michael R. Lowry |
| 2001 | RE | Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? | Michael R. Lowry |
| 1997 | ISMIS | Verification and Validation of AI Systems that Control Deep-Space Spacecraft. | Michael R. Lowry, Klaus Havelund, John Penix |
| 1994 | CADE | Deductive Composition of Astronomical Software from Subroutine Libraries. | Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood |
| 1994 | ISMIS | AMPHION: Automatic Programming for Scientific Subroutine Libraries. | Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood |
| 1993 | ISMIS | Methodologies for Knowledge-Based Software Engineering. | Michael R. Lowry |
| 1992 | AAAI | Symmetry as Bias: Rediscovering Special Relativity. | Michael R. Lowry |
| 1989 | MPC | Algorithm Theories and Design Tactics. | Douglas R. Smith, Michael R. Lowry |
| 1988 | AAAI | Invariant Logic: A Calculus for Problem Reformulation. | Michael R. Lowry |
| 1987 | AAAI | Algorithm Synthesis through Problem Reformulation. | Michael R. Lowry |
| 1987 | IJCAI | The Abstraction/Implementation Model of Problem Reformulation. | Michael R. Lowry |
| 1983 | AAAI | Learning Physical Descriptions From Functional Definitions, Examples, and Precedents. | Patrick H. Winston, Boris Katz, Thomas O. Binford, Michael R. Lowry |
| 1982 | AAAI | 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 |