| 2001 |
|---|
| 10 | EE | 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 |
| 9 | EE | Michael R. Lowry,
Thomas Pressburger,
Grigore Rosu:
Certifying Domain-Specific Policies.
ASE 2001: 81-90 |
| 2000 |
|---|
| 8 | EE | Bernd Fischer,
Johann Schumann,
Thomas Pressburger:
Generating Data Analysis Programs from Statistical Models.
SAIG 2000: 212-229 |
| 7 | EE | Klaus Havelund,
Thomas Pressburger:
Model Checking JAVA Programs using JAVA PathFinder.
STTT 2(4): 366-381 (2000) |
| 1999 |
|---|
| 6 | EE | Wray L. Buntine,
Bernd Fischer,
Thomas Pressburger:
Towards Automated Synthesis of Data Mining Programs.
KDD 1999: 372-376 |
| 1998 |
|---|
| 5 | EE | Jeffrey Van Baalen,
Peter Robinson,
Michael R. Lowry,
Thomas Pressburger:
Explaining Synthesized Software.
ASE 1998: 240-248 |
| 1994 |
|---|
| 4 | | 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 |
| 3 | | Michael R. Lowry,
Andrew Philpot,
Thomas Pressburger,
Ian Underwood:
AMPHION: Automatic Programming for Scientific Subroutine Libraries.
ISMIS 1994: 326-335 |
| 2 | | Michael R. Lowry,
Andrew Philpot,
Thomas Pressburger,
Ian Underwood:
AMPHION: Automatic Programming for Subroutine Libraries.
KBSE 1994: 2 |
| 1 | | Michael R. Lowry,
Andrew Philpot,
Thomas Pressburger,
Ian Underwood:
A Formal Approach to Domain-Oriented Software Design Environments.
KBSE 1994: 48-57 |
