Monahan, Rosemary

1. FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
   2021/12/08 by Farrell, Marie, Luckcuck, Matt, Sheridan, Oisin +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)
2. Repositioning Tiered HotSpot Execution Performance Relative to the Interpreter
   2023/04/13 by Jonathan Lambert, Kevin Casey, Lambert, Jonathan +3 · 1 citation
   Computer Science · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Performance (cs.PF) #Programming Languages (cs.PL) #Software System Performance and Reliability
3. Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
   2025/07/18 by Arshad Beg, Beg, Arshad, Diarmuid O’Donoghue +3 · 2 citations
   Computer Science · Engineering · #D.2.1 #D.2.10 #D.2.4 #F.4.1 #F.4.3 #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE)
4. A Short Survey on Formalising Software Requirements using Large Language Models
   2025/06/13 by Arshad Beg, Beg, Arshad, Diarmuid O’Donoghue +3 · 3 citations
   Computer Science · #D.2.1 #D.2.10 #D.2.4 #F.4.1 #F.4.3 #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software System Performance and Reliability