| 2025 | DSN | Refining Environmental Requirements for Autonomous Driving Systems: Leveraging the FRAV Framework. | Mahwish Kundi, Faraz Ahmad, Rosemary Monahan |
| 2025 | REFSQ | Sharper Specs for Smarter Drones: Formalising Requirements with FRET. | Oisn Sheridan, Leandro Buss Becker, Marie Farrell, Matt Luckcuck, Rosemary Monahan |
| 2024 | FTfJP | Towards a Model Checker for Python: pymodcheck. | Dara MacConville, Rosemary Monahan |
| 2024 | IFM | Towards Correct-by-Construction Machine-Learnt Models. | Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan |
| 2024 | ISoLA | Adventures in FRET and Specification. | Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisn Sheridan |
| 2024 | MODELS | Verifying UML Models Annotated with OCL Strings. | Ankit Jha, Rosemary Monahan, Hao Wu |
| 2023 | DSN | Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems. | Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan |
| 2023 | ITiCSE | A Computational Thinking Obstacle Course Based on Bebras Tasks for K-12 Schools. | Taina Lehtimki, Rosemary Monahan, Aidan Mooney, Kevin Casey, Thomas J. Naughton |
| 2023 | ITiCSE | Computational Thinking Resources Inspired by Bebras. | Taina Lehtimki, Rosemary Monahan, Aidan Mooney, Kevin Casey, Thomas J. Naughton |
| 2022 | IFM | Machine-Assisted Proofs for Institutions in Coq. | Conor Reynolds, Rosemary Monahan |
| 2022 | IFM | A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. | Oisn Sheridan, Rosemary Monahan, Matt Luckcuck |
| 2022 | ITiCSE | Bebras-inspired Computational Thinking Primary School Resources Co-created by Computer Science Academics and Teachers. | Taina Lehtimki, Rosemary Monahan, Aidan Mooney, Kevin Casey, Thomas J. Naughton |
| 2022 | REFSQ | FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. | Marie Farrell, Matt Luckcuck, Oisn Sheridan, Rosemary Monahan |
| 2022 | TASE | Machine-Assisted Proofs for Institutions in Coq. | Conor Reynolds, Rosemary Monahan |
| 2021 | ECOOP | Using dafny to solve the VerifyThis 2021 challenges. | Marie Farrell, Conor Reynolds, Rosemary Monahan |
| 2021 | ICCBR | Upcycling Formal Specifications for Similar Implementations with Ars. | Kuruvilla George Aiyankovil, Rosemary Monahan, Diarmuid P. O'Donoghue |
| 2017 | ICFEM | Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. | Marie Farrell, Rosemary Monahan, James F. Power |
| 2017 | SEFM | Specification Clones: An Empirical Study of the Structure of Event-B Specifications. | Marie Farrell, Rosemary Monahan, James F. Power |
| 2016 | ISoLA | On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. | Zheng Cheng, Dominique Mry, Rosemary Monahan |
| 2016 | ISoLA | Static and Runtime Verification, Competitors or Friends? (Track Summary). | Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan |
| 2016 | SAC | Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving. | Andrew Healy, Rosemary Monahan, James F. Power |
| 2013 | CAV | Transforming Event B Models into Verified C# Implementations. | Dominique Mry, Rosemary Monahan |
| 2013 | TASE | Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. | Hao Wu, Rosemary Monahan, James F. Power |
| 2012 | CADE | A Simple Complexity Measurement for Software Verification and Software Testing. | Zheng Cheng, Rosemary Monahan, James F. Power |
| 2012 | CADE | On the Organisation of Program Verification Competitions. | Marieke Huisman, Vladimir Klebanov, Rosemary Monahan |
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Wei |
| 2009 | SAC | Reasoning about comprehensions with first-order SMT solvers. | K. Rustan M. Leino, Rosemary Monahan |
| 2005 | SEFM | Software Refinement with Perfect Developer. | Gareth Carter, Rosemary Monahan, Joseph M. Morris |