| 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 |
Formal techniques for Java-like programs
Lecture Notes in Computer Science | 2003-07-29 | Paper |
Formal techniques for Java-like programs
Lecture Notes in Computer Science | 2003-07-29 | Paper |
Modular specification of frame properties in JML
Concurrency and Computation: Practice and Experience | 2003-02-20 | 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 |
An architecture for interactive program provers
Lecture Notes in Computer Science | 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 |
