1 citations · 1 across the 3 of their papers we have counts for
4 papers
Automated Formalization of Probabilistic Requirements from Structured Natural Language
Anastasia Mavridou, Marie Farrell, Gricel Vázquez +4
Integrating autonomous and adaptive behavior into software-intensive systems presents significant challenges for software development, as uncertainties in the environment or decisi…
Towards A Catalogue of Requirement Patterns for Space Robotic Missions
Mahdi Etumi, Hazel M. Taylor, Marie Farrell
In the development of safety and mission-critical systems, including autonomous space robotic missions, complex behaviour is captured during the requirements elicitation phase. Req…
Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
Diana C. Benjumea, Marie Farrell, Louise A. Dennis
Deploying autonomous robots in safety-critical domains requires architectures that ensure operational effectiveness and safety compliance. In this paper, we contribute the Safe-ROS…
Supporting Software Formal Verification with Large Language Models: An Experimental Study
Weiqi Wang, Marie Farrell, Lucas C. Cordeiro +1
Formal methods have been employed for requirements verification for a long time. However, it is difficult to automatically derive properties from natural language requirements. Spe…