![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Michael R. Lowry
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
- [c35]Charles Hartsell, Gabor Karsai
, Michael R. Lowry:
Timing analysis of a middleware-based system. ARM@Middleware 2017: 5:1-5:6 - 2014
- [c34]Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry:
Analysis and testing of PLEXIL plans. FormaliSE 2014: 52-58 - 2013
- [c33]Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai
, Michael R. Lowry:
Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS 2013: 523-529 - 2012
- [j10]Trevor Harmon, Martin Schoeberl
, Raimund Kirner
, Raymond Klefstad, Kwang-Hae (Kane) Kim, Michael R. Lowry:
Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation. IEEE Trans. Ind. Informatics 8(2): 366-377 (2012) - [c32]Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai
, Michael R. Lowry, Michael W. Whalen:
Integrating Statechart Components in Polyglot. NASA Formal Methods 2012: 267-272 - 2011
- [c31]Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai
, Michael R. Lowry:
Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA 2011: 45-55 - [c30]Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai
, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger:
Rapid property specification and checking for model-based formalisms. International Symposium on Rapid System Prototyping 2011: 121-127 - 2010
- [c29]Trevor Harmon, Michael R. Lowry:
N-version programming in WCET analysis: revisiting a discredited idea. FoSER 2010: 157-160 - [c28]Michael R. Lowry:
Towards predictive models of technology impact on software design productivity. FoSER 2010: 223-228 - [c27]Arnaud Venet, Michael R. Lowry:
Static analysis for software assurance: soundness, scalability and adaptiveness. FoSER 2010: 393-396
2000 – 2009
- 2008
- [c26]Michael R. Lowry:
Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle. ISMIS 2008: 28-37 - [c25]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
- [j9]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) - [e1]Robert Glück, Michael R. Lowry:
Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings. Lecture Notes in Computer Science 3676, Springer 2005, ISBN 3-540-29138-5 [contents] - 2004
- [j8]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 Syst. Des. 25(2-3): 167-198 (2004) - 2003
- [c24]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
- [c23]Michael R. Lowry:
Software Construction and Analysis Tools for Future Space Missions. TACAS 2002: 1-19 - 2001
- [j7]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) - [c22]Michael R. Lowry, Thomas Pressburger, Grigore Rosu:
Certifying Domain-Specific Policies. ASE 2001: 81-90 - [c21]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 - [c20]Michael R. Lowry:
Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? RE 2001: 12-13
1990 – 1999
- 1999
- [j6]Christopher A. Welty, Michael R. Lowry, Yves Ledru:
Guest Editorial. Autom. Softw. Eng. 6(4): 327-328 (1999) - 1998
- [j5]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. Computer 31(4): 35-45 (1998) - [j4]Michael R. Lowry, Daniel Dvorak:
Analytic Verification of Flight Software. IEEE Intell. Syst. 13(5): 45-49 (1998) - [c19]Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger:
Explaining Synthesized Software. ASE 1998: 240-248 - [c18]Michael R. Lowry, M. Boyd, D. Kulkarni:
Towards a Theory for Integration of Mathematical Verification and Empirical Testing. ASE 1998: 322- - 1997
- [j3]Michael R. Lowry, Jeffrey Van Baalen:
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. Autom. Softw. Eng. 4(2): 199-241 (1997) - [c17]Michael R. Lowry, Klaus Havelund, John Penix:
Verification and Validation of AI Systems that Control Deep-Space Spacecraft. ISMIS 1997: 35-47 - 1995
- [c16]Michael R. Lowry, Jeffrey Van Baalen:
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. KBSE 1995: 2-10 - [c15]David D. Lowry, Michael R. Lowry:
Legal Issues on Knowledge-Based Software Engineering. KBSE 1995: 61-69 - 1994
- [c14]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 - [c13]Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood:
AMPHION: Automatic Programming for Scientific Subroutine Libraries. ISMIS 1994: 326-335 - [c12]Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood:
AMPHION: Automatic Programming for Subroutine Libraries. KBSE 1994: 2 - [c11]Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood:
A Formal Approach to Domain-Oriented Software Design Environments. KBSE 1994: 48-57 - 1993
- [c10]Michael R. Lowry:
Methodologies for Knowledge-Based Software Engineering. ISMIS 1993: 219-234 - 1992
- [j2]Michael R. Lowry:
Software Engineering in the Twenty-First Century. AI Mag. 13(3): 71-87 (1992) - [c9]Michael R. Lowry:
Symmetry as Bias: Rediscovering Special Relativity. AAAI 1992: 56-62 - 1991
- [c8]Michael R. Lowry, Gail E. Kaiser, Dorothy E. Setliff, David M. Steier:
Knowledge-Based Design. KBSE 1991: 239-244 - 1990
- [j1]Douglas R. Smith, Michael R. Lowry:
Algorithm Theories and Design Tactics. Sci. Comput. Program. 14(2-3): 305-321 (1990)
1980 – 1989
- 1989
- [b1]Michael R. Lowry:
Algorithm synthesis through problem reformulation. Stanford University, USA, 1989 - [c7]Michael R. Lowry:
Automating software design. COMPCON 1989: 222-225 - [c6]Douglas R. Smith, Michael R. Lowry:
Algorithm Theories and Design Tactics. MPC 1989: 379-398 - 1988
- [c5]Michael R. Lowry:
Invariant Logic: A Calculus for Problem Reformulation. AAAI 1988: 14-18 - 1987
- [c4]Michael R. Lowry:
Algorithm Synthesis through Problem Reformulation. AAAI 1987: 432-436 - [c3]Michael R. Lowry:
The Abstraction/Implementation Model of Problem Reformulation. IJCAI 1987: 1004-1010 - 1983
- [c2]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
- [c1]Martin A. Fischler, Stephen T. Barnard, Robert C. Bolles, Michael R. Lowry, L. H. Quam, G. Smith, Andrew P. Witkin:
Modeling and Using Physical Constraints in Scene Analysis. AAAI 1982: 30-35
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint