| Publication | Date of Publication | Type |
|---|
| Denotational semantics for symbolic execution | 2024-09-13 | Paper |
| Symbolic semantics for probabilistic programs | 2024-05-29 | Paper |
| Asynchronous Cooperative Contracts for Cooperative Scheduling | 2024-03-14 | Paper |
| A specification logic for programs in the probabilistic guarded command language | 2023-07-28 | Paper |
| Active Objects with Deterministic Behaviour | 2023-03-21 | Paper |
| Translating active objects into colored Petri nets for communication analysis | 2022-11-04 | Paper |
| Global Reproducibility Through Local Control for Distributed Active Objects | 2022-10-13 | Paper |
| A Calculus of Virtually Timed Ambients | 2020-01-16 | Paper |
| Parallel Cost Analysis | 2019-02-07 | Paper |
| Checking modal contracts for virtually timed ambients | 2018-11-23 | Paper |
| Locally abstract, globally concrete semantics of concurrent programming languages | 2018-02-02 | Paper |
| Virtually timed ambients: a calculus of nested virtualization | 2017-12-01 | Paper |
| Verifying traits: an incremental proof system for fine-grained reuse | 2016-08-05 | Paper |
| Proof Search for the First-Order Connection Calculus in Maude | 2015-03-19 | Paper |
| A proof system for adaptable class hierarchies | 2014-12-03 | Paper |
| Integrating deployment architectures and resource consumption in timed object-oriented models | 2014-12-03 | Paper |
| Observable behavior of dynamic systems: component reasoning for concurrent objects | 2013-12-06 | Paper |
| A run-time environment for concurrent objects with asynchronous method calls | 2013-09-20 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5392505 | 2011-04-12 | 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 |
| Testing Concurrent Objects with Application-Specific Schedulers | 2009-01-27 | Paper |
| Backwards type analysis of asynchronous method calls | 2008-11-06 | Paper |
| Validating behavioral component interfaces in rewriting logic | 2008-04-14 | Paper |
| A Complete Guide to the Future | 2007-09-04 | Paper |
| Structured formal development in Isabelle | 2007-04-10 | 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 |
| Theorem Proving in Higher Order Logics | 2005-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4825544 | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737568 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790344 | 2003-06-02 | Paper |
