| Publication | Date of Publication | Type |
|---|
Hoare-style reasoning from multiple contracts
Lecture Notes in Computer Science | 2022-11-04 | Paper |
A lightweight approach to smart contracts supporting safety, security, and privacy
Journal of Logical and Algebraic Methods in Programming | 2022-05-25 | Paper |
Static checking of GDPR-related privacy compliance for object-oriented distributed systems
Journal of Logical and Algebraic Methods in Programming | 2022-03-09 | Paper |
Dynamic structural operational semantics
Journal of Logical and Algebraic Methods in Programming | 2019-10-17 | Paper |
An evaluation of interaction paradigms for active objects
Journal of Logical and Algebraic Methods in Programming | 2019-03-27 | Paper |
A secrecy-preserving language for distributed and object-oriented systems
Journal of Logical and Algebraic Methods in Programming | 2018-06-27 | Paper |
On detecting over-eager concurrency in asynchronously communicating concurrent object systems
Journal of Logical and Algebraic Methods in Programming | 2017-07-04 | Paper |
Compositional reasoning about active objects with shared futures
Formal Aspects of Computing | 2015-11-10 | Paper |
A proof system for adaptable class hierarchies
Journal of Logical and Algebraic Methods in Programming | 2014-12-03 | Paper |
A sound and complete reasoning system for asynchronous communication with shared futures
Journal of Logical and Algebraic Methods in Programming | 2014-10-23 | Paper |
Observable behavior of dynamic systems: component reasoning for concurrent objects
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| A run-time environment for concurrent objects with asynchronous method calls | 2013-09-20 | Paper |
Compositional Reasoning about Shared Futures
Software Engineering and Formal Methods | 2013-01-08 | Paper |
Observable behavior of distributed systems: component reasoning for concurrent objects
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Safe locking for multi-threaded Java with exceptions
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Formal modeling and validation of a power-efficient grouping protocol for WSNs
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Safe locking for multi-threaded Java
Fundamentals of Software Engineering | 2012-06-29 | Paper |
Incremental reasoning with lazy behavioral subtyping for multiple inheritance
Science of Computer Programming | 2011-07-18 | Paper |
Object-oriented specification and open distributed systems
From Object-Orientation to Formal Methods | 2011-04-01 | Paper |
A biography of Ole-Johan Dahl
From Object-Orientation to Formal Methods | 2011-04-01 | Paper |
A Bibliography of Ole-Johan Dahl
From Object-Orientation to Formal Methods | 2011-04-01 | Paper |
Validating timed models of deployment components with parametric concurrency
Formal Verification of Object-Oriented Software | 2011-01-21 | Paper |
Lazy behavioral subtyping
The Journal of Logic and Algebraic Programming | 2010-10-22 | Paper |
Concurrent objects à la carte
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
Incremental Reasoning for Multiple Inheritance
Lecture Notes in Computer Science | 2009-02-24 | Paper |
An Object-Oriented Component Model for Heterogeneous Nets
Formal Methods for Components and Objects | 2009-02-12 | Paper |
| Validating behavioral component interfaces in rewriting logic | 2008-04-14 | Paper |
Creol: A type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science | 2006-12-07 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2086959 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1860617 (Why is no real title available?) | 2003-06-02 | Paper |
A specification formalism for interacting objects
Proceedings of the Estonian Academy of Sciences. Physics, Mathematics | 2001-05-09 | Paper |
| scientific article; zbMATH DE number 1156716 (Why is no real title available?) | 1998-09-30 | Paper |
A simple sequent calculus for partial functions
Theoretical Computer Science | 1994-07-05 | Paper |
Partial logics reconsidered: A conservative approach
Formal Aspects of Computing | 1994-04-21 | Paper |
Axiomatic treatment of processes with shared variables revisited
Formal Aspects of Computing | 1992-09-27 | Paper |
Generator induction in order sorted algebras
Formal Aspects of Computing | 1991-01-01 | Paper |
ANNA. A language for annotating Ada programs. Reference manual
Lecture Notes in Computer Science | 1987-01-01 | Paper |
