O'Donoghue, Diarmuid

1. 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)
2. 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