Travelled to:1 × Italy
2 × Canada
2 × France
2 × USA
Collaborated with:T.Pressburger ∅ J.V.Baalen I.Underwood C.S.Pasareanu D.D.Lowry A.Philpot D.Balasubramanian G.Karsai P.Robinson G.Rosu M.Boyd D.Kulkarni G.E.Kaiser D.E.Setliff D.M.Steier M.W.Whalen M.E.Stickel R.J.Waldinger P.C.Mehlitz D.H.Bushnell K.Gundy-Burlet S.Person M.Pape J.Whittle J.Schumann J.Penix P.Oh G.P.Brat
Talks about:softwar (7) synthesi (4) program (3) analysi (3) amphion (3) formal (3) domain (3) statechart (2) subroutin (2) polyglot (2)
Person: Michael R. Lowry
DBLP: Lowry:Michael_R=
Facilitated 1 volumes:
EdContributed to:
2013
201120082002
2001
200119981995
199419941991Wrote 15 papers:
- TACAS-2013-BalasubramanianPKL #analysis #multi #named #statechart
- Polyglot: Systematic Analysis for Multiple Statechart Formalisms (DB, CSP, GK, MRL), pp. 523–529.
- ISSTA-2011-BalasubramanianPWKL #analysis #modelling #multi #named #statechart
- Polyglot: modeling and analysis for multiple Statechart formalisms (DB, CSP, MWW, GK, MRL), pp. 45–55.
- ISSTA-2008-PasareanuMBGLPP #execution #symbolic computation #testing
- Combining unit-level symbolic execution and system-level concrete execution for testing NASA software (CSP, PCM, DHB, KGB, MRL, SP, MP), pp. 15–26.
- TACAS-2002-Lowry #analysis #tool support
- Software Construction and Analysis Tools for Future Space Missions (MRL), pp. 1–19.
- ASE-2001-LowryPR #policy
- Certifying Domain-Specific Policies (MRL, TP, GR), pp. 81–90.
- ASE-2001-WhittleBSRPPOLB #deduction #estimation #named #synthesis
- Amphion/NAV: Deductive Synthesis of State Estimation Software (JW, JVB, JS, PR, TP, JP, PO, MRL, GPB), pp. 395–399.
- RE-2001-Lowry #question #requirements #synthesis
- Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? (MRL), pp. 12–13.
- ASE-1998-BaalenRLP
- Explaining Synthesized Software (JVB, PR, MRL, TP), pp. 240–248.
- ASE-1998-LowryBK #empirical #integration #testing #towards #verification
- Towards a Theory for Integration of Mathematical Verification and Empirical Testing (MRL, MB, DK), p. 322–?.
- KBSE-1995-LowryB #domain-specific language #named #performance #synthesis
- META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems (MRL, JVB), pp. 2–10.
- KBSE-1995-LowryL #knowledge-based #re-engineering
- Legal Issues on Knowledge-Based Software Engineering (DDL, MRL), pp. 61–69.
- CADE-1994-StickelWLPU #composition #deduction #library
- Deductive Composition of Astronomical Software from Subroutine Libraries (MES, RJW, MRL, TP, IU), pp. 341–355.
- KBSE-1994-LowryPPU #automation #library #named #programming
- AMPHION: Automatic Programming for Subroutine Libraries (MRL, AP, TP, IU), p. 2.
- KBSE-1994-LowryPPU94a #approach #design #formal method
- A Formal Approach to Domain-Oriented Software Design Environments (MRL, AP, TP, IU), pp. 48–57.
- KBSE-1991-LowryKSS #design #knowledge-based
- Knowledge-Based Design (MRL, GEK, DES, DMS), pp. 239–244.