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
12 items
Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
2026
Cited
0
Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
2026
Cited
0
Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
2026
Cited
0
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
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
Kevin Casey
Kevin Casey
Maynooth University
Mattias Ulbrich
Mattias Ulbrich
Karlsruhe Institute of Technology
Peter Müller
Peter Müller
ETH Zurich