Arnd Poetzsch-Heffter

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
EPTL: a temporal logic for weakly consistent systems (short paper) Formal Techniques for Distributed Objects, Components, and Systems	2022-06-15	Paper
Modeling actor systems using dynamic I/O automata Lecture Notes in Computer Science	2016-12-21	Paper
A generic functional representation of sorted trees supporting attribution (Haskell can do it) Programming Logics	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 Interactive Theorem Proving	2012-09-20	Paper
Full abstraction at package boundaries of object-oriented languages Formal Methods, Foundations and Applications	2011-11-11	Paper
scientific article; zbMATH DE number 5544026 (Why is no real title available?)	2009-04-15	Paper
Konzepte objektorientierter Programmierung eXamen.press	2009-02-02	Paper
A Representation-Independent Behavioral Semantics for Object-Oriented Components Lecture Notes in Computer Science	2007-11-28	Paper
Infering Ownership Types for Encapsulated Object-Oriented Program Components Program Analysis and Compilation, Theory and Practice	2007-09-24	Paper
Modular Specification of Encapsulated Object-Oriented Components Formal Methods for Components and Objects	2007-09-11	Paper
Modular invariants for layered object structures Science of Computer Programming	2006-10-05	Paper
Recent Trends in Algebraic Development Techniques Lecture Notes in Computer Science	2005-11-11	Paper
scientific article; zbMATH DE number 2087852 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1955931 (Why is no real title available?)	2003-07-29	Paper
Modular specification of frame properties in JML Concurrency and Computation: Practice and Experience	2003-02-20	Paper
How Java's language design reflects the requirements of mobile code it + ti. Informationstechnik und Technische Informatik	2002-04-28	Paper
scientific article; zbMATH DE number 1629956 (Why is no real title available?)	2001-11-04	Paper
Prototyping realistic programming languages based on formal specifications Acta Informatica	1998-10-01	Paper
scientific article; zbMATH DE number 512889 (Why is no real title available?)	1994-03-10	Paper
scientific article; zbMATH DE number 4155859 (Why is no real title available?)	1989-01-01	Paper

Research outcomes over time

This page was built for person: Arnd Poetzsch-Heffter