| Publication | Date of Publication | Type |
|---|
| The logic of separation logic: models and proofs | 2024-05-17 | Paper |
| Axiomatic characterization of trace reachability for concurrent objects | 2024-04-19 | Paper |
| On the nature of symbolic execution | 2024-03-14 | Paper |
| Integrating ADTs in KeY and their application to history-based reasoning about collection | 2024-01-08 | Paper |
| Integrating ADTs in KeY and Their Application to History-Based Reasoning | 2023-04-21 | Paper |
| A proof system for asynchronously communicating deterministic processes | 2022-08-18 | Paper |
| Proving correctness of Constraint Logic Programs with dynamic scheduling | 2022-02-16 | Paper |
| Symbolic execution formally explained | 2021-09-14 | Paper |
| A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell* | 2021-05-20 | Paper |
| Deadlock detection for actor-based coroutines | 2021-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216329 | 2020-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5208779 | 2020-01-10 | Paper |
| Verifying OpenJDK's sort method for generic collections | 2019-02-15 | Paper |
| A Petri Net Based Modeling of Active Objects and Futures | 2018-05-24 | Paper |
| A formal, resource consumption-preserving translation of actors to Haskell | 2017-10-13 | Paper |
| Proving correctness of timed concurrent constraint programs | 2017-07-12 | Paper |
| Compositional schedulability analysis of real-time actor-based systems | 2017-06-09 | Paper |
| Distributed Network Generation Based on Preferential Attachment in ABS | 2017-04-04 | Paper |
| Run-Time Checking Multi-threaded Java Programs | 2016-03-10 | Paper |
| Being and Change: Reasoning About Invariance | 2015-11-04 | Paper |
| Unbounded Allocation in Bounded Heaps | 2015-09-30 | Paper |
| Proof pearl: The KeY to correct and stable sorting | 2015-06-23 | Paper |
| Decidability Problems for Actor Systems | 2015-01-15 | Paper |
| Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks | 2014-11-04 | Paper |
| A Coalgebraic Foundation for Coinductive Union Types | 2014-07-01 | Paper |
| Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs | 2014-06-02 | Paper |
| Compositional operational semantics of a UML-kernel-model language | 2013-10-07 | Paper |
| Bounded Model Checking of Recursive Programs with Pointers in K | 2013-09-13 | Paper |
| On message specifications in OCL | 2013-09-09 | Paper |
| Decidability Problems for Actor Systems | 2012-09-25 | Paper |
| Automated Verification of Recursive Programs with Pointers | 2012-09-05 | Paper |
| Verification of object-oriented programs: a transformational approach | 2012-08-17 | Paper |
| Termination detection for active objects | 2012-08-14 | Paper |
| Connectors as designs: modeling, refinement and test case generation | 2012-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3002509 | 2011-05-20 | Paper |
| Using the Maude Term Rewriting Language for Agent Development with Formal Foundations | 2010-11-11 | Paper |
| The Refinement of Multi-Agent Systems | 2010-11-11 | Paper |
| Using Rewrite Strategies for Testing BUpL Agents | 2010-05-04 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Reasoning about Recursive Processes in Shared-Variable Concurrency | 2010-03-09 | Paper |
| Formal Methods for Components and Objects | 2010-02-09 | Paper |
| The Refinement of Choreographed Multi-Agent Systems | 2010-02-02 | Paper |
| Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs | 2010-01-28 | Paper |
| Modular Schedulability Analysis of Concurrent Objects in Creol | 2010-01-28 | Paper |
| Formal Methods for Open Object-Based Distributed Systems | 2010-01-12 | Paper |
| Formal Methods for Open Object-Based Distributed Systems | 2010-01-12 | Paper |
| Verification of sequential and concurrent programs | 2009-09-10 | Paper |
| Schedulability of asynchronous real-time concurrent objects | 2009-07-20 | Paper |
| Modular Verification of Recursive Programs | 2009-06-03 | Paper |
| A shared-variable concurrency analysis of multi-threaded object-oriented programs | 2009-03-02 | Paper |
| Testing Concurrent Objects with Application-Specific Schedulers | 2009-01-27 | Paper |
| Prototyping 3APL in the Maude Term Rewriting Language | 2009-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457270 | 2008-04-14 | Paper |
| A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs | 2007-11-28 | Paper |
| A Complete Guide to the Future | 2007-09-04 | Paper |
| A verification framework for agent programming with declarative goals | 2007-07-25 | Paper |
| Dynamic Logic for Plan Revision in Agent Programming | 2007-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413373 | 2007-01-04 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| Semantics of plan revision in intelligent agents | 2006-04-06 | Paper |
| Process algebra and constraint programming for modeling interactions in MAS | 2006-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3370736 | 2006-02-08 | Paper |
| FM 2005: Formal Methods | 2006-01-10 | Paper |
| Objects, Agents, and Features | 2005-12-27 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| Computational Logic in Multi-Agent Systems | 2005-11-23 | Paper |
| A proof outline logic for object-oriented programming | 2005-11-01 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681459 | 2005-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681453 | 2005-06-23 | Paper |
| An assertion-based proof system for multithreaded Java | 2005-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738161 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738214 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738216 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473080 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473082 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4423027 | 2003-08-24 | Paper |
| A fully abstract model for the exchange of information in multi-agent systems. | 2003-08-17 | Paper |
| A timed concurrent constraint language. | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783316 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536605 | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536331 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536357 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536751 | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536604 | 2002-06-25 | Paper |
| Modal logic with bounded quantification over worlds | 2002-04-11 | Paper |
| A Hoare logic for dynamic networks of asynchronously communicating deterministic processes | 2002-03-03 | Paper |
| Concurrency verification. Introduction to compositional and noncompositional methods | 2002-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790351 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2728930 | 2001-10-23 | Paper |
| On dynamically generated ontology translators in agent communication | 2001-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736349 | 2001-08-29 | Paper |
| On programming KARO agents | 2001-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4493900 | 2000-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941913 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247689 | 1999-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270061 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251098 | 1999-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4221352 | 1999-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222884 | 1998-12-20 | Paper |
| An algebraic perspective of constraint logic programming | 1997-04-21 | Paper |
| Nondeterminism and infinite computations in constraint programming | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4878772 | 1996-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858578 | 1995-12-17 | Paper |
| Reasoning about dynamically evolving process structures | 1995-09-10 | Paper |
| Embedding as a tool for language comparison | 1994-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038719 | 1993-05-18 | Paper |
| From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic | 1992-09-27 | Paper |
| Semantic models for concurrent logic languages | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975139 | 1992-06-26 | Paper |
| Proving total correctness of recursive procedures | 1990-01-01 | Paper |
