Get started
Author

Arnd Poetzsch‐Heffter

Observed names: 1Arnd Poetzsch-Heffter, A. Poetzsch-Heffter, Arnd Poetzsch-Heffter, Arnd Poetzsch-Heter, Arnd Poetzsch-heffter, Poetzsch-Heffter, A., Poetzsch-Heffter, Arnd, Poetzsch-Heffter, Arnd 1958-
OpenAlex ID: A5113482604
Modular invariants for layered object structures
2006 · Peter Müller, Arnd Poetzsch-Heffter, et al. · Science of Computer Programming · 140
PDF
A Programming Logic for Sequential Java
1999 · Arnd Poetzsch-Heffter, Peter Müller · Lecture notes in computer science · 127
PDF
Using data groups to specify and check side effects
2002 · K. Rustan M. Leino, Arnd Poetzsch-Heffter, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 117
JCoBox: Generalizing Active Objects to Concurrent Components
2010 · Jan Schäfer, Arnd Poetzsch-Heffter · Lecture notes in computer science · 84
Modular specification of frame properties in JML
2003 · Peter Müller, Arnd Poetzsch‐Heffter, et al. · Concurrency and Computation Practice and Experience · 66
Modular specification and verification techniques for object-oriented software components
2000 · Péter Müller, Arnd Poetzsch‐Heffter · Cambridge University Press eBooks · 48
An Architecture for Interactive Program Provers
2000 · Jörg Meyer, Arnd Poetzsch-Heffter · Lecture notes in computer science · 47
PDF
Logical Foundations for Typed Object-Oriented Languages
1998 · Arnd Poetzsch-Heffter, Peter Müller · Springer eBooks · 42
PDF
Slicing for model reduction in adaptive embedded systems development
2008 · Ina Schaefer, Arnd Poetzsch-Heffter · International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) · 36
Formal Specification and Verification of CRDTs
2014 · Peter Zeller, Annette Bieniusa, et al. · Lecture notes in computer science · 31
Prototyping realistic programming languages based on formal specifications
1997 · Arnd Poetzsch-Heffter · Acta Informatica · 31
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
2010 · Rasmus Adler, Ina Schaefer, et al. · ACM Transactions on Embedded Computing Systems · 28
A Model-Based Framework for Automated Product Derivation.
2009 · Ina Schaefer, Alexander Worret, et al. · 25
A Certifying Code Generation Phase
2007 · Jan Olaf Blech, Arnd Poetzsch-Heffter · Electronic Notes in Theoretical Computer Science · 22
PDF
Towards Proof Generating Compilers
2005 · Arnd Poetzsch-Heffter, Marek Gawkowski · Electronic Notes in Theoretical Computer Science · 22
PDF
Formal Techniques for Java Programs
2007 · Sophia Drossopoulou, Susan Eisenbach, et al. · Springer eBooks · 20
Modular Shape Analysis for Dynamically Encapsulated Programs
2007 · N. Rinetzky, A. Poetzsch-Heffter, et al. · Lecture notes in computer science · 19
PDF
CoBoxes: Unifying Active Objects and Structured Heaps
2008 · Jan Schäfer, Arnd Poetzsch-Heffter · Lecture notes in computer science · 18
PDF
Access Control for Weakly Consistent Replicated Information Systems
2016 · Mathias Weber, Annette Bieniusa, et al. · Lecture notes in computer science · 16
Application of Architecture Implementation Patterns by Incremental Code Generation
2016 · Malte Brunnlieb, Arnd Poetzsch-Heffter · 15
Architecture-driven incremental code generation for increased developer efficiency
2014 · Malte Brunnlieb, Arnd Poetzsch‐Heffter · 15
A Parameterized Type System for Simple Loose Ownership Domains.
2007 · Jan Schaefer, Arnd Poetzsch-Heffter · The Journal of Object Technology · 15
PDF
MultiMedia Instruction in Safe and Secure Systems
2003 · Bernd Krieg-Brückner, Dieter Hutter, et al. · Lecture notes in computer science · 15
Verifying backwards compatibility of object-oriented libraries using Boogie
2012 · Yannick Welsch, Arnd Poetzsch-Heffter · Formal Techniques for Java-like Programs · 14
Infering Ownership Types for Encapsulated Object-Oriented Program Components
2007 · Arnd Poetzsch-Heffter, Kathrin Geilmann, et al. · Springer eBooks · 14
Works count: 121
Citation count: 1,346
H-index: 18
I10-index: 35
Year
Topic
Type