News

A new journal submission to JSS - QASCAD: Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
We have submitted our work in probabilistic model checking for Activity Diagrams to the Journal of Systems and Software.
Feb 29, 2024
Project
Work in a new project CHEDDAR
Just started to work in a new project CHEDDAR with Poonam Yadav and Roberto Metere in formal verification of security protocols from Feb 1st 2024.
Feb 1, 2024
Our journal submission: Formally verified animation for RoboChart using interaction trees, was accepted and available online
This was submitted to Journal of Logical and Algebraic Methods in Programming (JLAMP) on 28 February 2023, Accepted on 19 December 2023, and Final version on 29 December 2023. A very pleased and efficient review process. Many thanks to the editors and reviewers of JLAMP for very helpful comments to improve the quality of our paper.
Dec 29, 2023
Work in a new project SESAME
Just started to work in a new project SESAME with Simos Gerasimou in safety and security analysis of multiple robotic systems using probabilistic model checking from June 2023.
Jun 27, 2023
2022_SoSyM First Paper Award
Last updated on Jan 4, 2023
2022_SoSyM First Paper Award
An exciting invitation from ICFEM2022
Invited to submit an extension of our ICFEM2022 paper ‘Formally Verified Animation for RoboChart Using Interaction Trees’ to the Journal of Logical and Algebraic Methods in Programming (JLAMP)
Last updated on Jan 26, 2023
Project
An online talk today at MODELS2022
See the talks area for more details.
Last updated on Oct 27, 2022
An online talk today at ICFEM2022
See the talks area for more details.
Last updated on Oct 26, 2022
ICFEM 2022 paper is available online
You can download the paper “Formally Verified Animation for RoboChart Using Interaction Trees”.
Last updated on Oct 21, 2022
Project
YorRobots and RoboStar Industry Exhibition
On 11-12 October YorRobots and RoboStar will be hosting an Industry Exhibition, which will be held in person on the Heslington East campus.
Last updated on Oct 24, 2022