Arnd Poetzsch-Heffter

Cited by

	All	Since 2020
Citations	2538	174
h-index	24	7
i10-index	52	4

180

135

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 8 26 20 30 47 82 134 116 141 139 154 161 146 153 91 122 137 144 89 89 69 62 73 51 42 33 37 33 25 4

Public access

View all

9 articles

1 article

available

not available

Based on funding mandates

Co-authors

Peter MüllerETH ZurichVerified email at inf.ethz.ch
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Ina SchaeferKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
Susan EisenbachProfessor Emeritus of Computing, Imperial College LondonVerified email at imperial.ac.uk
Annette BieniusaUniversity of Kaiserslautern-Landau (RPTU)Verified email at cs.uni-kl.de
Sophia DrossopoulouProfessor, Imperial College LondonVerified email at imperial.ac.uk
Peter ZellerTU Kaiserslautern, AG SoftwaretechnikVerified email at cs.uni-kl.de
Erik PollRadboud University NijmegenVerified email at cs.ru.nl
Jan Olaf BlechAalto UniversityVerified email at aalto.fi
Yunhong ZhouiPick.aiVerified email at yahooinc.com
Mooly SagivTel Aviv UniversityVerified email at acm.org
Mario TrappFraunhoferVerified email at iks.fraunhofer.de
Eran YahavTechnion, IsraelVerified email at cs.technion.ac.il
Ganesan RamalingamMicrosoft Research IndiaVerified email at microsoft.com
Noam RinetzkyAssistant Professor of Computer Science, Tel Aviv UniversityVerified email at cs.tau.ac.il
Norbert WehnUniversity of KaiserslauternVerified email at eit.uni-kl.de
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Werner DietlElectrical and Computer Engineering, University of WaterlooVerified email at uwaterloo.ca
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it

Arnd Poetzsch-Heffter

Professor für Informatik, University of Kaiserslautern-Landau

Verified email at cs.uni-kl.de

software technology programming languages program verification component-based software


Title Sort by citations Sort by year Sort by 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	225	1999
Modular invariants for layered object structures P Müller, A Poetzsch-Heffter, GT Leavens Science of Computer Programming 62 (3), 253-286, 2006	199	2006
JCoBox: Generalizing active objects to concurrent components J Schäfer, A Poetzsch-Heffter ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010	174	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	144	2002
Specification and verification of object-oriented programs A Poetzsch-Heffter Habilitation thesis, Technical University of Munich, 1997	132	1997
Universes: A Type Systems for Alias and Dependency Control P Müller, A Poetzsch-Heffter	113	2001
Universes: A type system for controlling representation exposure P Müller, A Poetzsch-Heffter Programming Languages and Fundamentals of Programming 263, 204, 1999	110	1999
An architecture for interactive program provers J Meyer, A Poetzsch-Heffter International Conference on Tools and Algorithms for the Construction and …, 2000	81	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	78	2000
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	75	2003
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	70	1998
Formal specification and verification of crdts P Zeller, A Bieniusa, A Poetzsch-Heffter Formal Techniques for Distributed Objects, Components, and Systems: 34th …, 2014	51	2014
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	47	2008
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	44	2011
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	44	2000
Prototyping realistic programming languages based on formal specifications A Poetzsch-Heffter Acta Informatica 34, 737-772, 1997	41	1997
Konzepte objektorientierter Programmierung: Mit einer EinfŘhrung in Java A Poetzsch-Heffter Springer-Verlag, 2009	40	2009
A Model-Based Framework for Automated Product Derivation. I Schaefer, A Worret, A Poetzsch-Heffter MAPLE@ SPLC, 2009	38	2009
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	30	2007
Modular specification of frame properties in JML P Müller, A Poetzsch-Heffter, G Leavens	29	2002

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors