 | Up a level |
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, Matt (2021) An Overview of Verification and Validation Challenges for Inspection Robots. Robotics, 10 (2). p. 67. ISSN 2218-6581
Wu, Hao and Farrell, Marie (2021) A formal approach to finding inconsistencies in a metamodel. Software and Systems Modeling, 20 (4). pp. 1271-1298. ISSN 1619-1366
Luckcuck, Matt and Farrell, Marie and Dennis, Louise A. and Dixon, Clare and Fisher, Michael (2019) Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Computing Surveys, 52 (5). pp. 1-41. ISSN 0360-0300
Farrell, Marie and Monahan, Rosemary and Power, James F. (2017) Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. In: ICFEM 2017: Formal Methods and Software Engineering. Lecture Notes in Computer Science (LNCS) (10610). Springer, pp. 140-156. ISBN 9783319686899
Farrell, Marie and Monahan, Rosemary and Power, James F. (2017) An Institution for Event-B. In: Recent Trends in Algebraic Development Techniques : Revised Selected Papers. Lecture Notes in Computer Science (10644). Springer, Cham, Switzerland, pp. 104-119. ISBN 978-3-319-72043-2
Farrell, Marie and Monahan, Rosemary and Power, James F. (2017) Specification Clones: An Empirical Study of the Structure of Event-B Specifications. In: SEFM 2017: Software Engineering and Formal Methods. Lecture Notes in Computer Science (LNCS) (10469). Springer, pp. 152-167. ISBN 9783319661964
Farrell, Marie and Reynolds, Conor and Monahan, Rosemary (2021) Using dafny to solve the VerifyThis 2021 challenges. In: International Workshop on Formal Techniques for Java-like Programs, July 13, Denmark.
Farrell, Marie and Monahan, Rosemary and Power, James F. and Fisher, Michael (2018) An Approach to Combining the Institutions for Event-B and Temporal Logic. In: 24th International Workshop on Algebraic Development Technique, July 2018, Royal Holloway, University of London.
Farrell, Marie and Monahan, Rosemary and Power, James F. (2016) A Logical Framework for Integrating Software Models via Refinement. In: 32nd British Colloquium of Theoretical Computer Science, March 22-24, 2016, Queens University, Belfast, Northern Ireland. (Unpublished)
Farrell, Marie (2017) Event-B in the Institutional Framework: Defining a Semantics, Modularisation Constructs and Interoperability for a Specification Language. PhD thesis, National University of Ireland Maynooth.
