Publication | Date of Publication | Type |
---|
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 |
https://portal.mardi4nfdi.de/entity/Q2852096 | 2013-10-07 | Paper |
Bounded Model Checking of Recursive Programs with Pointers in K | 2013-09-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q2847428 | 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 |
The Refinement of Multi-Agent Systems | 2010-11-11 | Paper |
Using the Maude Term Rewriting Language for Agent Development with Formal Foundations | 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 |
Modular Schedulability Analysis of Concurrent Objects in Creol | 2010-01-28 | Paper |
Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs | 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/Q4681453 | 2005-06-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4681459 | 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 |
https://portal.mardi4nfdi.de/entity/Q2768503 | 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 |