| Publication | Date of Publication | Type |
|---|
| Dynamic separation logic | 2026-04-02 | Paper |
History-based reasoning about behavioral subtyping (extended paper)
Theoretical Computer Science | 2026-03-26 | Paper |
| 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
Formal Methods in System Design | 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
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
Proving correctness of constraint logic programs with dynamic scheduling
Static Analysis | 2022-02-16 | Paper |
Symbolic execution formally explained
Formal Aspects of Computing | 2021-09-14 | Paper |
A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
Fundamenta Informaticae | 2021-05-20 | Paper |
| Deadlock detection for actor-based coroutines | 2021-05-04 | Paper |
| Multi-threaded actors | 2020-02-17 | Paper |
Multi-threaded actors
(available as arXiv preprint) | 2020-02-17 | Paper |
| scientific article; zbMATH DE number 7149819 (Why is no real title available?) | 2020-01-10 | Paper |
scientific article; zbMATH DE number 7149819 (Why is no real title available?)
(available as arXiv preprint) | 2020-01-10 | Paper |
Verifying OpenJDK's sort method for generic collections
Journal of Automated Reasoning | 2019-02-15 | Paper |
A Petri Net Based Modeling of Active Objects and Futures
Fundamenta Informaticae | 2018-05-24 | Paper |
A formal, resource consumption-preserving translation of actors to Haskell
(available as arXiv preprint) | 2017-10-13 | Paper |
Proving correctness of timed concurrent constraint programs
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Compositional schedulability analysis of real-time actor-based systems
Acta Informatica | 2017-06-09 | Paper |
Distributed network generation based on preferential attachment in ABS
SOFSEM 2017: Theory and Practice of Computer Science | 2017-04-04 | Paper |
Run-time checking multi-threaded Java programs
Lecture Notes in Computer Science | 2016-03-10 | Paper |
Being and change: reasoning about invariance
Lecture Notes in Computer Science | 2015-11-04 | Paper |
Unbounded allocation in bounded heaps
Fundamentals of Software Engineering | 2015-09-30 | Paper |
Proof pearl: The KeY to correct and stable sorting
Journal of Automated Reasoning | 2015-06-23 | Paper |
Decidability problems for actor systems
Logical Methods in Computer Science | 2015-01-15 | Paper |
Weak arithmetic completeness of object-oriented first-order assertion networks
Lecture Notes in Computer Science | 2014-11-04 | Paper |
A coalgebraic foundation for coinductive union types
Automata, Languages, and Programming | 2014-07-01 | Paper |
Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs
Lecture Notes in Computer Science | 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
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
| On message specifications in OCL | 2013-09-09 | Paper |
Decidability problems for actor systems
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Automated verification of recursive programs with pointers
Automated Reasoning | 2012-09-05 | Paper |
Verification of object-oriented programs: a transformational approach
Journal of Computer and System Sciences | 2012-08-17 | Paper |
Termination detection for active objects
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Connectors as designs: modeling, refinement and test case generation
Science of Computer Programming | 2012-07-13 | Paper |
| scientific article; zbMATH DE number 5898709 (Why is no real title available?) | 2011-05-20 | Paper |
Using the Maude term rewriting language for agent development with formal foundations
Specification and Verification of Multi-agent Systems | 2010-11-11 | Paper |
The refinement of multi-agent systems
Specification and Verification of Multi-agent Systems | 2010-11-11 | Paper |
Using rewrite strategies for testing BUpL agents
Logic-Based Program Synthesis and Transformation | 2010-05-04 | Paper |
A compositional operational semantics for Java\(_{\text{MT}}\)
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Reasoning about recursive processes in shared-variable concurrency
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 |
The Refinement of Choreographed Multi-Agent Systems
Declarative Agent Languages and Technologies VII | 2010-02-02 | Paper |
Automated deadlock detection in synchronized reentrant multithreaded call-graphs
SOFSEM 2010: Theory and Practice of Computer Science | 2010-01-28 | Paper |
Modular Schedulability Analysis of Concurrent Objects in Creol
Fundamentals of Software Engineering | 2010-01-28 | Paper |
A syntax-directed Hoare logic for object-oriented programming concepts.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
Inductive proof outlines for monitors in Java.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
Verification of sequential and concurrent programs
Texts in Computer Science | 2009-09-10 | Paper |
Schedulability of asynchronous real-time concurrent objects
The Journal of Logic and Algebraic Programming | 2009-07-20 | Paper |
Modular Verification of Recursive Programs
Languages: From Formal to Natural | 2009-06-03 | Paper |
A shared-variable concurrency analysis of multi-threaded object-oriented programs
Theoretical Computer Science | 2009-03-02 | Paper |
Testing Concurrent Objects with Application-Specific Schedulers
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
Prototyping 3APL in the Maude Term Rewriting Language
Lecture Notes in Computer Science | 2009-01-20 | Paper |
| A deductive proof system for multithreaded Java with exceptions | 2008-04-14 | Paper |
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs
Lecture Notes in Computer Science | 2007-11-28 | Paper |
A Complete Guide to the Future
Programming Languages and Systems | 2007-09-04 | Paper |
A verification framework for agent programming with declarative goals
Journal of Applied Logic | 2007-07-25 | Paper |
Dynamic Logic for Plan Revision in Agent Programming
Journal Of Logic And Computation | 2007-04-05 | Paper |
| A component coordination model based on mobile channels | 2007-01-04 | 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 |
Semantics of plan revision in intelligent agents
Theoretical Computer Science | 2006-04-06 | Paper |
Process algebra and constraint programming for modeling interactions in MAS
Applicable Algebra in Engineering, Communication and Computing | 2006-02-08 | Paper |
| A compositional trace logic for behavioural interface specifications | 2006-02-08 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Objects, Agents, and Features
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-11-23 | Paper |
A proof outline logic for object-oriented programming
Theoretical Computer Science | 2005-11-01 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2182600 (Why is no real title available?) | 2005-06-23 | Paper |
| scientific article; zbMATH DE number 2182596 (Why is no real title available?) | 2005-06-23 | Paper |
An assertion-based proof system for multithreaded Java
Theoretical Computer Science | 2005-04-06 | Paper |
| scientific article; zbMATH DE number 2087380 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087419 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087421 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080357 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080355 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1969724 (Why is no real title available?) | 2003-08-24 | Paper |
A fully abstract model for the exchange of information in multi-agent systems.
Theoretical Computer Science | 2003-08-17 | Paper |
A timed concurrent constraint language.
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1841828 (Why is no real title available?) | 2002-12-04 | Paper |
| scientific article; zbMATH DE number 1759614 (Why is no real title available?) | 2002-11-28 | Paper |
| scientific article; zbMATH DE number 1759383 (Why is no real title available?) | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 1759408 (Why is no real title available?) | 2002-11-04 | Paper |
| scientific article; zbMATH DE number 1759736 (Why is no real title available?) | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1759613 (Why is no real title available?) | 2002-06-25 | Paper |
Modal logic with bounded quantification over worlds
Journal of Logic and Computation | 2002-04-11 | Paper |
A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
Theoretical Computer Science | 2002-03-03 | Paper |
Concurrency verification. Introduction to compositional and noncompositional methods
Cambridge Tracts in Theoretical Computer Science | 2002-02-03 | Paper |
| scientific article; zbMATH DE number 1860624 (Why is no real title available?) | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1629874 (Why is no real title available?) | 2001-10-23 | Paper |
On dynamically generated ontology translators in agent communication
International Journal of Intelligent Systems | 2001-09-09 | Paper |
| scientific article; zbMATH DE number 1638652 (Why is no real title available?) | 2001-08-29 | Paper |
On programming KARO agents
Logic Journal of the IGPL | 2001-05-16 | Paper |
| scientific article; zbMATH DE number 1487492 (Why is no real title available?) | 2000-10-23 | Paper |
| scientific article; zbMATH DE number 1418350 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1302387 (Why is no real title available?) | 1999-12-07 | Paper |
| scientific article; zbMATH DE number 1361126 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1304366 (Why is no real title available?) | 1999-06-17 | Paper |
| scientific article; zbMATH DE number 1234566 (Why is no real title available?) | 1999-01-03 | Paper |
| scientific article; zbMATH DE number 1231566 (Why is no real title available?) | 1998-12-20 | Paper |
An algebraic perspective of constraint logic programming
Journal of Logic and Computation | 1997-04-21 | Paper |
Nondeterminism and infinite computations in constraint programming
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 879003 (Why is no real title available?) | 1996-05-14 | Paper |
| scientific article; zbMATH DE number 826300 (Why is no real title available?) | 1995-12-17 | Paper |
Reasoning about dynamically evolving process structures
Formal Aspects of Computing | 1995-09-10 | Paper |
Embedding as a tool for language comparison
Information and Computation | 1994-03-10 | Paper |
| scientific article; zbMATH DE number 177841 (Why is no real title available?) | 1993-05-18 | Paper |
From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
Theoretical Computer Science | 1992-09-27 | Paper |
Semantic models for concurrent logic languages
Theoretical Computer Science | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 17798 (Why is no real title available?) | 1992-06-26 | Paper |
Proving total correctness of recursive procedures
Information and Computation | 1990-01-01 | Paper |
