Thomas Pressburger
发表
Michael R. Lowry,
Peter Robinson,
Jeffrey Van Baalen,
1998,
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).
Gabor Karsai,
Deborah A. Dahl,
Johann Schumann,
2018
.
Michael R. Lowry,
Ian Underwood,
Mark E. Stickel,
1994,
CADE.
Michael R. Lowry,
Ian Underwood,
Andrew Philpot,
1994,
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference.
Klaus Havelund,
Thomas Pressburger,
K. Havelund,
2000,
International Journal on Software Tools for Technology Transfer.
Michael Lowry,
Thomas Pressburger,
Jeffrey VanBaalen,
1997
.
Deborah A. Dahl,
Michael Lowry,
Thomas Pressburger,
2019
.
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2011,
2011 22nd IEEE International Symposium on Rapid System Prototyping.
Michael R. Lowry,
Grigore Rosu,
Thomas Pressburger,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Lawrence Z. Markosian,
Corina S. Pasareanu,
Willem Visser,
2008
.
Johann Schumann,
Pierre-Loïc Garoche,
Anastasia Mavridou,
2020,
REFSQ Workshops.
Grigore Rosu,
Johann Schumann,
Bernd Fischer,
2001
.
Johann Schumann,
Pierre-Loic Garoche,
Anastasia Mavridou,
2020,
2020 IEEE 28th International Requirements Engineering Conference (RE).
Michael R. Lowry,
Ian Underwood,
Andrew Philpot,
1994,
ISMIS.
Thomas Pressburger,
Jane Friedman,
Santos Gerardo Lazzeri,
1999
.
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2012,
NASA Formal Methods.
Martin S. Feather,
Michael G. Hinchey,
Lawrence Markosian,
2006,
TT '06.
Michael R. Lowry,
Ian Underwood,
Andrew Philpot,
1994,
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference.
Johann Schumann,
Bernd Fischer,
Thomas Pressburger,
2000,
SAIG.
Martin S. Feather,
Michael G. Hinchey,
Lawrence Markosian,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Henry Lum,
Michael Lowry,
Ian Underwood,
1994
.
Michael Lowry,
Mark E. Stickel,
Richard J. Waldinger,
1994
.
Michael R. Lowry,
John Penix,
Johann Schumann,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Johann Schumann,
Julian Rhein,
Anastasia Mavridou,
2020,
REFSQ Workshops.
Anastasia Mavridou,
Swee Balachandran,
Dimitra Giannakopoulou,
2020,
FMAS.
Wray L. Buntine,
Bernd Fischer,
Thomas Pressburger,
1999,
KDD '99.
Johann Schumann,
Anastasia Mavridou,
Dimitra Giannakopoulou,
2020,
REFSQ.
Dimitra Giannakopoulou,
Michael W. Whalen,
Anastasia Mavridou,
2021,
FM.
Dimitra Giannakopoulou,
Anastasia Mavridou,
Thomas Pressburger,
2021,
Inf. Softw. Technol..
Dimitra Giannakopoulou,
Thomas Pressburger,
Laura Titolo,
2022,
CPP.