research
∙
05/19/2023
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]
In this short position paper we highlight our ongoing work on verifiable...
share
research
∙
09/27/2022
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopm
This EPTCS volume contains the joint proceedings for the fourth internat...
research
∙
08/10/2022
A Compositional Approach to Verifying Modular Robotic Systems
Robotic systems used in safety-critical industrial situations often rely...
research
∙
07/20/2022
Modelling the Turtle Python library in CSP
Software verification is an important tool in establishing the reliabili...
research
∙
02/11/2022
Why just FRET when you can Refactor? Retuning FRETISH Requirements
Formal verification of a software system relies on formalising the requi...
research
∙
01/12/2022
Towards Refactoring FRETish Requirements
Like software, requirements evolve and change frequently during the deve...
research
∙
12/08/2021
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
[Context motivation] Eliciting requirements that are detailed and lo...
research
∙
10/22/2021
Proceedings Third Workshop on Formal Methods for Autonomous Systems
Autonomous systems are highly complex and present unique challenges for ...
research
∙
10/18/2021
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements
Verification of complex, safety-critical systems is a significant challe...
research
∙
03/19/2021
Building Specifications in the Event-B Institution
This paper describes a formal semantics for the Event-B specification la...
research
∙
12/03/2020
Towards Compositional Verification for Modular Robotic Systems
Software engineering of modular robotic systems is a challenging task, h...
research
∙
12/02/2020
Proceedings Second Workshop on Formal Methods for Autonomous Systems
Autonomous systems are highly complex and present unique challenges for ...
research
∙
10/12/2020
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering – A White Paper
This white paper argues that formal methods need to be better rooted in ...
research
∙
07/20/2020
Heterogeneous Verification of an Autonomous Curiosity Rover
The Curiosity rover is one of the most complex systems successfully depl...
research
∙
07/09/2020
Regulating Safety and Security in Autonomous Robotic Systems
Autonomous Robotics Systems are inherently safety-critical and have comp...
research
∙
08/28/2019
Modular Verification of Autonomous Space Robotics
Ensuring that autonomous space robot control software behaves as it shou...
research
∙
06/29/2018
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Robotic systems are complex and critical: they are inherently hybrid, co...
research
∙
05/02/2018