| Publication | Date of Publication | Type |
|---|
| Safe composition of systems of communicating finite state machines | 2025-09-03 | Paper |
| Symbolic realisation of epistemic processes | 2025-02-19 | Paper |
| Realisability of global models of interaction | 2024-09-13 | Paper |
Process calculi for modelling mobile, service-oriented, and collective autonomic systems
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
A hybrid dynamic logic for event/data-based systems
Fundamental Approaches to Software Engineering | 2023-11-24 | Paper |
Can we communicate? Using dynamic logic to verify team automata
Formal Methods | 2023-08-17 | Paper |
| Featured Team Automata | 2023-04-21 | Paper |
Proof systems for structured algebraic specifications: An overview
Fundamentals of Computation Theory | 2022-12-09 | Paper |
A general framework for modular implementations of modular system specifications
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Specification of systems with parameterised events: An institution-independent approach
Journal of Logical and Algebraic Methods in Programming | 2022-08-26 | Paper |
Proving the correctness of behavioural implementations
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
Observational implementations
STACS 89 | 2022-08-16 | Paper |
Hybrid dynamic logic institutions for event/data-based systems
Formal Aspects of Computing | 2022-01-11 | Paper |
Observational interpretations of hybrid dynamic logic with binders and silent transitions
Journal of Logical and Algebraic Methods in Programming | 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
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
Connecting open systems of communicating finite state machines
Journal of Logical and Algebraic Methods in Programming | 2019-11-28 | Paper |
A logic for the stepwise development of reactive systems
Theoretical Computer Science | 2018-09-24 | Paper |
Behavioural and abstractor specifications revisited
Theoretical Computer Science | 2018-07-26 | Paper |
Compatibility properties of synchronously and asynchronously communicating components
(available as arXiv preprint) | 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
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
Specification of asynchronous component systems with modal I/O-Petri nets
Trustworthy Global Computing | 2016-11-09 | Paper |
Model-Checking Helena Ensembles with Spin
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Refinement in hybridised institutions
Formal Aspects of Computing | 2015-07-23 | Paper |
A homage to Martin Wirsing
Software, Services, and Systems | 2015-06-22 | Paper |
Moving from interface theories to assembly theories
Acta Informatica | 2015-04-16 | Paper |
Assembly theories for communication-safe component systems
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
Foundations for ensemble modeling -- the Helena approach. Handling massively distributed systems with elaborate ensemble architectures
Specification, Algebra, and Software | 2014-03-25 | Paper |
Channel Properties of Asynchronously Composed Petri Nets
Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
Refinement and asynchronous composition of modal Petri nets
Lecture Notes in Computer Science | 2012-06-08 | Paper |
Building a Modal Interface Theory for Concurrency and Data
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Views on behaviour protocols and their semantic foundation
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Modal Interface Theories for Communication-Safe Component Assemblies
Theoretical Aspects of Computing – ICTAC 2011 | 2012-01-06 | Paper |
Interface theories for concurrency and data
Theoretical Computer Science | 2011-07-07 | Paper |
A modal interface theory with data constraints
Lecture Notes in Computer Science | 2011-05-12 | Paper |
On weak modal compatibility, refinement, and the MIO workbench
Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
An Algebraic Semantics for Contract-Based Software Components
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Service Specification and Matchmaking Using Description Logic
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Proving Behavioral Refinements of COL-specifications
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Constructor-based observational logic
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2087420 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2085182 (Why is no real title available?) | 2004-08-09 | Paper |
Observational logic, constructor-based logic, and their duality.
Theoretical Computer Science | 2003-05-25 | Paper |
On institutions for modular coalgebraic specifications.
Theoretical Computer Science | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1761887 (Why is no real title available?) | 2002-07-01 | Paper |
| scientific article; zbMATH DE number 1705159 (Why is no real title available?) | 2002-02-14 | Paper |
| scientific article; zbMATH DE number 1693528 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1368957 (Why is no real title available?) | 2000-11-13 | Paper |
| scientific article; zbMATH DE number 1314231 (Why is no real title available?) | 1999-07-12 | Paper |
Modular correctness proofs of behavioural implementations
Acta Informatica | 1999-03-29 | Paper |
Proof systems for structured specifications with observability operators
Theoretical Computer Science | 1998-07-22 | Paper |
Behavioural theories and the proof of behavioural properties
Theoretical Computer Science | 1997-02-27 | Paper |
Behavioural and abstractor specifications
Science of Computer Programming | 1997-01-02 | Paper |
| scientific article; zbMATH DE number 858985 (Why is no real title available?) | 1996-03-21 | Paper |
| scientific article; zbMATH DE number 785047 (Why is no real title available?) | 1995-08-14 | Paper |
A semi-algorithm for algebraic implementation proofs
Theoretical Computer Science | 1993-01-17 | Paper |
Context induction: A proof principle for behavioural abstractions and algebraic implementations
Formal Aspects of Computing | 1992-06-27 | Paper |
Observational implementation of algebraic specifications
Acta Informatica | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 3936496 (Why is no real title available?) | 1985-01-01 | Paper |
