Get started
Author

Rosemary Monahan

The 1st Verified Software Competition: Experience Report
2011 · Vladimir Klebanov, Peter Müller, et al. · Lecture notes in computer science · 87
Reasoning about comprehensions with first-order SMT solvers
2009 · K. Rustan M. Leino, Rosemary Monahan · ACM Symposium on Applied Computing · 50
VerifyThis 2012: A Program Verification Competition
2015 · Marieke Huisman, Vladimir Klebanov, et al. · International Journal on Software Tools for Technology Transfer · 34
FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller
2022 · Marie Farrell, Matt Luckcuck, et al. · Lecture notes in computer science · 33
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016 · Cheng, Zheng, Mery, Dominique, et al. · Lecture notes in computer science · 33
The COST IC0701 Verification Competition 2011
2012 · Thorsten Bormer, Marc Brockschmidt, et al. · Lecture notes in computer science · 33
VerifyThis 2017 : A Program Verification Competition
2017 · Huisman, Marieke, Monahan, Rosemary, et al. · Repository KITopen (Karlsruhe Institute of Technology) · 32
Dafny Meets the Verification Benchmarks Challenge
2010 · K. Rustan M. Leino, Rosemary Monahan · Lecture notes in computer science · 29
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver
2013 · Hao Wu, Rosemary Monahan, et al. · International Symposium on Theoretical Aspects of Software Engineering (TASE) · 28
Power Consumption Profiling of a Lightweight Development Board: Sensing with the INA219 and Teensy 4.0 Microcontroller
2021 · Jonathan Lambert, Rosemary Monahan, et al. · Electronics · 24
PDF
Visualization of AI Systems in Virtual Reality: A Comprehensive Review
2023 · Medet Inkarbekov, Rosemary Monahan, et al. · International Journal of Advanced Computer Science and Applications · 23
PDF
Reveal: A Tool toReverse Engineer Class Diagrams
2002 · Sarah Matzko, Peter Clarke, et al. · Maynooth University ePrints and eTheses Archive (Maynooth University) · 23
PDF
Comparing differentiable logics for learning with logical constraints
2025 · Thomas Flinkow, Barak A. Pearlmutter, et al. · Science of Computer Programming · 20
The Spec# Programming System
2012 · Rosemary Monahan, K. Rustan M. Leino · 20
A Sound Execution Semantics for ATL via Translation Validation
2015 · Zheng Cheng, Rosemary Monahan, et al. · Lecture notes in computer science · 19
VerifyThis 2019: a program verification competition
2021 · Claire Dross, Carlo A Furia, et al. · International Journal on Software Tools for Technology Transfer · 18
PDF
Automatic verification of textbook programs that usecomprehensions
2007 · K. Rustan M. Leino, Rosemary Monahan · Maynooth University ePrints and eTheses Archive (Maynooth University) · 17
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)
2014 · Beyer, Dirk, Huisman, Marieke, et al. · Maynooth University ePrints and eTheses Archive (Maynooth University) · 16
PDF
Predicting SMT Solver Performance for Software Verification
2016 · Healy, Andrew, Monahan, Rosemary, et al. · Maynooth University ePrints and eTheses Archive (Maynooth University) · 15
PDF
Metamodel Instance Generation: A systematic literature review
2012 · Wu, Hao, Monahan, Rosemary, et al. · Maynooth University ePrints and eTheses Archive (Maynooth University) · 15
PDF
Bebras-inspired Computational Thinking Primary School Resources Co-created by Computer Science Academics and Teachers
2022 · Taina Lehtimäki, Rosemary Monahan, et al. · ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE) · 14
Towards Refactoring FRETish Requirements
2022 · Marie Farrell, Matt Luckcuck, et al. · Lecture notes in computer science · 14
PDF
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements
2022 · Matt Luckcuck, Marie Farrell, et al. · IEEE Aerospace Conference (AERO) · 13
PDF
Software refinement with Perfect Developer
2005 · G. Carter, R. Monahan, et al. · IEEE International Conference on Software Engineering and Formal Methods (SEFM) · 13
Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
2025 · Beg, Arshad, O'Donoghue, Diarmuid, et al. · arXiv (Cornell University) · 10
PDF
Works count: 132
Citation count: 827
H-index: 17
I10-index: 28
Year
Topic
Type