Följ
Arnd Poetzsch-Heffter
Arnd Poetzsch-Heffter
Professor für Informatik, University of Kaiserslautern
Verifierad e-postadress på cs.uni-kl.de
Titel
Citeras av
Citeras av
År
A programming logic for sequential Java
A Poetzsch-Heffter, P Müller
European Symposium on Programming, 162-176, 1999
2251999
Modular invariants for layered object structures
P Müller, A Poetzsch-Heffter, GT Leavens
Science of Computer Programming 62 (3), 253-286, 2006
1932006
JCoBox: Generalizing active objects to concurrent components
J Schäfer, A Poetzsch-Heffter
ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010
1712010
Using data groups to specify and check side effects
KRM Leino, A Poetzsch-Heffter, Y Zhou
ACM SIGPLAN Notices 37 (5), 246-257, 2002
1452002
Specification and verification of object-oriented programs
A Poetzsch-Heffter
Habilitation thesis, Technical University of Munich, 1997
1311997
Universes: A Type Systems for Alias and Dependency Control
P Müller, A Poetzsch-Heffter
1122001
Universes: A type system for controlling representation exposure
P Müller, A Poetzsch-Heffter
Programming Languages and Fundamentals of Programming 263, 204, 1999
1101999
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 object-oriented software components
P Müller, A Poetzsch-Heffter
Foundations of component-based systems, 137-159, 2000
772000
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
732003
Logical foundations for typed object-oriented languages
A Poetzsch-Heffter, P Müller
Programming Concepts and Methods PROCOMET’98: IFIP TC2/WG2. 2, 2.3 …, 1998
701998
Formal specification and verification of crdts
P Zeller, A Bieniusa, A Poetzsch-Heffter
Formal Techniques for Distributed Objects, Components, and Systems: 34th …, 2014
472014
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
472008
A type system for controlling representation exposure in Java
P Müller, A Poetzsch-Heffter
2nd ECOOP Workshop on Formal Techniques for Java Programs, 2000
442000
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
432011
Prototyping realistic programming languages based on formal specifications
A Poetzsch-Heffter
Acta Informatica 34, 737-772, 1997
411997
Konzepte objektorientierter Programmierung: Mit einer EinfŘhrung in Java
A Poetzsch-Heffter
Springer-Verlag, 2009
402009
A Model-Based Framework for Automated Product Derivation.
I Schaefer, A Worret, A Poetzsch-Heffter
MAPLE@ SPLC, 2009
372009
Modular specification of frame properties in JML
P Müller, A Poetzsch-Heffter, G Leavens
302002
Modular shape analysis for dynamically encapsulated programs
N Rinetzky, A Poetzsch-Heffter, G Ramalingam, M Sagiv, E Yahav
Programming Languages and Systems: 16th European Symposium on Programming …, 2007
282007
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20