T. Pressburger
发表
M. Lowry,
T. Pressburger,
Recom,
1996
.
Kumar Sricharan,
Brian Hoelscher,
Rodney Martin,
2013
.
Wray L. Buntine,
Bernd Fischer,
Thomas Pressburger,
1999,
KDD '99.
A. Mavridou,
D. Giannakopoulou,
Ivan Perez,
2022,
TACAS.
T. Pressburger,
A. Reyes,
Lise Geetoor,
1995
.
K. Havelund,
T. Pressburger,
S. Roach,
1999
.
Dimitra Giannakopoulou,
Michael W. Whalen,
Anastasia Mavridou,
2021,
FM.
Dimitra Giannakopoulou,
Anastasia Mavridou,
Thomas Pressburger,
2021,
Inf. Softw. Technol..
Patrick J. Martin,
T. Pressburger,
Alexander Will,
2022,
FMAS/ASYDE@SEFM.
Michael Lowry,
Thomas Pressburger,
Jeffrey VanBaalen,
1997
.
Michael R. Lowry,
Ian Underwood,
Andrew Philpot,
1994,
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference.
Johann Schumann,
Pierre-Loic Garoche,
Anastasia Mavridou,
2020,
2020 IEEE 28th International Requirements Engineering Conference (RE).
Johann Schumann,
Anastasia Mavridou,
Dimitra Giannakopoulou,
2020,
REFSQ.
Klaus Havelund,
Thomas Pressburger,
K. Havelund,
2000,
International Journal on Software Tools for Technology Transfer.
Michael R. Lowry,
Ian Underwood,
Mark E. Stickel,
1994,
CADE.
Lawrence Z. Markosian,
Corina S. Pasareanu,
Willem Visser,
2008
.
Michael R. Lowry,
Ian Underwood,
Andrew Philpot,
1994,
ISMIS.
Michael R. Lowry,
Peter Robinson,
Jeffrey Van Baalen,
1998,
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).
Bernd Fischer,
Johann Schumann,
Ewen Denney,
2008
.
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2011,
2011 22nd IEEE International Symposium on Rapid System Prototyping.
Johann Schumann,
Bernd Fischer,
Thomas Pressburger,
2000,
SAIG.
Danny Thomas,
Alexia Joiner,
Wei Lin,
2010,
2010 IEEE Aerospace Conference.
Tom Pressburger,
Tim Menzies,
Lawrence Z. Markosian,
2004
.
Gabor Karsai,
Deborah A. Dahl,
Johann Schumann,
2018
.
Grigore Rosu,
Johann Schumann,
Bernd Fischer,
2001
.
Johann Schumann,
Julian Rhein,
Anastasia Mavridou,
2020,
REFSQ Workshops.
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2012,
NASA Formal Methods.