research
∙
07/07/2023
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents
Autonomous agents are increasingly being proposed for use in healthcare,...
share
research
∙
04/27/2021
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata
In this work, we consider translating tock-CSP into Timed Automata for U...
research
∙
08/16/2020
Automatic Translation of tock-CSP into Timed Automata
The process algebra tock-CSP provides textual notations for modelling di...
research
∙
07/27/2020
Automated Verification of Reactive and Concurrent Programs by Calculation
Reactive programs combine traditional sequential programming constructs ...
research
∙
07/18/2019
Priorities in tock-CSP
The tock-CSP encoding embeds a rich and flexible approach to modelling d...
research
∙
05/14/2019
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
The growing complexity and diversity of models used in the engineering o...
research
∙
07/23/2018
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
State-machine based notations are ubiquitous in the description of compo...
research
∙
06/06/2018
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
Reactive programs are ubiquitous in modern applications, and thus verifi...
research
∙
05/27/2018
A Formal Model of the Safety-Critical Java Level 2 Paradigm
Safety-Critical Java (SCJ) introduces a new programming paradigm for app...
research
∙
05/27/2018
Safety-Critical Java: Level 2 in Practice
Safety Critical Java (SCJ) is a profile of the Real-Time Specification f...
research
∙
12/29/2017
Unifying Theories of Reactive Design Contracts
Design-by-contract is an important technique for model-based design in w...
research
∙
12/29/2017
Unifying Theories of Time with Generalised Reactive Processes
Hoare and He's theory of reactive processes provides a unifying foundati...
research
∙
12/29/2017