Items where Author is "Farrell, Marie"

Journal Article

Farrell, Marie and Bradbury, Matthew and Cardoso, Rafael C. and Fisher, Michael and Dennis, Louise and Dixon, Clare and Sheik, Al Tariq and Yuan, Hu and Maple, Carsten (2024) Security-Minded Verification of Cooperative Awareness Messages. IEEE Transactions on Dependable and Secure Computing, 21 (4). pp. 4048-4065. ISSN 1545-5971

Fisher, Michael and Cardoso, Rafael C. and Collins, Emily C. and Dadswell, Christopher and Dennis, Louise A. and Dixon, Clare and Farrell, Marie and Ferrando, Angelo and Huang, Xiaowei and Jump, Mike and Kourtis, Georgios and Lisitsa, Alexei and Luckcuck, Matt and Luo, Shan and Page, Vincent and Papacchini, Fabio and Webster, Matthew T. (2021) An Overview of Verification and Validation Challenges for Inspection Robots. Robotics, 10 (2): 67. ISSN 2218-6581

Contribution in Book/Report/Proceedings

Maple, Carsten and Bradbury, Matthew and Yuan, Hu and Farrell, Marie and Dixon, Clare and Fisher, Michael and Atmaca, Uger Ilker (2020) Security-Minded Verification of Space Systems. In: 2020 IEEE Aerospace Conference :. IEEE, Big Sky, Montana, USA. ISBN 9781728127354

Farrell, Marie and Bradbury, Matthew and Fisher, Michael and Dennis, Louise A. and Dixon, Clare and Yuan, Hu and Maple, Carsten (2019) Using Threat Analysis Techniques to Guide Formal Verification : A Case Study of Cooperative Awareness Messages. In: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings. Lecture Notes in Computer Science . Springer International Publishing, Cham, pp. 471-490. ISBN 9783030304454