Arnd Poetzsch-Heffter

According to our database1, Arnd Poetzsch-Heffter
  • authored at least 83 papers between 1988 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
EPTL - A temporal logic for weakly consistent systems.
CoRR, 2017

EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper).
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2016
Access Control for Weakly Consistent Replicated Information Systems.
Proceedings of the Security and Trust Management - 12th International Workshop, 2016

Towards a Proof Framework for Information Systems with Weak Consistency.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2015
Modeling Actor Systems Using Dynamic I/O Automata.
Proceedings of the Perspectives of System Informatics, 2015

2014
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries.
Sci. Comput. Program., 2014

Architecture-driven Incremental Code Generation for Increased Developer Efficiency.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Formal Specification and Verification of CRDTs.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Integrated Modeling and Evolution of Social Software.
Proceedings of the Socioinformatics, 2014

2013
Location Types for Safe Programming with Near and Far References.
Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Informatik und Gesellschaft: Ansätze zur Verbesserung einer schwierigen Beziehung.
Informatik Spektrum, 2013

Loopy - An open-source TCP/IP rapid prototyping and validation framework.
Proceedings of the 2012 International Conference on Reconfigurable Computing and FPGAs, 2013

Towards Multi-Party Evolution of Social Software.
Proceedings of the Informatik 2013, 2013

A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It).
Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2012
A type system for checking specialization of packages in object-oriented programming.
Proceedings of the ACM Symposium on Applied Computing, 2012

Verifying and Generating WP Transformers for Procedures on Complex Data.
Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

Model-Based Compatibility Checking of System Modifications.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Verification of Open Concurrent Object Systems.
Proceedings of the Formal Methods for Components and Objects, 2012

Verifying backwards compatibility of object-oriented libraries using Boogie.
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

A relational trace logic for simple hierarchical actor-based component systems.
Proceedings of the 2nd edition on Programming systems, 2012

2011
Full Abstraction at Package Boundaries of Object-Oriented Languages.
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

WoM: An Open Interactive Platform for Describing, Exploring, and Sharing Mathematical Models.
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011

2010
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems.
ACM Trans. Embedded Comput. Syst., 2010

Maintaining XML Data Integrity in Programs.
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

A Component Model for the ABS Language.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

JCoBox: Generalizing Active Objects to Concurrent Components.
Proceedings of the ECOOP 2010, 2010

2009
Model-based verification of adaptive embedded systems under environment constraints.
SIGBED Review, 2009

A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows.
Proceedings of the Informatik 2009: Im Focus das Leben, 2009

Consistency Checking for Workflows with an Ontology-Based Data Perspective.
Proceedings of the Database and Expert Systems Applications, 20th International Conference, 2009

09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs.
Proceedings of the Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07., 2009

09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs.
Proceedings of the Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07., 2009

2008
Preface.
Electr. Notes Theor. Comput. Sci., 2008

Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Slicing for model reduction in adaptive embedded systems development.
Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

CoBoxes: Unifying Active Objects and Structured Heaps.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2007
A Parameterized Type System for Simple Loose Ownership Domains.
Journal of Object Technology, 2007

A Certifying Code Generation Phase.
Electr. Notes Theor. Comput. Sci., 2007

Translation Validation of System Abstractions.
Proceedings of the Runtime Verification, 7th International Workshop, 2007

A Representation-Independent Behavioral Semantics for Object-Oriented Components.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Modular Shape Analysis for Dynamically Encapsulated Programs.
Proceedings of the Programming Languages and Systems, 2007

Formal Techniques for Java-Like Programs.
Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006
Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten.
Softwaretechnik-Trends, 2006

Modular invariants for layered object structures.
Sci. Comput. Program., 2006

Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems.
Proceedings of the Stabilization, 2006

Formal Techniques for Java-Like Programs.
Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

Using Abstraction in Modular Verification of Synchronous Adaptive Systems.
Proceedings of the Workshop "Trustworthy Software" 2006, 2006

Infering Ownership Types for Encapsulated Object-Oriented Program Components.
Proceedings of the Program Analysis and Compilation, 2006

2005
Towards Proof Generating Compilers.
Electr. Notes Theor. Comput. Sci., 2005

Modular Specification of Encapsulated Object-Oriented Components.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004
Application and Formal Specification of Sorted Term-Position Algebras.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

From Structured Heaps to Encapsulated Runtime Components.
Proceedings of the INFORMATIK 2004, 2004

A Type System for Checking Applet Isolation in Java Card.
Proceedings of the Construction and Analysis of Safe, 2004

2003
Concepts and Techniques simplifying the Assembly Process for Component Instances.
Electr. Notes Theor. Comput. Sci., 2003

Modular specification of frame properties in JML.
Concurrency and Computation: Practice and Experience, 2003

Formal Techniques for Java-Like Programs.
Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

2002
MultiMedia Instruction in Safe and Secure Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Using Data Groups to Specify and Check Side Effects.
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

Formal Techniques for Java-like Programs.
Proceedings of the Object-Oriented Technology, 2002

2001
Javas Sprachentwurf im Spiegel der Anforderungen an mobilen Programmcode (How Java's Language Design Reflects the Requirements of Mobile Code).
it+ti - Informationstechnik und Technische Informatik, 2001

Formal Techniques for Java Programs.
Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

2000
An Architecture for Interactive Program Provers.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Formal Techniques for Java Programs.
Proceedings of the Object-Oriented Technology, 2000

Konzepte objektorientierter Programmierung - mit einer Einführung in Java.
Springer, ISBN: 978-3-540-66793-3, 2000

1999
Interactive Verification Environments for Object-Oriented Programs.
J. UCS, 1999

Making Executable Interface Specifications More Expressive.
Java-Informations-Tage, 1999

Arbeitstagung Programmiersprachen - Vorwort.
Proceedings of the Informatik '99, 1999

A Programming Logic for Sequential Java.
Proceedings of the Programming Languages and Systems, 1999

Alias Control Is Crucial for Modular Verification of Object-Oriented Programs.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Formal Techniques for Java Programs.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
Logical foundations for typed object-oriented languages.
Proceedings of the Programming Concepts and Methods, 1998

Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur.
Java-Informations-Tage, 1998

1997
Prototyping Realistic Programming Languages Based on Formal Specifications.
Acta Inf., 1997

Formal Specification Techniques for Object-Oriented Programs.
Proceedings of the Informatik '97, 1997

1996
Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1994
Deriving Partial Correctness Logics From Evolving Algebras.
Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Developing Efficient Interpreters Based on Formal Language Specifications.
Proceedings of the Compiler Construction, 5th International Conference, 1994

1993
Programming Language Specification and Prototyping Using the MAX System.
Proceedings of the Programming Language Implementation and Logic Programming, 1993

1992
Implementing High-Level Identification Specifications.
Proceedings of the Compiler Construction, 1992

1991
Formale Spezifikation der kontextabhängigen Syntax von Programmiersprachen.
PhD thesis, 1991

Logic-Based Specification of Visibility Rules.
Proceedings of the Programming Language Implementation and Logic Programming, 1991

1988
Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC.
Proceedings of the Compiler Compilers and High Speed Compilation, 1988

Reorganisieren von Basisblöcken für Pipeline-Prozessoren.
Proceedings of the Architektur und Betrieb vpn Rechensystemen, 1988


  Loading...