Marie Farrell
Marie Farrell
Geverifieerd e-mailadres voor manchester.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Formal specification and verification of autonomous robotic systems: A survey
M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher
ACM Computing Surveys (CSUR) 52 (5), 1-41, 2019
712019
Robotics and integrated formal methods: Necessity meets opportunity
M Farrell, M Luckcuck, M Fisher
International Conference on Integrated Formal Methods, 161-171, 2018
252018
Heterogeneous verification of an autonomous curiosity rover
RC Cardoso, M Farrell, M Luckcuck, A Ferrando, M Fisher
NASA Formal Methods Symposium, 353-360, 2020
52020
An institution for Event-B
M Farrell, R Monahan, JF Power
International Workshop on Algebraic Development Techniques, 104-119, 2016
52016
Using threat analysis techniques to guide formal verification: A case study of cooperative awareness messages
M Farrell, M Bradbury, M Fisher, LA Dennis, C Dixon, H Yuan, C Maple
International Conference on Software Engineering and Formal Methods, 471-490, 2019
32019
Specification Clones: An empirical study of the structure of Event-B specifications
M Farrell, R Monahan, JF Power
International Conference on Software Engineering and Formal Methods, 152-167, 2017
32017
Modular verification of autonomous space robotics
M Farrell, RC Cardoso, LA Dennis, C Dixon, M Fisher, G Kourtis, A Lisitsa, ...
arXiv preprint arXiv:1908.10738, 2019
22019
Towards Compositional Verification for Modular Robotic Systems
RC Cardoso, LA Dennis, M Farrell, M Fisher, M Luckcuck
arXiv preprint arXiv:2012.01648, 2020
12020
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering--A White Paper
A Cerone, M Roggenbach, J Davenport, C Denner, M Farrell, ...
arXiv preprint arXiv:2010.05708, 2020
12020
A Summary of Formal Specification and Verification of Autonomous Robotic Systems
M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher
International Conference on Integrated Formal Methods, 538-541, 2019
12019
Event-B in the Institutional Framework: Defining a Semantics, Modularisation Constructs and Interoperability for a Specification Language
M Farrell
National University of Ireland Maynooth, 2017
12017
Proceedings Second Workshop on Formal Methods for Autonomous Systems
M Luckcuck, M Farrell
arXiv preprint arXiv:2012.01176, 2020
2020
Regulating Safety and Security in Autonomous Robotic Systems
M Luckcuck, M Farrell
arXiv preprint arXiv:2007.08006, 2020
2020
Security-Minded Verification of Space Systems
C Maple, M Bradbury, H Yuan, M Farrell, C Dixon, M Fisher, UI Atmaca
2020 IEEE Aerospace Conference, 1-13, 2020
2020
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
E Sekerinski, N Moreira, JN Oliveira, D Ratiu, R Guidotti, M Farrell, ...
Springer Nature, 2020
2020
Formal Methods. FM 2019 International Workshops
J Campos, T Astarte, D Delmas, P Monteiro, M Kutrib, B Dongol, L Couto, ...
2020
Formal Methods. FM 2019 International Workshops
M Farrell, D Delmas, P Monteiro, M Kutrib, B Dongol, L Couto, A Cerone, ...
2020
Cyber risk management in satellite systems
C Kapalidis, C Maple, M Bradbury, M Farrell, M Fisher
IET Digital Library, 2019
2019
An Approach to Combining the Institutions for Event-B and Temporal Logic
M Farrell, R Monahan, JF Power, M Fisher
2018
Combining Event-B and CSP: An Institution Theoretic approach to Interoperability
M Farrell, R Monahan, JF Power
International Conference on Formal Engineering Methods, 140-156, 2017
2017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20