Arnd Poetzsch-Heffter
Arnd Poetzsch-Heffter
Professor für Informatik, University of Kaiserslautern
Verified email at
TitleCited byYear
A programming logic for sequential Java
A Poetzsch-Heffter, P Müller
European Symposium on Programming, 162-176, 1999
Modular invariants for layered object structures
P Müller, A Poetzsch-Heffter, GT Leavens
Science of Computer Programming 62 (3), 253-286, 2006
JCoBox: Generalizing active objects to concurrent components
J Schäfer, A Poetzsch-Heffter
European Conference on Object-Oriented Programming, 275-299, 2010
Using data groups to specify and check side effects
KRM Leino, A Poetzsch-Heffter, Y Zhou
ACM SIGPLAN Notices 37 (5), 246-257, 2002
Specification and verification of object-oriented programs
A Poetzsch-Heffter
Habilitation thesis, Technical University of Munich, 1997
Universes: A ype System for Alias and Dependency Control
P Möuller, A Poetzsch-Heffter, F Hagen
Universes: A type system for controlling representation exposure
P Müller, A Poetzsch-Heffter
Programming Languages and Fundamentals of Programming 263, 1999
An architecture for interactive program provers
J Meyer, A Poetzsch-Heffter
International Conference on Tools and Algorithms for the Construction and …, 2000
Modular specification and verification techniques for object-oriented software components
P Müller, A Poetzsch-Heffter
Foundations of component-based systems 137, 159, 2000
Logical foundations for typed object-oriented languages
A Poetzsch-Heffter, P Müller
Programming Concepts and Methods PROCOMET’98, 404-423, 1998
Modular specification of frame properties in JML
P Müller, A Poetzsch‐Heffter, GT Leavens
Concurrency and computation: Practice and experience 15 (2), 117-154, 2003
Prototyping realistic programming languages based on formal specifications
A Poetzsch-Heffter
Acta Informatica 34 (10), 737-772, 1997
A type system for controlling representation exposure in Java
P Müller, A Poetzsch-Heffter
ECOOP Workshop on Formal Techniques for Java Programs. Technical Report 269, 2000
Slicing for model reduction in adaptive embedded systems development
I Schaefer, A Poetzsch-Heffter
Proceedings of the 2008 international workshop on Software engineering for …, 2008
A model-based framework for automated product derivation
I Schaefer, A Worret, A Poetzsch-Heffter
1st International Workshop on Model-Driven Approaches in Software Product …, 2009
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
R Adler, I Schaefer, M Trapp, A Poetzsch-Heffter
ACM Transactions on Embedded Computing Systems (TECS) 10 (2), 20, 2010
Modular specification of frame properties in JML
P Müller, A Poetzsch-Heffter, GT Leavens
Konzepte objektorientierter Programmierung: Mit einer EinfŘhrung in Java
A Poetzsch-Heffter
Springer-Verlag, 2009
Towards proof generating compilers
A Poetzsch-Heffter, M Gawkowski
Electronic Notes in Theoretical Computer Science 132 (1), 37-51, 2005
Verifying backwards compatibility of object-oriented libraries using Boogie
Y Welsch, A Poetzsch-Heffter
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs …, 2012
The system can't perform the operation now. Try again later.
Articles 1–20