| Publication | Date of Publication | Type |
|---|
| UTP, \textsf{\textit{Circus}}, and Isabelle | 2024-02-28 | Paper |
| Local analysis of determinism for CSP | 2022-11-04 | Paper |
| FDR: from theory to industrial application | 2018-03-26 | Paper |
| Compositional and local livelock analysis for CSP | 2018-03-16 | Paper |
| Rigorous development of component-based systems using component metadata and patterns | 2016-10-28 | Paper |
| Modelling timed reactive systems from natural-language requirements | 2016-09-20 | Paper |
| Test generation from state based use case models | 2016-08-05 | Paper |
| Aspect-oriented development of trustworthy component-based systems | 2016-02-25 | Paper |
| Multiple synchrony in MSC | 2015-03-19 | Paper |
| Laws of programming for references | 2015-01-12 | Paper |
| Type checking \textsf{Circus} specifications | 2014-01-24 | Paper |
| Formal specification generation from requirement documents | 2014-01-24 | Paper |
| Viewing CSP specifications with UML-RT diagrams | 2014-01-24 | Paper |
| Refactoring towards a layered architecture | 2013-09-26 | Paper |
| Refactoring by transformation | 2013-08-19 | Paper |
| Refinement of actions in Circus | 2013-08-19 | Paper |
| Introducing concurrency in sequential Java via laws | 2013-04-04 | Paper |
| A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications | 2012-11-06 | Paper |
| Refactoring and representation independence for class hierarchies | 2012-06-25 | Paper |
| Correct hardware synthesis | 2012-03-23 | Paper |
| An algebraic approach to the design of compilers for object-oriented languages | 2010-11-22 | Paper |
| A process algebraic framework for specification and validation of real-time systems | 2010-05-05 | Paper |
| Conformance notions for the coordination of interaction components | 2010-04-29 | Paper |
| Sound refactorings | 2010-02-26 | Paper |
| Integrated Formal Methods | 2009-05-07 | Paper |
| Guided Test Generation from CSP Models | 2009-01-27 | Paper |
| Object-Orientation in the UTP | 2007-09-14 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| A refinement strategy for Circus | 2005-02-08 | Paper |
| Algebraic reasoning for object-oriented programming | 2004-11-22 | Paper |
| A constructive approach to hardware/software partitioning | 2004-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808845 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808828 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412516 | 2003-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764145 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764147 | 2002-01-22 | Paper |
| Model-checking CSP-Z: Strategy, tool support and industrial application | 2001-07-05 | Paper |
| An algebraic approach to compiler design | 2001-05-29 | Paper |
| An inconsistency in procedures, parameters, and substitution in the refinement calculus | 2000-01-04 | Paper |
| Mechanising the theory of intervals using OBJ3 | 1997-02-16 | Paper |
| Normal form approach to compiler design | 1994-06-02 | Paper |
