Michael R. Lowry

47 papers A* 10A 6B 2C 5Journal 10Unranked 13

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