Concepedia

Arnd Poetzsch‐Heffter

AP

18

Publications

588

Citations

14

H-Index

1994

Active since

Affiliations

University of Kaiserslautern(Current)

Iowa State University

Microsoft (United States)

Arnd Poetzsch‐Heffter is an author at University of Kaiserslautern specializing in engineering, formal methods, and software analysis.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware AnalysisProgram AnalysisFormal VerificationVerificationSoftware DesignSoftware EngineeringSoftware Testing

Publications per year

1994–2016

18

Publications

18

Modular invariants for layered object structures

Péter Müller, Arnd Poetzsch‐Heffter, Gary T. Leavens · Science of Computer Programming · 2006 · 130 citations

Geometric Modeling, Machine Vision, Engineering +10

Using data groups to specify and check side effects

K. Rustan M. Leino, Arnd Poetzsch‐Heffter, Y. Zhou · 2002 · 111 citations

Software Maintenance, Program Checking, Engineering +22

Modular specification of frame properties in JML

Péter Müller, Arnd Poetzsch‐Heffter, Gary T. Leavens · Concurrency and Computation Practice and Experience · 2003 · 64 citations

Engineering, Frame Properties, Semantics +16

Slicing for model reduction in adaptive embedded systems development

Ina Schaefer, Arnd Poetzsch‐Heffter · 2008 · 35 citations

Engineering, Verification, Software Engineering +23

Prototyping realistic programming languages based on formal specifications

Arnd Poetzsch‐Heffter · Acta Informatica · 1997 · 31 citations

Specification Language, Formal Specification, Engineering +11

Rows per page

1–5 of 18