Travelled to:
1 × Estonia
1 × Italy
1 × Portugal
1 × Slovenia
1 × South Africa
1 × The Netherlands
1 × United Kingdom
5 × Germany
Collaborated with:
∅ J.Schäfer I.Schaefer J.O.Blech J.Meyer P.Müller F.Damiani Y.Welsch K.R.M.Leino Y.Zhou N.Rinetzky G.Ramalingam M.Sagiv E.Yahav
Talks about:
program (5) specif (5) system (4) base (3) implement (2) languag (2) object (2) logic (2) check (2) use (2)
♂ Person: Arnd Poetzsch-Heffter
DBLP: Poetzsch-Heffter:Arnd
Facilitated 4 volumes:
Contributed to:
Wrote 13 papers:
- SAC-2012-DamianiPW #object-oriented #programming #type system
- A type system for checking specialization of packages in object-oriented programming (FD, APH, YW), pp. 1737–1742.
- ECOOP-2010-SchaferP #component #concurrent #named
- JCoBox: Generalizing Active Objects to Concurrent Components (JS, APH), pp. 275–299.
- SEFM-2008-SchaeferP #adaptation #composition #embedded #modelling #reasoning #verification
- Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems (IS, APH), pp. 95–104.
- COCV-2007-BlechP #code generation
- A Certifying Code Generation Phase (JOB, APH), pp. 65–82.
- ESOP-2007-RinetzkyPRSY #analysis #composition #encapsulation #source code
- Modular Shape Analysis for Dynamically Encapsulated Programs (NR, APH, GR, MS, EY), pp. 220–236.
- PLDI-2002-LeinoPZ #using
- Using Data Groups to Specify and Check Side Effects (KRML, APH, YZ), pp. 246–257.
- TACAS-2000-MeyerP #architecture #interactive #proving
- An Architecture for Interactive Program Provers (JM, APH), pp. 63–77.
- ESOP-1999-Poetzsch-HeffterM #java #logic #programming
- A Programming Logic for Sequential Java (APH, PM), pp. 162–176.
- CC-1994-Poetzsch-Heffter #formal method #performance #specification
- Developing Efficient Interpreters Based on Formal Language Specifications (APH), pp. 233–247.
- PLILP-1993-Poetzsch-Heffter #programming language #prototype #specification #using
- Programming Language Specification and Prototyping Using the MAX System (APH), pp. 137–150.
- CC-1992-Poetzsch-Heffter #identification #implementation #specification
- Implementing High-Level Identification Specifications (APH), pp. 59–65.
- PLILP-1991-Poetzsch-Heffter #specification
- Logic-Based Specification of Visibility Rules (APH), pp. 63–74.
- CCHSC-1988-Poetzsch-Heffter #compilation #implementation #optimisation #specification
- Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC (APH), pp. 190–203.