conf.researchr.org / Marie Farrell
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
- Author of Security-Minded Modelling and Verification of Autonomous Satellite Docking within the ABZ 2026-track
- Committee Member in Tutorial Track Committee within the Tutorials-track
- Author of Counterexample-Guided Interval Weakening within the ABZ 2026-track
- Author of Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial within the Tutorials-track
- Author of Encoding BDI Syntax with Theories in Event-B within the ABZ 2026-track
- Committee Member in Program Committee within the Research Track-track