Follow
Arnd Poetzsch-Heffter
Arnd Poetzsch-Heffter
Professor für Informatik, University of Kaiserslautern
Verified email at cs.uni-kl.de
Title
Cited by
Cited by
Year
A programming logic for sequential Java
A Poetzsch-Heffter, P Müller
European Symposium on Programming, 162-176, 1999
2111999
Modular invariants for layered object structures
P Müller, A Poetzsch-Heffter, GT Leavens
Science of Computer Programming 62 (3), 253-286, 2006
1882006
JCoBox: Generalizing active objects to concurrent components
J Schäfer, A Poetzsch-Heffter
European Conference on Object-Oriented Programming, 275-299, 2010
1682010
Using data groups to specify and check side effects
KRM Leino, A Poetzsch-Heffter, Y Zhou
ACM SIGPLAN Notices 37 (5), 246-257, 2002
1412002
Specification and verification of object-oriented programs
A Poetzsch-Heffter
Habilitation thesis, Technical University of Munich, 1997
1301997
Universes: A Type Systems for Alias and Dependency Control
P Müller, A Poetzsch-Heffter
1092001
Universes: A type system for controlling representation exposure
P Müller, A Poetzsch-Heffter
Programming Languages and Fundamentals of Programming 263, 204, 1999
1051999
An architecture for interactive program provers
J Meyer, A Poetzsch-Heffter
International Conference on Tools and Algorithms for the Construction and …, 2000
812000
Modular Specification and Verification Techniques for
P Müller, A Poetzsch-Heffter
Foundations of component-based systems, 137, 2000
782000
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
702003
Logical foundations for typed object-oriented languages
A Poetzsch-Heffter, P Müller
Programming Concepts and Methods PROCOMET’98, 404-423, 1998
701998
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
462008
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
432000
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), 1-39, 2011
412011
Prototyping realistic programming languages based on formal specifications
A Poetzsch-Heffter
Acta Informatica 34 (10), 737-772, 1997
391997
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
382009
Formal specification and verification of crdts
P Zeller, A Bieniusa, A Poetzsch-Heffter
International Conference on Formal Techniques for Distributed Objects …, 2014
352014
Konzepte objektorientierter Programmierung: Mit einer EinfŘhrung in Java
A Poetzsch-Heffter
Springer-Verlag, 2009
332009
Modular specification of frame properties in JML
P Müller, A Poetzsch-Heffter, GT Leavens
Technical Report 02-02, Dept. of Comp. Sci., Iowa State Univ, 2002
302002
Towards proof generating compilers
A Poetzsch-Heffter, M Gawkowski
Electronic Notes in Theoretical Computer Science 132 (1), 37-51, 2005
272005
The system can't perform the operation now. Try again later.
Articles 1–20