A. Poetzsch-Heffter
发表
Peter M Uller,
A. Poetzsch-Heffter,
1999
.
A. Poetzsch-Heffter,
Kathrin Geilmann,
2011
.
A. Poetzsch-Heffter,
Yannick Welsch,
Mathias Weber,
2012
.
A. Poetzsch-Heffter,
Patrick Michel,
2009
.
A. Poetzsch-Heffter,
Patrick Michel,
2009
.
G. Leavens,
A. Poetzsch-Heffter,
Peter Müller,
2002
.
A. Poetzsch-Heffter,
Yannick Welsch,
I. Kurnia,
2010
.
David Lee,
Arnd Poetzsch-Heffter,
Antónia Lopes,
2009,
FMOODS/FORTE.
Gary T. Leavens,
Erik Poll,
Peter Müller,
2006,
ECOOP Workshops.
Sophia Drossopoulou,
Gary T. Leavens,
Arnd Poetzsch-Heffter,
2006,
ECOOP Workshops.
Bart Jacobs,
Gary T. Leavens,
Arnd Poetzsch-Heffter,
1999,
ECOOP Workshops.
Davide Ancona,
Elena Zucca,
Sophia Drossopoulou,
2006,
ECOOP Workshops.
A. Poetzsch-Heffter,
Peter M̈uller,
2001
.
Arnd Poetzsch-Heffter,
A. Poetzsch-Heffter,
1997
.
Arnd Poetzsch-Heffter,
A. Poetzsch-Heffter,
1993
.
Annette Bieniusa,
Arnd Poetzsch-Heffter,
Peter Zeller,
2014,
FORTE.
Arnd Poetzsch-Heffter,
Ilham W. Kurnia,
A. Poetzsch-Heffter,
2012,
FMCO.
Klaus Schneider,
Arnd Poetzsch-heffter,
A. Poetzsch-Heffter,
2007
.
Arnd Poetzsch-Heffter,
Jan Schäfer,
A. Poetzsch-Heffter,
2010,
ECOOP.
Arnd Poetzsch-Heffter,
Jan Schäfer,
A. Poetzsch-Heffter,
2008,
FMOODS.
Arnd Poetzsch-Heffter,
Jan Schäfer,
Jean-Marie Gaillourdet,
2007,
CoCoME.
Eran Yahav,
Noam Rinetzky,
Arnd Poetzsch-Heffter,
2007,
ESOP.
Arnd Poetzsch-Heffter,
Ina Schaefer,
A. Poetzsch-Heffter,
2008,
SEAMS '08.
Arnd Poetzsch-Heffter,
Gabriele Weiler,
Stephan Kiefer,
2009,
DEXA.
Gary T. Leavens,
Arnd Poetzsch-Heffter,
Peter Müller,
2006,
Sci. Comput. Program..
Arnd Poetzsch-Heffter,
Jörg Meyer,
A. Poetzsch-Heffter,
1999,
Journal of universal computer science (Online).
Arnd Poetzsch-Heffter,
Peter Zeller,
A. Poetzsch-Heffter,
2016,
SEFM.
Arnd Poetzsch-Heffter,
Patrick Michel,
A. Poetzsch-Heffter,
2012,
ITP.
Arnd Poetzsch-Heffter,
Ina Schaefer,
A. Poetzsch-Heffter,
2008,
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Jan Olaf Blech,
Arnd Poetzsch-Heffter,
A. Poetzsch-Heffter,
2007,
COCV@ETAPS.
Arnd Poetzsch-Heffter,
A. Poetzsch-Heffter,
1994,
IFIP Congress.
Arnd Poetzsch-Heffter,
Patrick Michel,
Jean-Marie Gaillourdet,
2013,
Programming Logics.
Arnd Poetzsch-Heffter,
Ilham W. Kurnia,
A. Poetzsch-Heffter,
2012,
AGERE! 2012.
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries
Arnd Poetzsch-Heffter,
Yannick Welsch,
A. Poetzsch-Heffter,
2014,
Sci. Comput. Program..
Gary T. Leavens,
Arnd Poetzsch-Heffter,
Peter Müller,
2003,
Concurr. Comput. Pract. Exp..
Arnd Poetzsch-Heffter,
Jan Schäfer,
A. Poetzsch-Heffter,
2006,
Softwaretechnik-Trends.
Arnd Poetzsch-Heffter,
Jan Schäfer,
A. Poetzsch-Heffter,
2006
.
Arnd Poetzsch-Heffter,
Jörg Meyer,
A. Poetzsch-Heffter,
2000,
TACAS.
Arnd Poetzsch-Heffter,
Peter Müller,
A. Poetzsch-Heffter,
1999,
ESOP.
Arnd Poetzsch-Heffter,
Ilham W. Kurnia,
Yannick Welsch,
2012,
ISoLA.
Arnd Poetzsch-Heffter,
Yannick Welsch,
Jan Schäfer,
2013,
Aliasing in Object-Oriented Programming.
Annette Bieniusa,
Arnd Poetzsch-Heffter,
Peter Zeller,
2019,
FACS.
Annette Bieniusa,
Arnd Poetzsch-Heffter,
Mathias Weber,
2017,
FORTE.
Annette Bieniusa,
Arnd Poetzsch-Heffter,
Mathias Weber,
2016,
STM.
Ivan Lanese,
Mario Bravetti,
Davide Sangiorgi,
2010,
FMCO.
Arnd Poetzsch-Heffter,
Jan Schäfer,
A. Poetzsch-Heffter,
2010,
IWMSE '10.
Jan Olaf Blech,
Arnd Poetzsch-Heffter,
Ina Schaefer,
2007,
RV.
Arnd Poetzsch-Heffter,
Ina Schaefer,
A. Poetzsch-Heffter,
2006,
Trustworthy Software.
Arnd Poetzsch-Heffter,
A. Poetzsch-Heffter,
1996,
AMAST.
Arnd Poetzsch-Heffter,
Peter Müller,
A. Poetzsch-Heffter,
1998,
PROCOMET.
A. Poetzsch-Heffter,
M. Gawkowski,
2005,
COCV@ETAPS.
Arnd Poetzsch-Heffter,
Marek Gawkowski,
A. Poetzsch-Heffter,
2022
.
Markus Roggenbach,
Dieter Hutter,
Martin Wirsing,
2002,
WADT.
Werner Dietl,
Arnd Poetzsch-Heffter,
Peter Müller,
2004,
CASSIS.
Arnd Poetzsch-Heffter,
Malte Brunnlieb,
A. Poetzsch-Heffter,
2016,
VikingPLoP '16.
Gary T. Leavens,
Peter Müller,
Arnd Poetzsch-Heffter,
2003,
ECOOP Workshops.