Michael R. Lowry

According to our database, Michael R. Lowry authored at least 44 papers between 1982 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Timing analysis of a middleware-based system.

Charles Hartsell, Gabor Karsai, Michael R. Lowry

Proceedings of the 16th Workshop on Adaptive and Reflective Middleware, 2017

2014

Analysis and testing of PLEXIL plans.

Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

2013

Polyglot: Systematic Analysis for Multiple Statechart Formalisms.

Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

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

Integrating Statechart Components in Polyglot.

Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen

Proceedings of the NASA Formal Methods, 2012

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

Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, 2011

Polyglot: modeling and analysis for multiple Statechart formalisms.

Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010

Static analysis for software assurance: soundness, scalability and adaptiveness.

Arnaud Venet, Michael R. Lowry

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Towards predictive models of technology impact on software design productivity.

Michael R. Lowry

Proceedings of the Workshop on Future of Software Engineering Research, 2010

N-version programming in WCET analysis: revisiting a discredited idea.

Trevor Harmon, Michael R. Lowry

Proceedings of the Workshop on Future of Software Engineering Research, 2010

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

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle.

Michael R. Lowry

Proceedings of the Foundations of Intelligent Systems, 17th International Symposium, 2008

2005

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

2004

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

2003

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

Proceedings of the Abstract State Machines, 2003

2002

Software Construction and Analysis Tools for Future Space Missions.

Michael R. Lowry

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2001

Formal Analysis of a Space-Craft Controller Using SPIN.

Klaus Havelund, Michael R. Lowry, John Penix

IEEE Trans. Software Eng., 2001

Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic?

Michael R. Lowry

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Amphion/NAV: Deductive Synthesis of State Estimation Software.

Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Certifying Domain-Specific Policies.

Michael R. Lowry, Thomas Pressburger, Grigore Rosu

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

1999

Guest Editorial.

Christopher A. Welty, Michael R. Lowry, Yves Ledru

Autom. Softw. Eng., 1999

1998

Analytic Verification of Flight Software.

Michael R. Lowry, Daniel Dvorak

IEEE Intell. Syst., 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, Barry Flahive, Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry

Computer, 1998

Towards a Theory for Integration of Mathematical Verification and Empirical Testing.

Michael R. Lowry, M. Boyd, D. Kulkarni

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Explaining Synthesized Software.

Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems.

Michael R. Lowry, Jeffrey Van Baalen

Autom. Softw. Eng., 1997

Verification and Validation of AI Systems that Control Deep-Space Spacecraft.

Michael R. Lowry, Klaus Havelund, John Penix

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

1995

Legal Issues on Knowledge-Based Software Engineering.

David D. Lowry, Michael R. Lowry

Proceedings of the Proceedings KBSE'95, 1995

1994

A Formal Approach to Domain-Oriented Software Design Environments.

Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood

Proceedings of the Proceedings KBSE'94, 1994

AMPHION: Automatic Programming for Subroutine Libraries.

Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood

Proceedings of the Proceedings KBSE'94, 1994

AMPHION: Automatic Programming for Scientific Subroutine Libraries.

Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

Deductive Composition of Astronomical Software from Subroutine Libraries.

Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Methodologies for Knowledge-Based Software Engineering.

Michael R. Lowry

Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

1992

Software Engineering in the Twenty-First Century.

Michael R. Lowry

AI Mag., 1992

Symmetry as Bias: Rediscovering Special Relativity.

Michael R. Lowry

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

Knowledge-Based Design.

Michael R. Lowry, Gail E. Kaiser, Dorothy E. Setliff, David M. Steier

Proceedings of the Proceedings 6th Annual Knowledge-Based Software Engineering Conference, 1991

1990

Algorithm Theories and Design Tactics.

Douglas R. Smith, Michael R. Lowry

Sci. Comput. Program., 1990

1989

Algorithm synthesis through problem reformulation.

Michael R. Lowry

PhD thesis, 1989

Automating software design.

Michael R. Lowry

Proceedings of the Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage, 1989

1988

Invariant Logic: A Calculus for Problem Reformulation.

Michael R. Lowry

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987

The Abstraction/Implementation Model of Problem Reformulation.

Michael R. Lowry

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

Algorithm Synthesis through Problem Reformulation.

Michael R. Lowry

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1983

Learning Physical Descriptions From Functional Definitions, Examples, and Precedents.

Patrick H. Winston, Boris Katz, Thomas O. Binford, Michael R. Lowry

Proceedings of the National Conference on Artificial Intelligence, 1983

1982

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

Proceedings of the National Conference on Artificial Intelligence, 1982