Concepedia

Rosemary Monahan

RM

Statistics

Publications

13

Citations

252

H-Index

10

Active since

2002

Affiliations

National University of Ireland, Maynooth(Current)

University of Twente

Karlsruhe Institute of Technology

Rosemary Monahan is an author at National University of Ireland, Maynooth specializing in computing, computer science, and formal methods.

Publications per year

2002–2022

13

Publications

13

Reasoning about comprehensions with first-order SMT solvers

K. Rustan M. Leino, Rosemary Monahan · 2009 · 45 citations

Computing, Computer Science, Algorithms +9

VerifyThis 2012

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan · International Journal on Software Tools for Technology Transfer · 2015 · 32 citations

Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver

Hao Wu, Rosemary Monahan, James F. Power · 2013 · 24 citations

Computing, Computer Science, Formal Methods +12

Reveal: a tool to reverse engineer class diagrams

Sarah Matzko, Peter Clarke, Tanton H. Gibbs et al. · MURAL - Maynooth University Research Archive Library (National University of Ireland, Maynooth) · 2002 · 23 citations

Computing, Computer Science, Diagramming +12

The Spec# Programming System

Rosemary Monahan, K. Rustan M. Leino · Psychometrika · 2012 · 20 citations

Computing, Computer Science, Computer Systems +10

1–5 of 13