×

Poetzsch-Heffter, Arnd

Compute Distance To:
Author ID: poetzsch-heffter.arnd Recent zbMATH articles by "Poetzsch-Heffter, Arnd"
Published as: Poetzsch-Heffter, Arnd; Poetzsch-Heffter, A.
External Links: MGP
Documents Indexed: 21 Publications since 1989, including 2 Books
2 Contributions as Editor
Biographic References: 1 Publication
Co-Authors: 18 Co-Authors with 17 Joint Publications
180 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 27 times in 25 Documents Cited by Year
Modular invariants for layered object structures. Zbl 1100.68539
Müller, Peter; Poetzsch-Heffter, Arnd; Leavens, Gary T.
8
2006
Modular specification of frame properties in JML. Zbl 1005.68583
Müller, Peter; Poetzsch-Heffter, Arnd; Leavens, Gary T.
6
2003
An architecture for interactive program provers. Zbl 0971.68585
Meyer, Jörg; Poetzsch-Heffter, Arnd
3
2000
A representation-independent behavioral semantics for object-oriented components. Zbl 1202.68100
Poetzsch-Heffter, Arnd; Schäfer, Jan
3
2007
Using abstraction in modular verification of synchronous adaptive systems. Zbl 1247.68061
Schaefer, Ina; Poetzsch-Heffter, Arnd
2
2006
Application and formal specification of sorted term-position algebras. Zbl 1118.68561
Poetzsch-Heffter, Arnd; Rauch, Nicole
1
2005
Prototyping realistic programming languages based on formal specifications. Zbl 0896.68023
Poetzsch-Heffter, Arnd
1
1997
Infering ownership types for encapsulated object-oriented program components. Zbl 1149.68342
Poetzsch-Heffter, Arnd; Geilmann, Kathrin; Schäfer, Jan
1
2007
Full abstraction at package boundaries of object-oriented languages. Zbl 1349.68047
Welsch, Yannick; Poetzsch-Heffter, Arnd
1
2011
Modular specification of encapsulated object-oriented components. Zbl 1196.68040
Poetzsch-Heffter, Arnd; Schäfer, Jan
1
2006
Full abstraction at package boundaries of object-oriented languages. Zbl 1349.68047
Welsch, Yannick; Poetzsch-Heffter, Arnd
1
2011
A representation-independent behavioral semantics for object-oriented components. Zbl 1202.68100
Poetzsch-Heffter, Arnd; Schäfer, Jan
3
2007
Infering ownership types for encapsulated object-oriented program components. Zbl 1149.68342
Poetzsch-Heffter, Arnd; Geilmann, Kathrin; Schäfer, Jan
1
2007
Modular invariants for layered object structures. Zbl 1100.68539
Müller, Peter; Poetzsch-Heffter, Arnd; Leavens, Gary T.
8
2006
Using abstraction in modular verification of synchronous adaptive systems. Zbl 1247.68061
Schaefer, Ina; Poetzsch-Heffter, Arnd
2
2006
Modular specification of encapsulated object-oriented components. Zbl 1196.68040
Poetzsch-Heffter, Arnd; Schäfer, Jan
1
2006
Application and formal specification of sorted term-position algebras. Zbl 1118.68561
Poetzsch-Heffter, Arnd; Rauch, Nicole
1
2005
Modular specification of frame properties in JML. Zbl 1005.68583
Müller, Peter; Poetzsch-Heffter, Arnd; Leavens, Gary T.
6
2003
An architecture for interactive program provers. Zbl 0971.68585
Meyer, Jörg; Poetzsch-Heffter, Arnd
3
2000
Prototyping realistic programming languages based on formal specifications. Zbl 0896.68023
Poetzsch-Heffter, Arnd
1
1997

Citations by Year