Dr Marie Farrell

Computer Science

    Publications

    Selected Publications

    1. Robotics and Integrated Formal Methods: Necessity meets Opportunity (Conference Paper - 2018)

    2019

    A Summary of Formal Specification and Verification of Autonomous Robotic Systems (Conference Paper)

    Luckcuck, M., Farrel, M., Dennis, L. A., & Fisher, M. (n.d.). A Summary of Formal Specification and Verification of Autonomous Robotic Systems. Retrieved from http://arxiv.org/abs/1911.11597v1

    Formal Specification and Verification of Autonomous Robotic Systems: A Survey (Journal article)

    Luckcuck, M., Farrell, M., Dennis, L. A., Dixon, C., & Fisher, M. (2019). Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM COMPUTING SURVEYS, 52(5). doi:10.1145/3342355

    DOI: 10.1145/3342355

    Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages (Conference Paper)

    Farrell, M., Bradbury, M., Yuan, H., Fisher, M., Dennis, L., Dixon, C., & Maple, C. (2019). Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. In International Conference on Software Engineering and Formal Methods.

    Modular Verification of Autonomous Space Robotics (Conference Paper)

    Farrell, M., Cardoso, R. C., Dennis, L. A., Dixon, C., Fisher, M., Kourtis, G., . . . Webster, M. (n.d.). Modular Verification of Autonomous Space Robotics. Retrieved from http://arxiv.org/abs/1908.10738v1

    Workshop Report: Space Security Scoping (Report)

    Farrell, M. S., Bradbury, M., Fisher, M., & Maple, C. (n.d.). Workshop Report: Space Security Scoping. FAIR-SPACE Hub.

    2018

    Robotics and Integrated Formal Methods: Necessity meets Opportunity (Conference Paper)

    Farrell, M., Luckcuck, M., & Fisher, M. (2018). Robotics and Integrated Formal Methods: Necessity Meets Opportunity. In INTEGRATED FORMAL METHODS, IFM 2018 Vol. 11023 (pp. 161-171). doi:10.1007/978-3-319-98938-9_10

    DOI: 10.1007/978-3-319-98938-9_10