| Publication | Date of Publication | Type |
|---|
| Process calculi for modelling mobile, service-oriented, and collective autonomic systems | 2024-02-23 | Paper |
| A hybrid dynamic logic for event/data-based systems | 2023-11-24 | Paper |
| Can we communicate? Using dynamic logic to verify team automata | 2023-08-17 | Paper |
| Proof systems for structured algebraic specifications: An overview | 2022-12-09 | Paper |
| A general framework for modular implementations of modular system specifications | 2022-11-02 | Paper |
| Specification of systems with parameterised events: An institution-independent approach | 2022-08-26 | Paper |
| Observational implementations | 2022-08-16 | Paper |
| Proving the correctness of behavioural implementations | 2022-08-16 | Paper |
| Hybrid dynamic logic institutions for event/data-based systems | 2022-01-11 | Paper |
| Observational interpretations of hybrid dynamic logic with binders and silent transitions | 2021-09-03 | Paper |
| Compositionality of safe communication in systems of team automata | 2021-07-08 | Paper |
| Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions | 2020-07-08 | Paper |
| Role-based development of dynamically evolving esembles | 2020-06-08 | Paper |
| Observational Semantics for Dynamic Logic with Binders | 2020-01-16 | Paper |
| Connecting open systems of communicating finite state machines | 2019-11-28 | Paper |
| A logic for the stepwise development of reactive systems | 2018-09-24 | Paper |
| Behavioural and abstractor specifications revisited | 2018-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4600773 | 2018-01-12 | Paper |
| Institutions for behavioural dynamic logic with binders | 2017-11-03 | Paper |
| Dynamic Logic with Binders and Its Application to the Development of Reactive Systems | 2016-12-21 | Paper |
| Specification of Asynchronous Component Systems with Modal I/O-Petri Nets | 2016-11-09 | Paper |
| Model-Checking Helena Ensembles with Spin | 2015-09-14 | Paper |
| Refinement in hybridised institutions | 2015-07-23 | Paper |
| A Homage to Martin Wirsing | 2015-06-22 | Paper |
| Moving from interface theories to assembly theories | 2015-04-16 | Paper |
| Assembly Theories for Communication-Safe Component Systems | 2014-07-24 | Paper |
| Foundations for Ensemble Modeling – The Helena Approach | 2014-03-25 | Paper |
| Channel Properties of Asynchronously Composed Petri Nets | 2013-06-28 | Paper |
| Refinement and Asynchronous Composition of Modal Petri Nets | 2012-06-08 | Paper |
| Building a Modal Interface Theory for Concurrency and Data | 2012-06-08 | Paper |
| Views on Behaviour Protocols and Their Semantic Foundation | 2012-06-01 | Paper |
| Modal Interface Theories for Communication-Safe Component Assemblies | 2012-01-06 | Paper |
| Interface theories for concurrency and data | 2011-07-07 | Paper |
| A Modal Interface Theory with Data Constraints | 2011-05-12 | Paper |
| On Weak Modal Compatibility, Refinement, and the MIO Workbench | 2010-04-27 | Paper |
| An Algebraic Semantics for Contract-Based Software Components | 2009-01-27 | Paper |
| Service Specification and Matchmaking Using Description Logic | 2009-01-27 | Paper |
| Proving Behavioral Refinements of COL-specifications | 2007-09-07 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Constructor-based observational logic | 2006-04-28 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738215 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736406 | 2004-08-09 | Paper |
| Observational logic, constructor-based logic, and their duality. | 2003-05-25 | Paper |
| On institutions for modular coalgebraic specifications. | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537506 | 2002-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771053 | 2002-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764133 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702601 | 2000-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256317 | 1999-07-12 | Paper |
| Modular correctness proofs of behavioural implementations | 1999-03-29 | Paper |
| Proof systems for structured specifications with observability operators | 1998-07-22 | Paper |
| Behavioural theories and the proof of behavioural properties | 1997-02-27 | Paper |
| Behavioural and abstractor specifications | 1997-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4872472 | 1996-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842536 | 1995-08-14 | Paper |
| A semi-algorithm for algebraic implementation proofs | 1993-01-17 | Paper |
| Context induction: A proof principle for behavioural abstractions and algebraic implementations | 1992-06-27 | Paper |
| Observational implementation of algebraic specifications | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707384 | 1985-01-01 | Paper |
