| Publication | Date of Publication | Type |
|---|
| Specifying and reasoning about shared-variable concurrency | 2024-02-28 | Paper |
| Contextuality in distributed systems | 2023-08-17 | Paper |
| A formal semantics of the GraalVM intermediate representation | 2022-06-22 | Paper |
| Software Specification | 2022-02-14 | Paper |
| Encoding fairness in a synchronous concurrent program algebra | 2021-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856417 | 2021-03-26 | Paper |
| Cylindric Kleene lattices for program construction | 2020-05-05 | Paper |
| Developing an algebra for rely/guarantee concurrency: design decisions and challenges | 2020-02-18 | Paper |
| An algebra of synchronous atomic steps | 2020-01-03 | Paper |
| A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency | 2019-05-10 | Paper |
| Designing a semantic model for a wide-spectrum language with concurrency | 2017-11-29 | Paper |
| Convolution as a Unifying Concept | 2017-07-12 | Paper |
| Possible values: exploring a concept for concurrency | 2016-12-15 | Paper |
| Generalised rely-guarantee concurrency: an algebraic foundation | 2016-10-28 | Paper |
| Reasoning about goal-directed real-time teleo-reactive programs | 2016-08-05 | Paper |
| Balancing expressiveness in formal approaches to concurrency | 2015-11-10 | Paper |
| Formal semantics for program paths | 2013-08-27 | Paper |
| Don't care non-determinism in logic program refinement | 2013-07-24 | Paper |
| Preface | 2013-03-22 | Paper |
| Towards an Algebra for Real-Time Programs | 2012-09-21 | Paper |
| Deriving Real-Time Action Systems Controllers from Multiscale System Specifications | 2012-09-05 | Paper |
| Structural operational semantics through context-dependent behaviour | 2011-09-12 | Paper |
| A semantics for behavior trees using CSP with specification commands | 2011-07-18 | Paper |
| Refinement of Higher-Order Logic Programs | 2011-03-04 | Paper |
| Reasoning about Loops in Total and General Correctness | 2010-08-31 | Paper |
| Invariants and Well-Foundedness in Program Algebra | 2010-08-31 | Paper |
| A timeband framework for modelling real-time systems | 2010-08-13 | Paper |
| Unifying Theories of Programming That Distinguish Nontermination and Abort | 2010-07-26 | Paper |
| Compositional Action System Derivation Using Enforced Properties | 2010-07-26 | Paper |
| Continuous Action System Refinement | 2009-04-02 | Paper |
| CSP with Hierarchical State | 2009-02-24 | Paper |
| Probabilistic Choice in Refinement Algebra | 2008-08-28 | Paper |
| Algebraic reasoning for probabilistic action systems and while-loops | 2008-08-19 | Paper |
| Calculating modules in contextual logic program refinement | 2008-01-21 | Paper |
| Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe | 2007-09-14 | Paper |
| Procedures and parameters in the real-time program refinement calculus | 2007-01-11 | Paper |
| A theory for execution-time derivation in real-time programs | 2005-12-29 | Paper |
| Program Development in Computational Logic | 2005-12-23 | Paper |
| Linear approximation of execution-time constraints | 2005-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045250 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808689 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471913 | 2004-07-30 | Paper |
| A refinement calculus for logic programs | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421869 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412515 | 2003-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790664 | 2003-02-04 | Paper |
| Reasoning about real-time repetitions: Terminating and nonterminating | 2002-10-16 | Paper |
| An introduction to Real-Time Object-Z. | 2002-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766649 | 2002-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721094 | 2001-07-01 | Paper |
| Using theory interpretation to mechanise the reals in a theorem prover | 2001-05-08 | Paper |
| A sequential real-time refinement calculus | 2001-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494238 | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494114 | 2000-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250656 | 1999-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250651 | 1999-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250673 | 1999-06-17 | Paper |
| Expressive power of specification languages | 1999-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4370272 | 1998-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4370251 | 1998-04-01 | Paper |
| Supporting contexts in program refinement | 1997-10-26 | Paper |
| Supporting module reuse in refinement | 1996-10-20 | Paper |
| Specification by interface separation | 1995-12-05 | Paper |
| VDM and Z: A comparative case study | 1992-06-28 | Paper |
| Multi-relations in Z. A cross between multi-sets and binary relations | 1992-06-28 | Paper |
| Laws of programming | 1987-01-01 | Paper |
| Corrigenda: laws of programming | 1987-01-01 | Paper |
| Specification directed module testing | 1986-01-01 | Paper |
