| 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
Formal Methods in System Design | 2021-12-08 | Paper |
Abstract interface behavior of object-oriented languages with monitors
Lecture Notes in Computer Science | 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
Formal Methods | 2021-05-04 | Paper |
A calculus of virtually timed ambients
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
Operational semantics of a weak memory model with channel synchronization
Journal of Logical and Algebraic Methods in Programming | 2019-03-27 | Paper |
| Checking modal contracts for virtually timed ambients | 2018-11-23 | Paper |
Virtually timed ambients: a calculus of nested virtualization
Journal of Logical and Algebraic Methods in Programming | 2017-12-01 | Paper |
Effect-polymorphic behaviour inference for deadlock checking
Journal of Logical and Algebraic Methods in Programming | 2016-11-07 | Paper |
Observable interface behaviour and inheritance
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Deadlock checking by data race detection
Fundamentals of Software Engineering | 2015-09-30 | Paper |
Deadlock checking by data race detection
Journal of Logical and Algebraic Methods in Programming | 2014-10-23 | Paper |
Bounded model checking with parametric data structures
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Characteristic \(\mu\)-calculus formulas for underspecified transition systems | 2013-09-25 | Paper |
Deadlock checking by a behavioral effect system for lock handling
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 |
Termination detection for active objects
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 |
Reachability analysis of non-linear planar autonomous systems
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 |
Lazy behavioral subtyping
The Journal of Logic and Algebraic Programming | 2010-10-22 | Paper |
A compositional operational semantics for Java\(_{\text{MT}}\)
Lecture Notes in Computer Science | 2010-03-23 | Paper |
A Bibliography of Willem-Paul de Roever
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
A tool-supported proof system for multithreaded Java.
Lecture Notes in Computer Science | 2010-02-09 | Paper |
Executable interface specifications for testing asynchronous Creol components
Fundamentals of Software Engineering | 2010-01-28 | Paper |
Inductive proof outlines for monitors in Java.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
Behavioral interface description of an object-oriented language with futures and promises
The Journal of Logic and Algebraic Programming | 2009-09-29 | Paper |
Abstract interface behavior of object-oriented languages with monitors
Theory of Computing Systems | 2009-05-08 | Paper |
Incremental Reasoning for Multiple Inheritance
Lecture Notes in Computer Science | 2009-02-24 | Paper |
| A deductive proof system for multithreaded Java with exceptions | 2008-04-14 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
An assertion-based proof system for multithreaded Java
Theoretical Computer Science | 2005-04-06 | Paper |
| scientific article; zbMATH DE number 2090156 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2087419 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2086508 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2000404 (Why is no real title available?) | 2003-11-03 | Paper |
Iterating transducers
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
| scientific article; zbMATH DE number 1834574 (Why is no real title available?) | 2002-11-24 | Paper |
| scientific article; zbMATH DE number 1796140 (Why is no real title available?) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1728527 (Why is no real title available?) | 2002-04-15 | Paper |
Higher-order subtyping
Theoretical Computer Science | 1998-07-23 | Paper |
