| Publication | Date of Publication | Type |
|---|
| UTP, \textsf{\textit{Circus}}, and Isabelle | 2024-02-28 | Paper |
Local analysis of determinism for CSP
Lecture Notes in Computer Science | 2022-11-04 | Paper |
| FDR: from theory to industrial application | 2018-03-26 | Paper |
Compositional and local livelock analysis for CSP
Information Processing Letters | 2018-03-16 | Paper |
Rigorous development of component-based systems using component metadata and patterns
Formal Aspects of Computing | 2016-10-28 | Paper |
Modelling timed reactive systems from natural-language requirements
Formal Aspects of Computing | 2016-09-20 | Paper |
Test generation from state based use case models
Formal Aspects of Computing | 2016-08-05 | Paper |
Aspect-oriented development of trustworthy component-based systems
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
Multiple synchrony in MSC
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Laws of programming for references
Programming Languages and Systems | 2015-01-12 | Paper |
Type checking \textsf{Circus} specifications
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Formal specification generation from requirement documents
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Viewing CSP specifications with UML-RT diagrams
Electronic Notes in Theoretical Computer Science | 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
Information Processing Letters | 2013-04-04 | Paper |
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
Lecture Notes in Computer Science | 2012-11-06 | Paper |
Refactoring and representation independence for class hierarchies
Theoretical Computer Science | 2012-06-25 | Paper |
Correct hardware synthesis
Acta Informatica | 2012-03-23 | Paper |
An algebraic approach to the design of compilers for object-oriented languages
Formal Aspects of Computing | 2010-11-22 | Paper |
A process algebraic framework for specification and validation of real-time systems
Formal Aspects of Computing | 2010-05-05 | Paper |
Conformance notions for the coordination of interaction components
Science of Computer Programming | 2010-04-29 | Paper |
Sound refactorings
Science of Computer Programming | 2010-02-26 | Paper |
Integrated Formal Methods
Lecture Notes in Computer Science | 2009-05-07 | Paper |
Guided Test Generation from CSP Models
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
Object-Orientation in the UTP
Unifying Theories of Programming | 2007-09-14 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
A refinement strategy for Circus
Formal Aspects of Computing | 2005-02-08 | Paper |
Algebraic reasoning for object-oriented programming
Science of Computer Programming | 2004-11-22 | Paper |
A constructive approach to hardware/software partitioning
Formal Methods in System Design | 2004-09-09 | Paper |
| scientific article; zbMATH DE number 2090152 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090136 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1949614 (Why is no real title available?) | 2003-07-15 | Paper |
| scientific article; zbMATH DE number 1693544 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1693546 (Why is no real title available?) | 2002-01-22 | Paper |
Model-checking CSP-Z: Strategy, tool support and industrial application
Science of Computer Programming | 2001-07-05 | Paper |
An algebraic approach to compiler design
AMAST Series in Computing | 2001-05-29 | Paper |
An inconsistency in procedures, parameters, and substitution in the refinement calculus
Science of Computer Programming | 2000-01-04 | Paper |
Mechanising the theory of intervals using OBJ3
Reliable Computing | 1997-02-16 | Paper |
Normal form approach to compiler design
Acta Informatica | 1994-06-02 | Paper |
