Rosemary Monahan
Scholar

Rosemary Monahan

Google Scholar ID: oPrADWYAAAAJ
National Univeristy of Ireland
Formal MethodsVerificationSpecification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
433
 
H-index
11
 
i10-index
16
 
Publications
20
 
Co-authors
52
list available
Contact
No contact links provided.
Publications
9 items
Evaluating LLM-Generated ACSL Annotations for Formal Verification
2026
Cited
0
Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
2026
Cited
0
Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
2025
Cited
0
ACM Survey Draft on Formalising Software Requirements with Large Language Models
2025
Cited
0
A Short Survey on Formalising Software Requirements using Large Language Models
2025
Cited
0
Formalising Software Requirements using Large Language Models
2025
Cited
0
A Generalised Framework for Property-Driven Machine Learning
2025
Cited
1
Adventures in FRET and Specification
Leveraging Applications of Formal Methods · 2025
Cited
0
Resume (English only)
Co-authors
52 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Marie Farrell
Marie Farrell
The University of Manchester
Marieke Huisman
Marieke Huisman
Unknown affiliation
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Mattias Ulbrich
Mattias Ulbrich
Karlsruhe Institute of Technology
Peter Müller
Peter Müller
ETH Zurich