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...
share
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
∙
10/15/2021
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest
In this paper, we describe the strategies used by our team, MLFC, that l...
research
∙
06/08/2021
Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest
Communication is a critical part of enabling multi-agent systems to coop...
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
∙
12/01/2020
Another Tool in the Box: Why use Formal Methods for Autonomous Systems?
Formal Methods are mathematically-based techniques for software design a...
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
∙
07/07/2020
Monitoring Robotic Systems using CSP: From Safety Designs to Safety Monitors
Runtime Verification (RV) involves monitoring a system to check if it sa...
research
∙
11/25/2019
A Summary of Formal Specification and Verification of Autonomous Robotic Systems
Autonomous robotic systems are complex, hybrid, and often safety-critica...
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/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
∙
05/02/2018