| Publication | Date of Publication | Type |
|---|
| Translating active objects into colored Petri nets for communication analysis | 2022-11-04 | Paper |
| SAT modulo discrete event simulation applied to railway design capacity analysis | 2021-12-08 | Paper |
| Abstract Interface Behavior of Object-Oriented Languages with Monitors | 2021-05-25 | Paper |
| A small-step semantics of a concurrent calculus with Goroutines and deferred functions | 2021-05-20 | Paper |
| Operational semantics of a weak memory model with channel synchronization | 2021-05-04 | Paper |
| A Calculus of Virtually Timed Ambients | 2020-01-16 | Paper |
| Operational semantics of a weak memory model with channel synchronization | 2019-03-27 | Paper |
| Checking modal contracts for virtually timed ambients | 2018-11-23 | Paper |
| Virtually timed ambients: a calculus of nested virtualization | 2017-12-01 | Paper |
| Effect-polymorphic behaviour inference for deadlock checking | 2016-11-07 | Paper |
| Observable interface behaviour and inheritance | 2016-07-28 | Paper |
| Deadlock Checking by Data Race Detection | 2015-09-30 | Paper |
| Deadlock checking by data race detection | 2014-10-23 | Paper |
| Bounded Model Checking with Parametric Data Structures | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848138 | 2013-09-25 | Paper |
| Safe locking for multi-threaded Java with exceptions | 2012-08-14 | Paper |
| Deadlock checking by a behavioral effect system for lock handling | 2012-08-14 | Paper |
| Termination detection for active objects | 2012-08-14 | Paper |
| Safe Locking for Multi-threaded Java | 2012-06-29 | Paper |
| Reachability Analysis of Non-linear Planar Autonomous Systems | 2012-06-29 | Paper |
| Incremental reasoning with lazy behavioral subtyping for multiple inheritance | 2011-07-18 | Paper |
| Lazy behavioral subtyping | 2010-10-22 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| A Bibliography of Willem-Paul de Roever | 2010-03-09 | Paper |
| Formal Methods for Components and Objects | 2010-02-09 | Paper |
| Executable Interface Specifications for Testing Asynchronous Creol Components | 2010-01-28 | Paper |
| Formal Methods for Open Object-Based Distributed Systems | 2010-01-12 | Paper |
| Behavioral interface description of an object-oriented language with futures and promises | 2009-09-29 | Paper |
| Abstract interface behavior of object-oriented languages with monitors | 2009-05-08 | Paper |
| Incremental Reasoning for Multiple Inheritance | 2009-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457270 | 2008-04-14 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| An assertion-based proof system for multithreaded Java | 2005-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808850 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736989 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738214 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4433933 | 2003-11-03 | Paper |
| Iterating transducers | 2003-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779117 | 2002-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551159 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2779795 | 2002-04-15 | Paper |
| Higher-order subtyping | 1998-07-23 | Paper |
