| Publication | Date of Publication | Type |
|---|
| Hoare-Style Reasoning from Multiple Contracts | 2022-11-04 | Paper |
| A lightweight approach to smart contracts supporting safety, security, and privacy | 2022-05-25 | Paper |
| Static checking of GDPR-related privacy compliance for object-oriented distributed systems | 2022-03-09 | Paper |
| Dynamic structural operational semantics | 2019-10-17 | Paper |
| An evaluation of interaction paradigms for active objects | 2019-03-27 | Paper |
| A secrecy-preserving language for distributed and object-oriented systems | 2018-06-27 | Paper |
| On detecting over-eager concurrency in asynchronously communicating concurrent object systems | 2017-07-04 | Paper |
| Compositional reasoning about active objects with shared futures | 2015-11-10 | Paper |
| A proof system for adaptable class hierarchies | 2014-12-03 | Paper |
| A sound and complete reasoning system for asynchronous communication with shared futures | 2014-10-23 | Paper |
| Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849872 | 2013-09-20 | Paper |
| Compositional Reasoning about Shared Futures | 2013-01-08 | Paper |
| Observable behavior of distributed systems: component reasoning for concurrent objects | 2012-08-14 | Paper |
| Safe locking for multi-threaded Java with exceptions | 2012-08-14 | Paper |
| Formal modeling and validation of a power-efficient grouping protocol for WSNs | 2012-08-14 | Paper |
| Safe Locking for Multi-threaded Java | 2012-06-29 | Paper |
| Incremental reasoning with lazy behavioral subtyping for multiple inheritance | 2011-07-18 | Paper |
| A Biography of Ole-Johan Dahl | 2011-04-01 | Paper |
| A Bibliography of Ole-Johan Dahl | 2011-04-01 | Paper |
| Object-Oriented Specification and Open Distributed Systems | 2011-04-01 | Paper |
| Validating Timed Models of Deployment Components with Parametric Concurrency | 2011-01-21 | Paper |
| Lazy behavioral subtyping | 2010-10-22 | Paper |
| Concurrent Objects à la Carte | 2010-03-09 | Paper |
| Incremental Reasoning for Multiple Inheritance | 2009-02-24 | Paper |
| An Object-Oriented Component Model for Heterogeneous Nets | 2009-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457268 | 2008-04-14 | Paper |
| Creol: A type-safe object-oriented model for distributed concurrent systems | 2006-12-07 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737568 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790344 | 2003-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2718776 | 2001-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4390744 | 1998-09-30 | Paper |
| A simple sequent calculus for partial functions | 1994-07-05 | Paper |
| Partial logics reconsidered: A conservative approach | 1994-04-21 | Paper |
| Axiomatic treatment of processes with shared variables revisited | 1992-09-27 | Paper |
| Generator induction in order sorted algebras | 1991-01-01 | Paper |
| ANNA. A language for annotating Ada programs. Reference manual | 1987-01-01 | Paper |
