Scholar
Rosemary Monahan
Google Scholar ID: oPrADWYAAAAJ
National Univeristy of Ireland
Formal Methods
Verification
Specification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
433
H-index
11
i10-index
16
Publications
20
Co-authors
52
list available
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
Load more
Co-authors
11 total
Marie Farrell
The University of Manchester
Marieke Huisman
Unknown affiliation
Kevin Casey
Maynooth University
Mattias Ulbrich
Karlsruhe Institute of Technology
Peter Müller
ETH Zurich
Barak A. Pearlmutter
Dept of Computer Science, Maynooth University
Nadia Polikarpova
UCSD
Diarmuid P. O'Donoghue
Maynooth University
