| Publication | Date of Publication | Type |
|---|
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
Theoretical Computer Science | 2024-11-18 | Paper |
Introduction to the special Section on reliability, safety, and security of railway systems
Formal Aspects of Computing | 2024-09-25 | Paper |
Modelling and verifying robotic software that uses neural networks
| 2024-09-13 | Paper |
UTP, \textsf{\textit{Circus}}, and Isabelle
| 2024-02-28 | Paper |
Formally verified animation for RoboChart using interaction trees
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
A Survey of Practical Formal Methods for Security
Formal Aspects of Computing | 2023-08-31 | Paper |
Automated reasoning for probabilistic sequential programs with theorem proving
| 2023-03-30 | Paper |
Learning safe neural network controllers with barrier certificates
Dependable Software Engineering. Theories, Tools, and Applications | 2022-09-01 | Paper |
Compositional assume-guarantee reasoning of control law diagrams using UTP
From Astrophysics to Unconventional Computation | 2022-03-02 | Paper |
Verification in the Grand Challenge
Theories of Programming | 2022-02-14 | Paper |
Hoare and He’s Unifying Theories of Programming
Theories of Programming | 2022-02-14 | Paper |
Editorial
Formal Aspects of Computing | 2022-01-11 | Paper |
Non-interference through determinism
| 2021-12-20 | Paper |
RiskStructures: a design algebra for risk-aware machines
Formal Aspects of Computing | 2021-09-14 | Paper |
Learning safe neural network controllers with barrier certificates
Formal Aspects of Computing | 2021-08-30 | Paper |
Automated verification of reactive and concurrent programs by calculation
Journal of Logical and Algebraic Methods in Programming | 2021-08-03 | Paper |
A calculus of space, time, and causality: its algebra, geometry, logic
| 2020-02-18 | Paper |
Probabilistic semantics for RoboChart. A weakest completion approach
| 2020-02-18 | Paper |
Unifying theories of reactive design contracts
Theoretical Computer Science | 2019-11-22 | Paper |
Calculational verification of reactive programs with reactive relations and Kleene algebra
| 2018-11-08 | Paper |
Unifying theories of time with generalised reactive processes
Information Processing Letters | 2018-04-05 | Paper |
Towards verification of cyber-physical systems with UTP and Isabelle/HOL
| 2018-03-26 | Paper |
Towards a UTP semantics for Modelica
Unifying Theories of Programming | 2017-04-04 | Paper |
A stepwise approach to linking theories
Unifying Theories of Programming | 2017-04-04 | Paper |
UTP semantics of reactive processes with continuations
Unifying Theories of Programming | 2017-04-04 | Paper |
Obituary: Amílcar Sernadas (1952--2017)
Formal Aspects of Computing | 2017-04-03 | Paper |
Unifying heterogeneous state-spaces with lenses
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
Behavioural models for FMI co-simulations
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
Test-data generation for control coverage by proof
Formal Aspects of Computing | 2016-08-05 | Paper |
Isabelle/UTP: a mechanised theory engineering framework
Unifying Theories of Programming | 2016-06-22 | Paper |
Three Approaches to Timed External Choice in UTP
Unifying Theories of Programming | 2016-06-22 | Paper |
Towards Algebraic Semantics of Circus Time
Unifying Theories of Programming | 2016-06-22 | Paper |
CSP and Kripke Structures
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
Using formal reasoning on a model of tasks for FreeRTOS
Formal Aspects of Computing | 2016-01-06 | Paper |
Circus Time with Reactive Designs
Unifying Theories of Programming | 2015-12-11 | Paper |
Unifying theories of undefinedness in UTP
Unifying Theories of Programming | 2015-12-11 | Paper |
Unifying theories of programming in Isabelle
Lecture Notes in Computer Science | 2015-09-30 | Paper |
Mechanised wire-wise verification of Handel-C synthesis
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Unifying Theories of Logic and Specification
Lecture Notes in Computer Science | 2014-07-08 | Paper |
Modelling temporal behaviour in complex systems with Timebands
Formal Methods in System Design | 2014-06-30 | Paper |
Safety-critical Java programs from \textsf{Circus} models
Real-Time Systems | 2014-04-08 | Paper |
Angelic nondeterminism and unifying theories of programming
| 2013-12-04 | Paper |
Simpler reasoning about system properties: a proof-by-refinement technique
| 2013-12-04 | Paper |
Semantic domains for Handel-C
| 2013-08-23 | Paper |
Refinement of actions in Circus
| 2013-08-19 | Paper |
Simulink timed models for program verification
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
The safety-critical Java memory model formalised
Formal Aspects of Computing | 2013-03-22 | Paper |
Unifying theories in ProofPower-Z
Formal Aspects of Computing | 2013-03-22 | Paper |
Mechanised wire-wise verification of Handel-C synthesis
Science of Computer Programming | 2012-07-20 | Paper |
Correct hardware synthesis
Acta Informatica | 2012-03-23 | Paper |
The tokeneer experiments
Reflections on the Work of C.A.R. Hoare | 2010-10-26 | Paper |
UTP semantics for Handel-C
Unifying Theories of Programming | 2010-08-31 | Paper |
The Miracle of Reactive Programming
Unifying Theories of Programming | 2010-08-31 | Paper |
Unifying theories of interrupts
Unifying Theories of Programming | 2010-08-31 | Paper |
A UTP semantics for \textsf{Circus}
Formal Aspects of Computing | 2009-05-27 | Paper |
FDR explorer
Formal Aspects of Computing | 2009-05-27 | Paper |
Integrated Formal Methods
Lecture Notes in Computer Science | 2009-05-07 | Paper |
Mechanising a formal model of flash memory
Science of Computer Programming | 2009-03-02 | Paper |
POSIX file store in Z/Eves: An experiment in the verified software repository
Science of Computer Programming | 2009-03-02 | Paper |
Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository
Science of Computer Programming | 2009-03-02 | Paper |
A Theory of Pointers for the UTP
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
Proving Theorems About JML Classes
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
Z/Eves and the Mondex Electronic Purse
Lecture Notes in Computer Science | 2008-09-11 | Paper |
Unifying Theories in ProofPower-Z
Unifying Theories of Programming | 2007-09-14 | Paper |
Mechanising a Unifying Theory
Unifying Theories of Programming | 2007-09-14 | Paper |
Pointers and Records in the Unifying Theories of Programming
Unifying Theories of Programming | 2007-09-14 | Paper |
Angelic nondeterminism in the unifying theories of programming
Formal Aspects of Computing | 2006-11-17 | Paper |
The verified software repository: a step towards the verifying compiler
Formal Aspects of Computing | 2006-10-25 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Mathematics of Program Construction
Lecture Notes in Computer Science | 2005-08-26 | Paper |
ArcAngel: a tactic language for refinement
Formal Aspects of Computing | 2005-02-08 | Paper |
A refinement strategy for Circus
Formal Aspects of Computing | 2005-02-08 | Paper |
scientific article; zbMATH DE number 2090152 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2080001 (Why is no real title available?)
| 2004-08-03 | Paper |
scientific article; zbMATH DE number 1949583 (Why is no real title available?)
| 2003-07-15 | Paper |
scientific article; zbMATH DE number 1487738 (Why is no real title available?)
| 2000-08-10 | Paper |
An inconsistency in procedures, parameters, and substitution in the refinement calculus
Science of Computer Programming | 2000-01-04 | Paper |
ZRC -- A refinement calculus for \(Z\)
Formal Aspects of Computing | 1999-06-29 | Paper |
scientific article; zbMATH DE number 1304002 (Why is no real title available?)
| 1999-06-17 | Paper |
A Weakest Precondition Semantics for Z
The Computer Journal | 1998-08-20 | Paper |
scientific article; zbMATH DE number 1104386 (Why is no real title available?)
| 1998-04-20 | Paper |
scientific article; zbMATH DE number 605917 (Why is no real title available?)
| 1994-07-13 | Paper |
scientific article; zbMATH DE number 4218046 (Why is no real title available?)
| 1994-01-01 | Paper |
scientific article; zbMATH DE number 43208 (Why is no real title available?)
| 1993-01-23 | Paper |
Transaction processing primitives and CSP
IBM Journal of Research and Development | 1987-01-01 | Paper |
