Marie Farrell

Area of research

Computational Theory and Mathematics · Software

Research interest

Research interests include Formal Methods in Verification, Advanced Software Engineering Methodologies, Software Testing and Debugging Techniques, and Safety Systems Engineering in Autonomy.

h-index

citations

624

works

NIH funding

—

primary concept

—

✉ Find email ↗

Recent publications

Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems

Open Research Europe 2023cited by 2position: middledoi

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —

Communications in computer and information science 2021cited by 2position: middledoi

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys 2019cited by 259position: middledoi

Grants

No grants ingested yet.

Frequent collaborators

Peter Csaba Ölveczky · University of Oslo1 papers (2021–2021)— · 1 papers (2021–2021)Markus Roggenbach · Swansea University1 papers (2021–2021)— · 1 papers (2021–2021)— · 1 papers (2023–2023)— · 1 papers (2021–2021)Casey Denner · Swansea University1 papers (2021–2021)Emanuele Mingozzi · University of Ferrara1 papers (2023–2023)— · 1 papers (2023–2023)Clare Dixon · Sussex Partnership NHS Foundation Trust1 papers (2019–2019)— · 1 papers (2021–2021)Bernd–Holger Schlingloff · Fraunhofer Institute for Open Communication Systems1 papers (2021–2021)— · 1 papers (2021–2021)— · 1 papers (2023–2023)— · 1 papers (2023–2023)Louise A. Dennis · University of Manchester1 papers (2019–2019)— · 1 papers (2021–2021)— · 1 papers (2023–2023)— · 1 papers (2021–2021)— · 1 papers (2023–2023)