Registered user since Wed 1 Mar 2023
Name:Marie Farrell
Country:United Kingdom
Affiliation:The University of Manchester
Personal website: https://mariefarrell.github.io/
Contributions
2026
FM
- Security-Minded Modelling and Verification of Autonomous Satellite Docking
- Session Chair of ABZ Session 6: Case Study (part of ABZ)
- Committee Member in Tutorial Track Committee within the Tutorials-track
- Counterexample-Guided Interval Weakening
- Case Study Track Co-Chair in Organizing Committee within the ABZ-track
- Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial
- Encoding BDI Syntax with Theories in Event-B
- Committee Member in Program Committee within the Research Track-track
FM 2026-profile
View general profile
View general profile