Marie Farrell

University of Liverpool, National University of Ireland, Maynooth, University of Manchester

Papers

20

Total Citations

471

H-Index

8

About

No biography available yet.

Research Focus

Computer science20 · 471 citations
Programming language15 · 401 citations
Formal verification10 · 386 citations
Software engineering12 · 381 citations
Formal methods10 · 377 citations
Artificial intelligence9 · 355 citations
Robot8 · 353 citations
Robotics6 · 335 citations
Rotation formalisms in three dimensions3 · 282 citations
Correctness2 · 278 citations
Certification1 · 264 citations
Formal specification1 · 264 citations

Key Achievements

8
H-Index
20
Papers
471
Total Citations
24
Avg Citations/Paper
🏆 Most Cited Paper
Formal Specification and Verification of Autonomous Robotic Systems
264 citations · 2019
📈 Most Prolific Year: 2021 (6 Papers)
🤝 Key Collaborators: 45
🏛 Institutions: University of Liverpool, National University of Ireland, Maynooth, University of Manchester

Top Papers

  1. 1
    Formal Specification and Verification of Autonomous Robotic Systems
    264 citations · 2019
  2. 2
    An Overview of Verification and Validation Challenges for Inspection Robots
    60 citations · 2021
  3. 3
    Integrating Formal Verification and Assurance: An Inspection Rover Case Study
    35 citations · 2021
  4. 4
    A Review of Verification and Validation for Space Autonomous Systems
    24 citations · 2021
  5. 5
    Towards Compositional Verification for Modular Robotic Systems
    16 citations · 2020
  6. 6
    Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
    14 citations · 2022
  7. 7
    Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
    12 citations · 2019
  8. 8
    Bridging the gap between single- and multi-model predictive runtime verification
    8 citations · 2021
  9. 9
    Formal Verification of an Autonomous Grasping Algorithm
    6 citations · 2020
  10. 10
    Exploring Requirements for Software that Learns: A Research Preview
    6 citations · 2023

Key Collaborators

MFMichael Fisher11 shared papersMLMatt Luckcuck10 shared papersLALouise A. Dennis10 shared papersCDClare Dixon9 shared papersRCRafael C. Cardoso8 shared papersAFAngelo Ferrando4 shared papersGKGeorgios Kourtis4 shared papersMWMatt Webster4 shared papersALAlexei Lisitsa3 shared papersAMAnastasia Mavridou3 shared papersMBMatthew Bradbury2 shared papersFPFabio Papacchini2 shared papersYGYang Gao2 shared papersCMCarsten Maple2 shared papersNMNikos Mavrakis2 shared papersHYHu Yuan2 shared papersTPTom Pressburger1 shared papersSESalih Ergün1 shared papersSLShan Luo1 shared papersATAl Tariq Sheik1 shared papers
Not generated yet