| Publication | Date of Publication | Type |
|---|
An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency
Journal of Logical and Algebraic Methods in Programming | 2024-06-25 | Paper |
| Formalisation, abstraction and refinement of bond graphs | 2024-01-12 | Paper |
Verification-Led Smart Contracts
Financial Cryptography and Data Security | 2023-08-03 | Paper |
Simple type inference for term graph rewriting systems
Conditional Term Rewriting Systems | 2023-03-09 | Paper |
| Moded and continuous abstract state machines | 2022-03-22 | Paper |
The contractum in algebraic graph rewriting
Lecture Notes in Computer Science | 2019-01-10 | Paper |
Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
Formal Aspects of Computing | 2016-08-05 | Paper |
Retrenchment and refinement interworking: the tower theorems
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits
Formal Aspects of Computing | 2014-11-11 | Paper |
The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits
Formal Aspects of Computing | 2014-11-11 | Paper |
Pliant modalities in hybrid Event-B
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
Simple feature engineering via neat default retrenchments
The Journal of Logic and Algebraic Programming | 2011-12-02 | Paper |
Retrenchment for Event-B: UseCase-wise development and Rodin integration
Formal Aspects of Computing | 2011-05-27 | Paper |
Stronger compositions for retrenchments
The Journal of Logic and Algebraic Programming | 2010-05-27 | Paper |
Atomic actions, and their refinements to isolated protocols
Formal Aspects of Computing | 2010-03-08 | Paper |
Composition mechanisms for retrenchment
The Journal of Logic and Algebraic Programming | 2008-04-22 | Paper |
| Retrenching the purse: the balance enquiry quandary, and generalised and \((1, 1)\) forward refinements | 2007-07-24 | Paper |
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming | 2007-07-23 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2086962 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2079994 (Why is no real title available?) | 2004-08-03 | Paper |
| scientific article; zbMATH DE number 1487747 (Why is no real title available?) | 2001-03-04 | Paper |
| scientific article; zbMATH DE number 1543055 (Why is no real title available?) | 2001-02-26 | Paper |
| scientific article; zbMATH DE number 1543080 (Why is no real title available?) | 2001-02-26 | Paper |
| scientific article; zbMATH DE number 1542835 (Why is no real title available?) | 2001-02-26 | Paper |
| scientific article; zbMATH DE number 1419233 (Why is no real title available?) | 2000-07-20 | Paper |
Sharp retrenchment, modulated refinement and simulation
Formal Aspects of Computing | 2000-05-09 | Paper |
| scientific article; zbMATH DE number 1418475 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1231476 (Why is no real title available?) | 1998-12-13 | Paper |
Locating the contractum in the double pushout approach
Theoretical Computer Science | 1997-02-27 | Paper |
Transitive term graph rewriting
Information Processing Letters | 1997-02-27 | Paper |
On regularity in software design
Science of Computer Programming | 1995-10-04 | Paper |
Sequent reconstruction in LLM -- A sweepline proof
Annals of Pure and Applied Logic | 1995-07-26 | Paper |
Term graph rewriting and garbage collection using opfibrations
Theoretical Computer Science | 1995-07-23 | Paper |
Regular relations and bicartesian squares
Theoretical Computer Science | 1994-12-19 | Paper |
Weak fibrations
Journal of Pure and Applied Algebra | 1993-06-29 | Paper |
