Arnd Poetzsch-Heffter

Available identifiers

zbMath Open poetzsch-heffter.arndMaRDI QIDQ1386438

List of research outcomes

Publication	Date of Publication	Type
EPTL: a temporal logic for weakly consistent systems (short paper)	2022-06-15	Paper
Modeling actor systems using dynamic I/O automata	2016-12-21	Paper
A generic functional representation of sorted trees supporting attribution (Haskell can do it)	2013-04-19	Paper
Using abstraction in modular verification of synchronous adaptive systems	2012-09-28	Paper
Verifying and generating WP transformers for procedures on complex data	2012-09-20	Paper
Full abstraction at package boundaries of object-oriented languages	2011-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q3621270	2009-04-15	Paper
Konzepte objektorientierter Programmierung	2009-02-02	Paper
A Representation-Independent Behavioral Semantics for Object-Oriented Components	2007-11-28	Paper
Infering Ownership Types for Encapsulated Object-Oriented Program Components	2007-09-24	Paper
Modular Specification of Encapsulated Object-Oriented Components	2007-09-11	Paper
Modular invariants for layered object structures	2006-10-05	Paper
Recent Trends in Algebraic Development Techniques	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738855	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417651	2003-07-29	Paper
Modular specification of frame properties in JML	2003-02-20	Paper
How Java's language design reflects the requirements of mobile code	2002-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q2729071	2001-11-04	Paper
Prototyping realistic programming languages based on formal specifications	1998-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4281594	1994-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q3484342	1989-01-01	Paper

Research outcomes over time

This page was built for person: Arnd Poetzsch-Heffter