Michael R. Lowry

Publication Activity (10 Years)

Years Active: 1982-2017
Publications (10 Years): 1

Top Topics

Multiresolution

Quantitative Analysis

Semantic Annotation

Top Venues

IEEE Trans. Ind. Informatics

NASA Formal Methods

Publications

Charles Hartsell, Gabor Karsai, Michael R. Lowry
Timing analysis of a middleware-based system. ARM@Middleware (2017)
Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry
Analysis and testing of PLEXIL plans. FormaliSE (2014)
Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry
Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS (2013)
Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad, Kwang-Hae (Kane) Kim, Michael R. Lowry
Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation. IEEE Trans. Ind. Informatics 8 (2) (2012)
Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen
Integrating Statechart Components in Polyglot. NASA Formal Methods (2012)
Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger
Rapid property specification and checking for model-based formalisms. International Symposium on Rapid System Prototyping (2011)
Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry
Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA (2011)
Arnaud Venet, Michael R. Lowry
Static analysis for software assurance: soundness, scalability and adaptiveness. FoSER (2010)
Trevor Harmon, Michael R. Lowry
N-version programming in WCET analysis: revisiting a discredited idea. FoSER (2010)
Michael R. Lowry
Towards predictive models of technology impact on software design productivity. FoSER (2010)
Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. ISSTA (2008)
Michael R. Lowry
Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle. ISMIS (2008)
Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
Combining test case generation and runtime verification. Theor. Comput. Sci. 336 (2-3) (2005)
Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods Syst. Des. 25 (2-3) (2004)
Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser
Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines (2003)
Michael R. Lowry
Software Construction and Analysis Tools for Future Space Missions. TACAS (2002)
Michael R. Lowry
Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? RE (2001)
Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat
Amphion/NAV: Deductive Synthesis of State Estimation Software. ASE (2001)
Klaus Havelund, Michael R. Lowry, John Penix
Formal Analysis of a Space-Craft Controller Using SPIN. IEEE Trans. Software Eng. 27 (8) (2001)
Michael R. Lowry, Thomas Pressburger, Grigore Rosu
Certifying Domain-Specific Policies. ASE (2001)
Christopher A. Welty, Michael R. Lowry, Yves Ledru
Guest Editorial. Autom. Softw. Eng. 6 (4) (1999)
I-Ling Yen, Raymond A. Paul, Victor L. Winter, John M. Covan, Larry J. Dalton, Leon Alkalai, Ann T. Tai, Rick Harper, Barry Flahive, Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry
Key Applications for High-Assurance Systems. Computer 31 (4) (1998)
Michael R. Lowry, M. Boyd, D. Kulkarni
Towards a Theory for Integration of Mathematical Verification and Empirical Testing. ASE (1998)
Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger
Explaining Synthesized Software. ASE (1998)
Michael R. Lowry, Daniel Dvorak
Analytic Verification of Flight Software. IEEE Intell. Syst. 13 (5) (1998)
Michael R. Lowry, Klaus Havelund, John Penix
Verification and Validation of AI Systems that Control Deep-Space Spacecraft. ISMIS (1997)
Michael R. Lowry, Jeffrey Van Baalen
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. Autom. Softw. Eng. 4 (2) (1997)
David D. Lowry, Michael R. Lowry
Legal Issues on Knowledge-Based Software Engineering. KBSE (1995)
Michael R. Lowry, Jeffrey Van Baalen
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. KBSE (1995)
Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood
AMPHION: Automatic Programming for Scientific Subroutine Libraries. ISMIS (1994)
Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood
A Formal Approach to Domain-Oriented Software Design Environments. KBSE (1994)
Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood
AMPHION: Automatic Programming for Subroutine Libraries. KBSE (1994)
Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood
Deductive Composition of Astronomical Software from Subroutine Libraries. CADE (1994)
Michael R. Lowry
Methodologies for Knowledge-Based Software Engineering. ISMIS (1993)
Michael R. Lowry
Software Engineering in the Twenty-First Century. AI Mag. 13 (3) (1992)
Michael R. Lowry
Symmetry as Bias: Rediscovering Special Relativity. AAAI (1992)
Michael R. Lowry, Gail E. Kaiser, Dorothy E. Setliff, David M. Steier
Knowledge-Based Design. KBSE (1991)
Douglas R. Smith, Michael R. Lowry
Algorithm Theories and Design Tactics. Sci. Comput. Program. 14 (2-3) (1990)
Douglas R. Smith, Michael R. Lowry
Algorithm Theories and Design Tactics. MPC (1989)
Michael R. Lowry
Automating software design. COMPCON (1989)
Michael R. Lowry
Invariant Logic: A Calculus for Problem Reformulation. AAAI (1988)
Michael R. Lowry
The Abstraction/Implementation Model of Problem Reformulation. IJCAI (1987)
Michael R. Lowry
Algorithm Synthesis through Problem Reformulation. AAAI (1987)
Patrick H. Winston, Boris Katz, Thomas O. Binford, Michael R. Lowry
Learning Physical Descriptions From Functional Definitions, Examples, and Precedents. AAAI (1983)
Martin A. Fischler, Stephen T. Barnard, Robert C. Bolles, Michael R. Lowry, L. H. Quam, G. Smith, Andrew P. Witkin
Modeling and Using Physical Constraints in Scene Analysis. AAAI (1982)