Research output per year
Research output per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Fingerprint
Dive into the research topics where Marie Farrell is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Defining Contracts for Autonomous Hybrid Systems in Structured Natural Language
Adelt, J., Farrell, M., Herber, P., Luckcuck, M. & Monahan, R., 25 Feb 2025, (Accepted/In press) Festschrift: Martin Franzle. Springer ChamResearch output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
2 Downloads (Pure) -
Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study
Taylor, H., Luckuck, M., Farrell, M., Jay, C., Cangelosi, A. & Dennis, L., 15 Jan 2025, (Accepted/In press) Requirements Engineering: Foundation for Software Quality (REFSQ) 2025.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
Quantitative Operational Monitoring for BDI Agents
Farrell, M., Ferrando, A. & Xu, M., 23 May 2025, International Conference on Autonomous Agents and Multiagent Systems. Association for Computing MachineryResearch output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
2 Downloads (Pure) -
Sharper Specs for Smarter Drones: Formalising Requirements with FRET
Sheridan, O., Buss Becker, L., Farrell, M., Luckcuck, M. & Monahan, R., 25 Feb 2025, (Accepted/In press) International Conference on Requirements Engineering: Foundation for Software Quality. Springer ChamResearch output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
Adventures in FRET and Specification
Farrell, M., Luckcuck, M., Monahan, R., Reynolds, C. & Sheridan, O., 30 Oct 2024, International Symposium on Leveraging Applications of Formal Methods. Springer Cham, (Lecture Notes in Computer Science; vol. 15221).Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile
Prizes
-
Outstanding Contributions to the Development of IEEE Standard 7009-2024
Farrell, M. (Recipient), 2024
Prize: Prize (including medals and awards)
Activities
-
Strong Software Reliability for Autonomous Space Robotics
Farrell, M. (Speaker)
31 Mar 2023Activity: Talk or presentation › Invited talk › Research
-
Autonomous Robots (Journal)
Farrell, M. (Assistant editor)
15 Feb 2023Activity: Publication peer-review and editorial work › Publication peer-review › Research
-
NASA Formal Methods Symposium (Event)
Farrell, M. (Programme Committee Member)
2023Activity: Publication peer-review and editorial work › Publication peer-review › Research
-
International Conference on Rigorous State-Based Methods (Event)
Farrell, M. (Programme Committee Member)
2023 → …Activity: Publication peer-review and editorial work › Publication peer-review › Research
-
International Conference on Integrated Formal Methods (Event)
Farrell, M. (Programme Committee Member)
2023Activity: Publication peer-review and editorial work › Publication peer-review › Research