Michael R. Lowry

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

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. Industrial Informatics 8(2): 366-377 (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: 267-272

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

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: 121-127

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

Michael R. Lowry: Towards predictive models of technology impact on software design productivity. FoSER 2010: 223-228

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

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: 15-26

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): 209-234 (2005)

Robert Glück, Michael R. Lowry (Eds.): Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings. Lecture Notes in Computer Science 3676, Springer 2005, isbn 3-540-29138-5

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 in System Design 25(2-3): 167-198 (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: 87-107

Michael R. Lowry: Software Construction and Analysis Tools for Future Space Missions. TACAS 2002: 1-19

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

Michael R. Lowry, Thomas Pressburger, Grigore Rosu: Certifying Domain-Specific Policies. ASE 2001: 81-90

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: 395-399

Michael R. Lowry: Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? RE 2001: 12-13

Christopher A. Welty, Michael R. Lowry, Yves Ledru: Guest Editorial. Autom. Softw. Eng. 6(4): 327-328 (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. IEEE Computer 31(4): 35-45 (1998)

Michael R. Lowry, Daniel Dvorak: Analytic Verification of Flight Software. IEEE Intelligent Systems 13(5): 45-49 (1998)

Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger: Explaining Synthesized Software. ASE 1998: 240-248

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

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

Michael R. Lowry, Klaus Havelund, John Penix: Verification and Validation of AI Systems that Control Deep-Space Spacecraft. ISMIS 1997: 35-47

Michael R. Lowry, Jeffrey Van Baalen: META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. KBSE 1995: 2-10

David D. Lowry, Michael R. Lowry: Legal Issues on Knowledge-Based Software Engineering. KBSE 1995: 61-69

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

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

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

Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood: A Formal Approach to Domain-Oriented Software Design Environments. KBSE 1994: 48-57

Michael R. Lowry: Methodologies for Knowledge-Based Software Engineering. ISMIS 1993: 219-234

Michael R. Lowry: Software Engineering in the Twenty-First Century. AI Magazine 13(3): 71-87 (1992)

Michael R. Lowry: Symmetry as Bias: Rediscovering Special Relativity. AAAI 1992: 56-62

Michael R. Lowry, Gail E. Kaiser, Dorothy E. Setliff, David M. Steier: Knowledge-Based Design. KBSE 1991: 239-244

Douglas R. Smith, Michael R. Lowry: Algorithm Theories and Design Tactics. Sci. Comput. Program. 14(2-3): 305-321 (1990)

Douglas R. Smith, Michael R. Lowry: Algorithm Theories and Design Tactics. MPC 1989: 379-398

Michael R. Lowry: Invariant Logic: A Calculus for Problem Reformulation. AAAI 1988: 14-18

Michael R. Lowry: Algorithm Synthesis through Problem Reformulation. AAAI 1987: 432-436

Michael R. Lowry: The Abstraction/Implementation Model of Problem Reformulation. IJCAI 1987: 1004-1010

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

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: 30-35