Michael R. Lowry

2008
34	EE	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
2005
33		Robert Glück, Michael R. Lowry: Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings Springer 2005
32	EE	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)
2004
31	EE	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)
2003
30	EE	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
2002
29	EE	Michael R. Lowry: Software Construction and Analysis Tools for Future Space Missions. TACAS 2002: 1-19
2001
28	EE	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
27	EE	Michael R. Lowry, Thomas Pressburger, Grigore Rosu: Certifying Domain-Specific Policies. ASE 2001: 81-90
26	EE	Michael R. Lowry: Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? RE 2001: 12-13
25	EE	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)
1999
24		Christopher A. Welty, Michael R. Lowry, Yves Ledru: Guest Editorial. Autom. Softw. Eng. 6(4): 327-328 (1999)
1998
23	EE	Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger: Explaining Synthesized Software. ASE 1998: 240-248
22	EE	Michael R. Lowry, M. Boyd, D. Kulkarni: Towards a Theory for Integration of Mathematical Verification and Empirical Testing. ASE 1998: 322-
21		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)
20		Michael R. Lowry, Daniel Dvorak: Analytic Verification of Flight Software. IEEE Intelligent Systems 13(5): 45-49 (1998)
1997
19		Michael R. Lowry, Klaus Havelund, John Penix: Verification and Validation of AI Systems that Control Deep-Space Spacecraft. ISMIS 1997: 35-47
18		Michael R. Lowry, Jeffrey Van Baalen: META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. Autom. Softw. Eng. 4(2): 199-241 (1997)
1995
17		Michael R. Lowry, Jeffrey Van Baalen: META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. KBSE 1995: 2-10
16		David D. Lowry, Michael R. Lowry: Legal Issues on Knowledge-Based Software Engineering. KBSE 1995: 61-69
1994
15		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
14		Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood: AMPHION: Automatic Programming for Scientific Subroutine Libraries. ISMIS 1994: 326-335
13		Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood: AMPHION: Automatic Programming for Subroutine Libraries. KBSE 1994: 2
12		Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood: A Formal Approach to Domain-Oriented Software Design Environments. KBSE 1994: 48-57
1993
11		Michael R. Lowry: Methodologies for Knowledge-Based Software Engineering. ISMIS 1993: 219-234
1992
10		Michael R. Lowry: Symmetry as Bias: Rediscovering Special Relativity. AAAI 1992: 56-62
9		Michael R. Lowry: Software Engineering in the Twenty-First Century. AI Magazine 13(3): 71-87 (1992)
1991
8		Michael R. Lowry, Gail E. Kaiser, Dorothy E. Setliff, David M. Steier: Knowledge-Based Design. KBSE 1991: 239-244
1990
7		Douglas R. Smith, Michael R. Lowry: Algorithm Theories and Design Tactics. Sci. Comput. Program. 14(2-3): 305-321 (1990)
1989
6		Douglas R. Smith, Michael R. Lowry: Algorithm Theories and Design Tactics. MPC 1989: 379-398
1988
5		Michael R. Lowry: Invariant Logic: A Calculus for Problem Reformulation. AAAI 1988: 14-18
1987
4		Michael R. Lowry: Algorithm Synthesis through Problem Reformulation. AAAI 1987: 432-436
3		Michael R. Lowry: The Abstraction/Implementation Model of Problem Reformulation. IJCAI 1987: 1004-1010
1983
2		Patrick H. Winston, Boris Katz, Thomas O. Binford, Michael R. Lowry: Learning Physical Descriptions From Functional Definitions, Examples, and Precedents. AAAI 1983: 433-439
1982
1		Martin A. Fischler, Stephen T. Barnard, Robert C. Bolles, Michael R. Lowry, L. Quam, G. Smith, Andrew P. Witkin: Modeling and Using Physical Constraints in Scene Analysis. AAAI 1982: 30-35

Coauthor Index

1	Leon Alkalai	[21]
2	Cyrille Artho	[30] [32]
3	Jeffrey Van Baalen	[17] [18] [23] [28]
4	Stephen T. Barnard	[1]
5	Howard Barringer	[32]
6	Thomas O. Binford	[2]
7	Robert C. Bolles	[1]
8	M. Boyd	[22]
9	Guillaume P. Brat	[28] [31]
10	David H. Bushnell	[34]
11	John M. Covan	[21]
12	Larry J. Dalton	[21]
13	Doron Drusinsky	[30] [31]
14	Daniel Dvorak	[20]
15	Martin A. Fischler	[1]
16	Barry Flahive	[21]
17	Dimitra Giannakopoulou	[31]
18	Robert Glück	[33]
19	Allen Goldberg	[30] [31] [32]
20	Karen Gundy-Burlet	[34]
21	Rick Harper	[21]
22	Klaus Havelund	[19] [25] [30] [31] [32]
23	Gail E. Kaiser	[8]
24	Boris Katz	[2]
25	Sarfraz Khurshid	[32]
26	D. Kulkarni	[22]
27	Yves Ledru	[24]
28	David D. Lowry	[16]
29	Peter C. Mehlitz	[34]
30	Ramin Mojdehbakhsh	[21]
31	Kinji Mori	[21]
32	Phil Oh	[28]
33	Mark Pape	[34]
34	Corina S. Pasareanu	[30] [31] [32] [34]
35	Raymond A. Paul	[21]
36	John Penix	[19] [25] [28]
37	Suzette Person	[34]
38	Andrew Philpot	[12] [13] [14]
39	Thomas Pressburger	[12] [13] [14] [15] [23] [27] [28]
40	L. Quam	[1]
41	Sanjai Rayadurgam	[21]
42	Peter Robinson	[23] [28]
43	Grigore Rosu	[27] [30] [32]
44	Johann Schumann	[28]
45	Koushik Sen	[32]
46	Dorothy E. Setliff	[8]
47	Douglas R. Smith	[6] [7]
48	G. Smith	[1]
49	David M. Steier	[8]
50	Mark E. Stickel	[15]
51	Ann T. Tai	[21]
52	Wei-Tek Tsai	[21]
53	Ian Underwood	[12] [13] [14] [15]
54	Arnaud Venet	[31]
55	Willem Visser	[30] [31] [32]
56	Richard J. Waldinger	[15]
57	Richard Washington	[31] [32]
58	Christopher A. Welty	[24]
59	Jon Whittle (Jonathan Whittle)	[28]
60	Patrick Henry Winston (Patrick H. Winston)	[2]
61	Victor L. Winter	[21]
62	Andrew P. Witkin	[1]
63	I-Ling Yen	[21]

Colors in the list of coauthors