dblp.uni-trier.dewww.uni-trier.de

Michael R. Lowry Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
34EECorina 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
32EECyrille 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
31EEGuillaume 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
30EECyrille 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
29EEMichael R. Lowry: Software Construction and Analysis Tools for Future Space Missions. TACAS 2002: 1-19
2001
28EEJon 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
27EEMichael R. Lowry, Thomas Pressburger, Grigore Rosu: Certifying Domain-Specific Policies. ASE 2001: 81-90
26EEMichael R. Lowry: Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? RE 2001: 12-13
25EEKlaus 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
23EEJeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger: Explaining Synthesized Software. ASE 1998: 240-248
22EEMichael 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
19EEMichael 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
15EEMark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood: Deductive Composition of Astronomical Software from Subroutine Libraries. CADE 1994: 341-355
14EEMichael 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
11EEMichael 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)