Michael R. Lowry - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

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

Rapid property specification and checking for model-based formalismsDaniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger. rsp 2011: 121-127 [doi]

2010

N-version programming in WCET analysis: revisiting a discredited ideaTrevor Harmon, Michael R. Lowry. FSE 2010: 157-160 [doi]

Towards predictive models of technology impact on software design productivityMichael R. Lowry. FSE 2010: 223-228 [doi]

Static analysis for software assurance: soundness, scalability and adaptivenessArnaud Venet, Michael R. Lowry. FSE 2010: 393-396 [doi]

2008

Combining unit-level symbolic execution and system-level concrete execution for testing NASA softwareCorina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape. ISSTA 2008: 15-26 [doi]

2005

Combining test case generation and runtime verificationCyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington. TCS, 336(2-3):209-234, 2005. [doi]

Generative Programming and Component Engineering, 4th International Conference, GPCE 2005Robert Glück, Michael R. Lowry, editors, Volume 3676 of Lecture Notes in Computer Science, Springer, Tallinn, Estonia, September 2005.

2004

Experimental Evaluation of Verification and Validation Tools on Martian Rover SoftwareGuillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington. fmsd, 25(2-3):167-198, 2004. [doi]

2003

Experiments with Test Case Generation and Runtime AnalysisCyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser. asmta 2003: 87-107 [doi]

2002

Software Construction and Analysis Tools for Future Space MissionsMichael R. Lowry. TACAS 2002: 1-19 [doi]

2001

1999

Guest EditorialChristopher A. Welty, Michael R. Lowry, Yves Ledru. ASE, 6(4):327-328, 1999.

1998

1997

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

META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis SystemsMichael R. Lowry, Jeffrey Van Baalen. ASE, 4(2):199-241, 1997.

1995

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

Legal Issues on Knowledge-Based Software EngineeringDavid D. Lowry, Michael R. Lowry. jckbse 1995: 61-69

1994

1993

Methodologies for Knowledge-Based Software EngineeringMichael R. Lowry. ismis 1993: 219-234

1992

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

Software Engineering in the Twenty-First CenturyMichael R. Lowry. aim, 13(3):71-87, 1992.

1991

Knowledge-Based DesignMichael R. Lowry, Gail E. Kaiser, Dorothy E. Setliff, David M. Steier. ASE 1991: 239-244

1990

Algorithm Theories and Design TacticsDouglas R. Smith, Michael R. Lowry. SCP, 14(2-3):305-321, 1990.

1989

Algorithm Theories and Design TacticsDouglas R. Smith, Michael R. Lowry. mpc 1989: 379-398

1988

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

1987

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

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

1983

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

1982

Modeling and Using Physical Constraints in Scene AnalysisMartin A. Fischler, Stephen T. Barnard, Robert C. Bolles, Michael R. Lowry, L. Quam, G. Smith, Andrew P. Witkin. AAAI 1982: 30-35