The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael R. Lowry: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Patrick H. Winston, Boris Katz, Thomas O. Binford, Michael R. Lowry
    Learning Physical Descriptions From Functional Definitions, Examples, and Precedents. [Citation Graph (1, 0)][DBLP]
    AAAI, 1983, pp:433-439 [Conf]
  2. Michael R. Lowry
    The Abstraction/Implementation Model of Problem Reformulation. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1987, pp:1004-1010 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    AAAI, 1982, pp:30-35 [Conf]
  4. Michael R. Lowry
    Algorithm Synthesis through Problem Reformulation. [Citation Graph (0, 0)][DBLP]
    AAAI, 1987, pp:432-436 [Conf]
  5. Michael R. Lowry
    Invariant Logic: A Calculus for Problem Reformulation. [Citation Graph (0, 0)][DBLP]
    AAAI, 1988, pp:14-18 [Conf]
  6. Michael R. Lowry
    Symmetry as Bias: Rediscovering Special Relativity. [Citation Graph (0, 0)][DBLP]
    AAAI, 1992, pp:56-62 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:87-107 [Conf]
  8. Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood
    Deductive Composition of Astronomical Software from Subroutine Libraries. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:341-355 [Conf]
  9. Michael R. Lowry
    Methodologies for Knowledge-Based Software Engineering. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1993, pp:219-234 [Conf]
  10. Michael R. Lowry, Klaus Havelund, John Penix
    Verification and Validation of AI Systems that Control Deep-Space Spacecraft. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1997, pp:35-47 [Conf]
  11. Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood
    AMPHION: Automatic Programming for Scientific Subroutine Libraries. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1994, pp:326-335 [Conf]
  12. Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger
    Explaining Synthesized Software. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:240-248 [Conf]
  13. Michael R. Lowry, Jeffrey Van Baalen
    META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. [Citation Graph (0, 0)][DBLP]
    KBSE, 1995, pp:2-10 [Conf]
  14. Michael R. Lowry, M. Boyd, D. Kulkarni
    Towards a Theory for Integration of Mathematical Verification and Empirical Testing. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:322-0 [Conf]
  15. Michael R. Lowry, Gail E. Kaiser, Dorothy E. Setliff, David M. Steier
    Knowledge-Based Design. [Citation Graph (0, 0)][DBLP]
    KBSE, 1991, pp:239-244 [Conf]
  16. David D. Lowry, Michael R. Lowry
    Legal Issues on Knowledge-Based Software Engineering. [Citation Graph (0, 0)][DBLP]
    KBSE, 1995, pp:61-69 [Conf]
  17. Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood
    AMPHION: Automatic Programming for Subroutine Libraries. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:2- [Conf]
  18. Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood
    A Formal Approach to Domain-Oriented Software Design Environments. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:48-57 [Conf]
  19. Michael R. Lowry, Thomas Pressburger, Grigore Rosu
    Certifying Domain-Specific Policies. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:81-90 [Conf]
  20. 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. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:395-399 [Conf]
  21. Douglas R. Smith, Michael R. Lowry
    Algorithm Theories and Design Tactics. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:379-398 [Conf]
  22. Michael R. Lowry
    Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:12-13 [Conf]
  23. Michael R. Lowry
    Software Construction and Analysis Tools for Future Space Missions. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:1-19 [Conf]
  24. Michael R. Lowry
    Software Engineering in the Twenty-First Century. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 1992, v:13, n:3, pp:71-87 [Journal]
  25. Michael R. Lowry, Jeffrey Van Baalen
    META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1997, v:4, n:2, pp:199-241 [Journal]
  26. Christopher A. Welty, Michael R. Lowry, Yves Ledru
    Guest Editorial. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:4, pp:327-328 [Journal]
  27. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:4, pp:35-45 [Journal]
  28. Michael R. Lowry, Daniel Dvorak
    Analytic Verification of Flight Software. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 1998, v:13, n:5, pp:45-49 [Journal]
  29. 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. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:2-3, pp:167-198 [Journal]
  30. Douglas R. Smith, Michael R. Lowry
    Algorithm Theories and Design Tactics. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1990, v:14, n:2-3, pp:305-321 [Journal]
  31. 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. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:2-3, pp:209-234 [Journal]
  32. Klaus Havelund, Michael R. Lowry, John Penix
    Formal Analysis of a Space-Craft Controller Using SPIN. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:8, pp:749-765 [Journal]

  33. Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. [Citation Graph (, )][DBLP]


Search in 0.638secs, Finished in 0.641secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002