Marie Farrell
Marie Farrell
Geverifieerd e-mailadres voor liverpool.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
342019
Robotics and integrated formal methods: Necessity meets opportunity
M Farrell, M Luckcuck, M Fisher
International Conference on Integrated Formal Methods, 161-171, 2018
222018
An institution for Event-B
M Farrell, R Monahan, JF Power
International Workshop on Algebraic Development Techniques, 104-119, 2016
32016
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
22019
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
12017
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
2019
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
2019
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
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
2017
A Logical Framework for Integrating Software Models via Refinement
M Farrell, R Monahan, JF Power
2016
Security-Minded Verification of Space Systems
C Maple, M Bradbury, H Yuan, M Farrell, C Dixon, M Fisher, UI Atmaca
When the Student becomes the Teacher⋆
M Farrell, H Wu
An Approach to Combining the Institutions for Event-B and Temporal Logic⋆
M Farrell, R Monahan, JF Power, M Fisher
An approach to Integrating Software Models via Refinement
M Farrell
Integrating Software Models via Refinement
M Farrell
An Institutional Approach to Modularisation in Event-B
M Farrell, R Monahan, JF Power
Modularising and Promoting Interoperability for Event-B Specifications using Institution Theory
M Farrell, R Monahan, JF Power
ESSLLI 2016 Student Session, 75, 0
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–17