Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael R. Lowry
@inproceedings{DBLP:conf/middleware/HartsellKL17,
author = {Charles Hartsell and
Gabor Karsai and
Michael R. Lowry},
editor = {Abhishek Dubey and
Marisol Garc{\'{\i}}a{-}Valls},
title = {Timing analysis of a middleware-based system},
booktitle = {Proceedings of the 16th Workshop on Adaptive and Reflective Middleware,
ARM@Middleware 2017, Las Vegas, NV, USA, December 11 - 15, 2017},
pages = {5:1--5:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3152881.3152886},
doi = {10.1145/3152881.3152886},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/middleware/HartsellKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BiatekWHRL14,
author = {Jason Biatek and
Michael W. Whalen and
Mats Per Erik Heimdahl and
Sanjai Rayadurgam and
Michael R. Lowry},
editor = {Stefania Gnesi and
Nico Plat},
title = {Analysis and testing of {PLEXIL} plans},
booktitle = {Proceedings of the 2nd {FME} Workshop on Formal Methods in Software
Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014},
pages = {52--58},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593489.2593496},
doi = {10.1145/2593489.2593496},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BiatekWHRL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BalasubramanianPKL13,
author = {Daniel Balasubramanian and
Corina S. Pasareanu and
Gabor Karsai and
Michael R. Lowry},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Polyglot: Systematic Analysis for Multiple Statechart Formalisms},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {523--529},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_36},
doi = {10.1007/978-3-642-36742-7\_36},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BalasubramanianPKL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/HarmonSKKKL12,
author = {Trevor Harmon and
Martin Schoeberl and
Raimund Kirner and
Raymond Klefstad and
Kwang{-}Hae (Kane) Kim and
Michael R. Lowry},
title = {Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {8},
number = {2},
pages = {366--377},
year = {2012},
url = {https://doi.org/10.1109/TII.2012.2187457},
doi = {10.1109/TII.2012.2187457},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tii/HarmonSKKKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BalasubramanianPBPKLW12,
author = {Daniel Balasubramanian and
Corina S. Pasareanu and
Jason Biatek and
Thomas Pressburger and
Gabor Karsai and
Michael R. Lowry and
Michael W. Whalen},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Integrating Statechart Components in Polyglot},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {267--272},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_26},
doi = {10.1007/978-3-642-28891-3\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BalasubramanianPBPKLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BalasubramanianPWKL11,
author = {Daniel Balasubramanian and
Corina S. Pasareanu and
Michael W. Whalen and
Gabor Karsai and
Michael R. Lowry},
editor = {Matthew B. Dwyer and
Frank Tip},
title = {Polyglot: modeling and analysis for multiple Statechart formalisms},
booktitle = {Proceedings of the 20th International Symposium on Software Testing
and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
pages = {45--55},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2001420.2001427},
doi = {10.1145/2001420.2001427},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BalasubramanianPWKL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BalasubramanianPNKLPP11,
author = {Daniel Balasubramanian and
G{\'{a}}bor Pap and
Harmon Nine and
Gabor Karsai and
Michael R. Lowry and
Corina S. Pasareanu and
Thomas Pressburger},
title = {Rapid property specification and checking for model-based formalisms},
booktitle = {Proceedings of the 22nd {IEEE} International Symposium on Rapid System
Prototyping, {RSP} 2011, Karlsruhe, Germany, 24-27 May, 2011},
pages = {121--127},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/RSP.2011.5929985},
doi = {10.1109/RSP.2011.5929985},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rsp/BalasubramanianPNKLPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HarmonL10,
author = {Trevor Harmon and
Michael R. Lowry},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {N-version programming in {WCET} analysis: revisiting a discredited
idea},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {157--160},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882396},
doi = {10.1145/1882362.1882396},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HarmonL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Lowry10,
author = {Michael R. Lowry},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {Towards predictive models of technology impact on software design
productivity},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {223--228},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882409},
doi = {10.1145/1882362.1882409},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Lowry10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/VenetL10,
author = {Arnaud Venet and
Michael R. Lowry},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {Static analysis for software assurance: soundness, scalability and
adaptiveness},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {393--396},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882442},
doi = {10.1145/1882362.1882442},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/VenetL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/Lowry08,
author = {Michael R. Lowry},
editor = {Aijun An and
Stan Matwin and
Zbigniew W. Ras and
Dominik Slezak},
title = {Intelligent Software Engineering Tools for NASA's Crew Exploration
Vehicle},
booktitle = {Foundations of Intelligent Systems, 17th International Symposium,
{ISMIS} 2008, Toronto, Canada, May 20-23, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4994},
pages = {28--37},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68123-6\_3},
doi = {10.1007/978-3-540-68123-6\_3},
timestamp = {Mon, 28 Aug 2023 21:17:48 +0200},
biburl = {https://dblp.org/rec/conf/ismis/Lowry08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PasareanuMBGLPP08,
author = {Corina S. Pasareanu and
Peter C. Mehlitz and
David H. Bushnell and
Karen Gundy{-}Burlet and
Michael R. Lowry and
Suzette Person and
Mark Pape},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Combining unit-level symbolic execution and system-level concrete
execution for testing {NASA} software},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {15--26},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390635},
doi = {10.1145/1390630.1390635},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/PasareanuMBGLPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ArthoBGHKLPRSVW05,
author = {Cyrille Artho and
Howard Barringer and
Allen Goldberg and
Klaus Havelund and
Sarfraz Khurshid and
Michael R. Lowry and
Corina S. Pasareanu and
Grigore Rosu and
Koushik Sen and
Willem Visser and
Richard Washington},
title = {Combining test case generation and runtime verification},
journal = {Theor. Comput. Sci.},
volume = {336},
number = {2-3},
pages = {209--234},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.11.007},
doi = {10.1016/J.TCS.2004.11.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ArthoBGHKLPRSVW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2005,
editor = {Robert Gl{\"{u}}ck and
Michael R. Lowry},
title = {Generative Programming and Component Engineering, 4th International
Conference, {GPCE} 2005, Tallinn, Estonia, September 29 - October
1, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3676},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11561347},
doi = {10.1007/11561347},
isbn = {3-540-29138-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BratDGGHLPVVW04,
author = {Guillaume P. Brat and
Doron Drusinsky and
Dimitra Giannakopoulou and
Allen Goldberg and
Klaus Havelund and
Michael R. Lowry and
Corina S. Pasareanu and
Arnaud Venet and
Willem Visser and
Richard Washington},
title = {Experimental Evaluation of Verification and Validation Tools on Martian
Rover Software},
journal = {Formal Methods Syst. Des.},
volume = {25},
number = {2-3},
pages = {167--198},
year = {2004},
url = {https://doi.org/10.1023/B:FORM.0000040027.28662.a4},
doi = {10.1023/B:FORM.0000040027.28662.A4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BratDGGHLPVVW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/ArthoDGHLPRV03,
author = {Cyrille Artho and
Doron Drusinsky and
Allen Goldberg and
Klaus Havelund and
Michael R. Lowry and
Corina S. Pasareanu and
Grigore Rosu and
Willem Visser},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Experiments with Test Case Generation and Runtime Analysis},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {87--107},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_5},
doi = {10.1007/3-540-36498-6\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/ArthoDGHLPRV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Lowry02,
author = {Michael R. Lowry},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Software Construction and Analysis Tools for Future Space Missions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {1--19},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_1},
doi = {10.1007/3-540-46002-0\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Lowry02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HavelundLP01,
author = {Klaus Havelund and
Michael R. Lowry and
John Penix},
title = {Formal Analysis of a Space-Craft Controller Using {SPIN}},
journal = {{IEEE} Trans. Software Eng.},
volume = {27},
number = {8},
pages = {749--765},
year = {2001},
url = {https://doi.org/10.1109/32.940728},
doi = {10.1109/32.940728},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HavelundLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LowryPR01,
author = {Michael R. Lowry and
Thomas Pressburger and
Grigore Rosu},
title = {Certifying Domain-Specific Policies},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {81--90},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989793},
doi = {10.1109/ASE.2001.989793},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LowryPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WhittleBSRPPOLB01,
author = {Jon Whittle and
Jeffrey Van Baalen and
Johann Schumann and
Peter Robinson and
Thomas Pressburger and
John Penix and
Phil Oh and
Michael R. Lowry and
Guillaume P. Brat},
title = {Amphion/NAV: Deductive Synthesis of State Estimation Software},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {395--399},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989837},
doi = {10.1109/ASE.2001.989837},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WhittleBSRPPOLB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Lowry01,
author = {Michael R. Lowry},
title = {Requirements Engineering and Program Synthesis: Mutually Exclusive
or Synergistic?},
booktitle = {5th {IEEE} International Symposium on Requirements Engineering {(RE}
2001), 27-31 August 2001, Toronto, Canada},
pages = {12--13},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISRE.2001.948538},
doi = {10.1109/ISRE.2001.948538},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/Lowry01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/WeltyLL99,
author = {Christopher A. Welty and
Michael R. Lowry and
Yves Ledru},
title = {Guest Editorial},
journal = {Autom. Softw. Eng.},
volume = {6},
number = {4},
pages = {327--328},
year = {1999},
url = {https://doi.org/10.1023/A:1008727205223},
doi = {10.1023/A:1008727205223},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/WeltyLL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/YenPWCDATHFTMRML98,
author = {I{-}Ling Yen and
Raymond A. Paul and
Victor L. Winter and
John M. Covan and
Larry J. Dalton and
Leon Alkalai and
Ann T. Tai and
Rick Harper and
Barry Flahive and
Wei{-}Tek Tsai and
Ramin Mojdehbakhsh and
Sanjai Rayadurgam and
Kinji Mori and
Michael R. Lowry},
title = {Key Applications for High-Assurance Systems},
journal = {Computer},
volume = {31},
number = {4},
pages = {35--45},
year = {1998},
url = {https://doi.org/10.1109/2.666841},
doi = {10.1109/2.666841},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/YenPWCDATHFTMRML98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/LowryD98,
author = {Michael R. Lowry and
Daniel Dvorak},
title = {Analytic Verification of Flight Software},
journal = {{IEEE} Intell. Syst.},
volume = {13},
number = {5},
pages = {45--49},
year = {1998},
url = {https://doi.org/10.1109/5254.722359},
doi = {10.1109/5254.722359},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/LowryD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BaalenRLP98,
author = {Jeffrey Van Baalen and
Peter Robinson and
Michael R. Lowry and
Thomas Pressburger},
title = {Explaining Synthesized Software},
booktitle = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
{ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
pages = {240--248},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ASE.1998.732661},
doi = {10.1109/ASE.1998.732661},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BaalenRLP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LowryBK98,
author = {Michael R. Lowry and
M. Boyd and
D. Kulkarni},
title = {Towards a Theory for Integration of Mathematical Verification and
Empirical Testing},
booktitle = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
{ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
pages = {322},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ASE.1998.732690},
doi = {10.1109/ASE.1998.732690},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LowryBK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/LowryB97,
author = {Michael R. Lowry and
Jeffrey Van Baalen},
title = {{META-AMPHION:} Synthesis of Efficient Domain-Specific Program Synthesis
Systems},
journal = {Autom. Softw. Eng.},
volume = {4},
number = {2},
pages = {199--241},
year = {1997},
url = {https://doi.org/10.1023/A:1008637201658},
doi = {10.1023/A:1008637201658},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/LowryB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/LowryHP97,
author = {Michael R. Lowry and
Klaus Havelund and
John Penix},
editor = {Zbigniew W. Ras and
Andrzej Skowron},
title = {Verification and Validation of {AI} Systems that Control Deep-Space
Spacecraft},
booktitle = {Foundations of Intelligent Systems, 10th International Symposium,
{ISMIS} '97, Charlotte, North Carolina, USA, October 15-18, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1325},
pages = {35--47},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63614-5\_3},
doi = {10.1007/3-540-63614-5\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/LowryHP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LowryB95,
author = {Michael R. Lowry and
Jeffrey Van Baalen},
title = {{META-AMPHION:} Synthesis of Efficient Domain-Specific Program Synthesis
Systems},
booktitle = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
Conference, Boston, Massachusetts, USA, November 12-15, 1995},
pages = {2--10},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/KBSE.1995.490113},
doi = {10.1109/KBSE.1995.490113},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LowryB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LowryL95,
author = {David D. Lowry and
Michael R. Lowry},
title = {Legal Issues on Knowledge-Based Software Engineering},
booktitle = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
Conference, Boston, Massachusetts, USA, November 12-15, 1995},
pages = {61--69},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/KBSE.1995.490120},
doi = {10.1109/KBSE.1995.490120},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LowryL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/StickelWLPU94,
author = {Mark E. Stickel and
Richard J. Waldinger and
Michael R. Lowry and
Thomas Pressburger and
Ian Underwood},
editor = {Alan Bundy},
title = {Deductive Composition of Astronomical Software from Subroutine Libraries},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {341--355},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_24},
doi = {10.1007/3-540-58156-1\_24},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/StickelWLPU94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/LowryPPU94,
author = {Michael R. Lowry and
Andrew Philpot and
Thomas Pressburger and
Ian Underwood},
editor = {Zbigniew W. Ras and
Maria Zemankova},
title = {{AMPHION:} Automatic Programming for Scientific Subroutine Libraries},
booktitle = {Methodologies for Intelligent Systems, 8th International Symposium,
{ISMIS} '94, Charlotte, North Carolina, USA, October 16-19, 1994,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {869},
pages = {326--335},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58495-1\_33},
doi = {10.1007/3-540-58495-1\_33},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/LowryPPU94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LowryPPU94,
author = {Michael R. Lowry and
Andrew Philpot and
Thomas Pressburger and
Ian Underwood},
title = {{AMPHION:} Automatic Programming for Subroutine Libraries},
booktitle = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
Conference, Monterey, California, USA, September 20-23, 1994},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/KBSE.1994.342685},
doi = {10.1109/KBSE.1994.342685},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LowryPPU94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LowryPPU94a,
author = {Michael R. Lowry and
Andrew Philpot and
Thomas Pressburger and
Ian Underwood},
title = {A Formal Approach to Domain-Oriented Software Design Environments},
booktitle = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
Conference, Monterey, California, USA, September 20-23, 1994},
pages = {48--57},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/KBSE.1994.342678},
doi = {10.1109/KBSE.1994.342678},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LowryPPU94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/Lowry93,
author = {Michael R. Lowry},
editor = {Henryk Jan Komorowski and
Zbigniew W. Ras},
title = {Methodologies for Knowledge-Based Software Engineering},
booktitle = {Methodologies for Intelligent Systems, 7th International Symposium,
{ISMIS} '93, Trondheim, Norway, June 15-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {689},
pages = {219--234},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56804-2\_21},
doi = {10.1007/3-540-56804-2\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/Lowry93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Lowry92,
author = {Michael R. Lowry},
title = {Software Engineering in the Twenty-First Century},
journal = {{AI} Mag.},
volume = {13},
number = {3},
pages = {71--87},
year = {1992},
url = {https://doi.org/10.1609/aimag.v13i3.1012},
doi = {10.1609/AIMAG.V13I3.1012},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Lowry92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lowry92,
author = {Michael R. Lowry},
editor = {William R. Swartout},
title = {Symmetry as Bias: Rediscovering Special Relativity},
booktitle = {Proceedings of the 10th National Conference on Artificial Intelligence,
San Jose, CA, USA, July 12-16, 1992},
pages = {56--62},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1992},
url = {http://www.aaai.org/Library/AAAI/1992/aaai92-009.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lowry92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LowryKSS91,
author = {Michael R. Lowry and
Gail E. Kaiser and
Dorothy E. Setliff and
David M. Steier},
title = {Knowledge-Based Design},
booktitle = {Proceedings 6th Annual Knowledge-Based Software Engineering Conference,
{KBSE} 1991, Syracuse, New York, USA, September 22-25, 1991},
pages = {239--244},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/KBSE.1991.638043},
doi = {10.1109/KBSE.1991.638043},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LowryKSS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SmithL90,
author = {Douglas R. Smith and
Michael R. Lowry},
title = {Algorithm Theories and Design Tactics},
journal = {Sci. Comput. Program.},
volume = {14},
number = {2-3},
pages = {305--321},
year = {1990},
url = {https://doi.org/10.1016/0167-6423(90)90025-9},
doi = {10.1016/0167-6423(90)90025-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SmithL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Lowry89,
author = {Michael R. Lowry},
title = {Algorithm synthesis through problem reformulation},
school = {Stanford University, {USA}},
year = {1989},
url = {https://searchworks.stanford.edu/view/1356411},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Lowry89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compcon/Lowry89,
author = {Michael R. Lowry},
title = {Automating software design},
booktitle = {Thirty-Fourth {IEEE} Computer Society International Conference: Intellectual
Leverage, {COMPCON} Spring 89, San Francisco, CA, USA, February 27
- March 3, 1989, Digest of Papers},
pages = {222--225},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/CMPCON.1989.301930},
doi = {10.1109/CMPCON.1989.301930},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/compcon/Lowry89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/SmithL89,
author = {Douglas R. Smith and
Michael R. Lowry},
editor = {Jan L. A. van de Snepscheut},
title = {Algorithm Theories and Design Tactics},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {379--398},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_23},
doi = {10.1007/3-540-51305-1\_23},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/mpc/SmithL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lowry88,
author = {Michael R. Lowry},
editor = {Howard E. Shrobe and
Tom M. Mitchell and
Reid G. Smith},
title = {Invariant Logic: {A} Calculus for Problem Reformulation},
booktitle = {Proceedings of the 7th National Conference on Artificial Intelligence,
St. Paul, MN, USA, August 21-26, 1988},
pages = {14--18},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1988},
url = {http://www.aaai.org/Library/AAAI/1988/aaai88-003.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lowry88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lowry87,
author = {Michael R. Lowry},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Algorithm Synthesis through Problem Reformulation},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {432--436},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-077.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lowry87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lowry87,
author = {Michael R. Lowry},
editor = {John P. McDermott},
title = {The Abstraction/Implementation Model of Problem Reformulation},
booktitle = {Proceedings of the 10th International Joint Conference on Artificial
Intelligence. Milan, Italy, August 23-28, 1987},
pages = {1004--1010},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://ijcai.org/Proceedings/87-2/Papers/089.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Lowry87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WinstonKBL83,
author = {Patrick H. Winston and
Boris Katz and
Thomas O. Binford and
Michael R. Lowry},
editor = {Michael R. Genesereth},
title = {Learning Physical Descriptions From Functional Definitions, Examples,
and Precedents},
booktitle = {Proceedings of the National Conference on Artificial Intelligence,
Washington, D.C., USA, August 22-26, 1983},
pages = {433--439},
publisher = {{AAAI} Press},
year = {1983},
url = {http://www.aaai.org/Library/AAAI/1983/aaai83-060.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WinstonKBL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FischlerBBLQSW82,
author = {Martin A. Fischler and
Stephen T. Barnard and
Robert C. Bolles and
Michael R. Lowry and
L. H. Quam and
G. Smith and
Andrew P. Witkin},
editor = {David L. Waltz},
title = {Modeling and Using Physical Constraints in Scene Analysis},
booktitle = {Proceedings of the National Conference on Artificial Intelligence,
Pittsburgh, PA, USA, August 18-20, 1982},
pages = {30--35},
publisher = {{AAAI} Press},
year = {1982},
url = {http://www.aaai.org/Library/AAAI/1982/aaai82-008.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FischlerBBLQSW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
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
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
