Michael R. Lowry

	2012
41		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
40		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. Industrial Informatics 8(2): 366-377 (2012)
	2011
39		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
38		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
37		Trevor Harmon, Michael R. Lowry: N-version programming in WCET analysis: revisiting a discredited idea. FoSER 2010: 157-160
36		Michael R. Lowry: Towards predictive models of technology impact on software design productivity. FoSER 2010: 223-228
35		Arnaud Venet, Michael R. Lowry: Static analysis for software assurance: soundness, scalability and adaptiveness. FoSER 2010: 393-396
	2008
34		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
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
32		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)
	2004
31		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 in System Design 25(2-3): 167-198 (2004)
	2003
30		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
29		Michael R. Lowry: Software Construction and Analysis Tools for Future Space Missions. TACAS 2002: 1-19
	2001
28		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
27		Michael R. Lowry, Thomas Pressburger, Grigore Rosu: Certifying Domain-Specific Policies. ASE 2001: 81-90
26		Michael R. Lowry: Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? RE 2001: 12-13
25		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)
	1999
24		Christopher A. Welty, Michael R. Lowry, Yves Ledru: Guest Editorial. Autom. Softw. Eng. 6(4): 327-328 (1999)
	1998
23		Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger: Explaining Synthesized Software. ASE 1998: 240-248
22		Michael 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
19		Michael 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
15		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
14		Michael 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
11		Michael 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

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

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page