Tactics for Transformational Programming. - Rosemary Monahan; Franz Geiselbrechtinger (IWFM, 1997)

Software Refinement with Perfect Developer. - Gareth Carter; Rosemary Monahan; Joseph M. Morris (SEFM, 2005)

Reasoning about comprehensions with first-order SMT solvers. - K. Rustan M. Leino; Rosemary Monahan (SAC, 2009)

Dafny Meets the Verification Benchmarks Challenge. - K. Rustan M. Leino; Rosemary Monahan (VSTTE, 2010)

The 1st Verified Software Competition: Experience Report. - Vladimir Klebanov; Peter Müller 001; Natarajan Shankar; Gary T. Leavens; Valentin Wüstholz; Eyad Alkassar; Rob Arthan; Derek Bronish; Rod Chapman; Ernie Cohen; Mark A. Hillebrand; Bart Jacobs 002; et al. (FM, 2011)

The COST IC0701 Verification Competition 2011. - Thorsten Bormer; Marc Brockschmidt; Dino Distefano; Gidon Ernst; Jean-Christophe Filliâtre; Radu Grigore; Marieke Huisman; Vladimir Klebanov; Claude Marché; Rosemary Monahan; Wojciech Mostowski; Nadia Polikarpova; et al. (FoVeOOS, 2011)

A Simple Complexity Measurement for Software Verification and Software Testing. - Zheng Cheng; Rosemary Monahan; James F. Power (COMPARE, 2012)

On the Organisation of Program Verification Competitions. - Marieke Huisman; Vladimir Klebanov; Rosemary Monahan (COMPARE, 2012)

Metamodel Instance Generation: A systematic literature review - Hao Wu 017; Rosemary Monahan; James F. Power (CoRR, 2012)

Transforming Event B Models into Verified C# Implementations. - Dominique Méry; Rosemary Monahan (VPT@CAV, 2013)

Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. - Hao Wu 017; Rosemary Monahan; James F. Power (TASE, 2013)

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). - Dirk Beyer 001; Marieke Huisman; Vladimir Klebanov; Rosemary Monahan (Dagstuhl Reports, 2014)

A Sound Execution Semantics for ATL via Translation Validation - Research Paper. - Zheng Cheng; Rosemary Monahan; James F. Power (ICMT, 2015)

Verifying SimpleGT Transformations Using an Intermediate Verification Language. - Zheng Cheng; Rosemary Monahan; James F. Power (VOLT@STAF, 2015)

VerifyThis 2012 - A Program Verification Competition. - Marieke Huisman; Vladimir Klebanov; Rosemary Monahan (Int. J. Softw. Tools Technol. Transf., 2015)

On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. - Zheng Cheng; Dominique Méry; Rosemary Monahan (ISoLA (1), 2016)

Static and Runtime Verification, Competitors or Friends? (Track Summary). - Dilian Gurov; Klaus Havelund; Marieke Huisman; Rosemary Monahan (ISoLA (1), 2016)

Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving. - Andrew Healy; Rosemary Monahan; James F. Power (SAC, 2016)

An Institution for Event-B. - Marie Farrell; Rosemary Monahan; James F. Power (WADT, 2016)

Predicting SMT Solver Performance for Software Verification. - Andrew Healy; Rosemary Monahan; James F. Power (F-IDE@FM, 2016)

Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. - Marie Farrell; Rosemary Monahan; James F. Power (ICFEM, 2017)

Specification Clones: An Empirical Study of the Structure of Event-B Specifications. - Marie Farrell; Rosemary Monahan; James F. Power (SEFM, 2017)

VerifyThis 2015 - A program verification competition. - Marieke Huisman; Vladimir Klebanov; Rosemary Monahan; Michael Tautschnig (Int. J. Softw. Tools Technol. Transf., 2017)

Daniel Kroening and Ofer Strichman: Decision procedures - Springer Verlag, 2016, XXI, +356 ISBN 978-3-662-50496-3 (Hardback, €69, 67), http: //www.decision-procedures.org/. - Rosemary Monahan (Formal Aspects Comput., 2018)

Formalised EMFTVM bytecode language for sound verification of model transformations. - Zheng Cheng; Rosemary Monahan; James F. Power (Softw. Syst. Model., 2018)

VerifyThis 2019: A Program Verification Competition (Extended Report). - Claire Dross; Carlo A. Furia; Marieke Huisman; Rosemary Monahan; Peter Müller 001 (CoRR, 2020)

Using dafny to solve the VerifyThis 2021 challenges. - Marie Farrell; Conor Reynolds; Rosemary Monahan (FTfJP@ECOOP, 2021)

Upcycling Formal Specifications for Similar Implementations with Arís. - Kuruvilla George Aiyankovil; Rosemary Monahan; Diarmuid P. O'Donoghue (ICCBR Workshops, 2021)

Creating new Program Proofs by Combining Abductive and Deductive Reasoning. - Kuruvilla George Aiyankovil; Diarmuid P. O'Donoghue; Rosemary Monahan (ICCC, 2021)

A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements. - Matt Luckcuck; Marie Farrell; Oisín Sheridan; Rosemary Monahan (CoRR, 2021)

VerifyThis 2019: a program verification competition. - Claire Dross; Carlo A. Furia; Marieke Huisman; Rosemary Monahan; Peter Müller 001 (Int. J. Softw. Tools Technol. Transf., 2021)

Machine-Assisted Proofs for Institutions in Coq. - Conor Reynolds; Rosemary Monahan (IFM, 2022)

A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. - Oisín Sheridan; Rosemary Monahan; Matt Luckcuck (IFM, 2022)

Bebras-inspired Computational Thinking Primary School Resources Co-created by Computer Science Academics and Teachers. - Taina Lehtimäki; Rosemary Monahan; Aidan Mooney; Kevin Casey; Thomas J. Naughton (ITiCSE (1), 2022)

Towards Refactoring FRETish Requirements. - Marie Farrell; Matt Luckcuck; Oisín Sheridan; Rosemary Monahan (NFM, 2022)

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. - Marie Farrell; Matt Luckcuck; Oisín Sheridan; Rosemary Monahan (REFSQ, 2022)

A computational thinking module for secondary students and pre-service teachers using Bebras-style tasks. - Taina Lehtimäki; James Hamm; Aidan Mooney; Kevin Casey; Rosemary Monahan; Thomas J. Naughton (UKICER, 2022)

Accidental Choices - How JVM Choice and Associated Build Tools Affect Interpreter Performance. - Jonathan Lambert 002; Rosemary Monahan; Kevin Casey (Comput., 2022)

Modelling the Turtle Python library in CSP. - Dara MacConville; Marie Farrell; Matt Luckcuck; Rosemary Monahan (AREA@IJCAI-ECAI, 2022)

Building Specifications in the Event-B Institution. - Marie Farrell; Rosemary Monahan; James F. Power (Log. Methods Comput. Sci., 2022)

Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems. - Thomas Flinkow; Barak A. Pearlmutter; Rosemary Monahan (DSN-S, 2023)

Immersive Neural Network Exploration: A VR Approach to Human-Centered AI Understanding. - Medet Inkarbekov; Barak A. Pearlmutter; Rosemary Monahan (HCAIep, 2023)

A Computational Thinking Obstacle Course Based on Bebras Tasks for K-12 Schools. - Taina Lehtimäki; Rosemary Monahan; Aidan Mooney; Kevin Casey; Thomas J. Naughton (ITiCSE (1), 2023)

Computational Thinking Resources Inspired by Bebras. - Taina Lehtimäki; Rosemary Monahan; Aidan Mooney; Kevin Casey; Thomas J. Naughton (ITiCSE (2), 2023)

Building Specifications in the Event-B Institution: A Summary. - Marie Farrell; Rosemary Monahan; James F. Power (ABZ, 2023)

Repositioning Tiered HotSpot Execution Performance Relative to the Interpreter. - Jonathan Lambert 002; Kevin Casey; Rosemary Monahan (CoRR, 2023)

Visualization of AI Systems in Virtual Reality: A Comprehensive Review. - Medet Inkarbekov; Rosemary Monahan; Barak A. Pearlmutter (CoRR, 2023)

Comparing Differentiable Logics for Learning Systems: A Research Preview. - Thomas Flinkow; Barak A. Pearlmutter; Rosemary Monahan (FMAS@iFM, 2023)

CSP2Turtle: Verified Turtle Robot Plans. - Dara MacConville; Marie Farrell; Matt Luckcuck; Rosemary Monahan (Robotics, 2023)

Introduction to the Special Collection from iFM 2022. - Rosemary Monahan; Maurice H. ter Beek (Formal Aspects Comput., 2023)

Towards a Model Checker for Python: pymodcheck. - Dara MacConville; Rosemary Monahan (FTfJP@ECOOP, 2024)

Towards Correct-by-Construction Machine-Learnt Models. - Thomas Flinkow; Barak A. Pearlmutter; Rosemary Monahan (PhD@IFM, 2024)

Adventures in FRET and Specification. - Marie Farrell; Matt Luckcuck; Rosemary Monahan; Conor Reynolds; Oisín Sheridan (ISoLA (3), 2024)

Verifying UML Models Annotated with OCL Strings. - Ankit Jha; Rosemary Monahan; Hao Wu 017 (MoDELS (Companion), 2024)

FRETting and Formal Modelling: A Mechanical Lung Ventilator. - Marie Farrell; Matt Luckcuck; Rosemary Monahan; Conor Reynolds; Oisín Sheridan (ABZ, 2024)

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report. - Syed Ali Asadullah Bukhari; Thomas Flinkow; Medet Inkarbekov; Barak A. Pearlmutter; Rosemary Monahan (FMAS@iFM, 2024)

Reasoning about logical systems in the Coq proof assistant. - Conor Reynolds; Rosemary Monahan (Sci. Comput. Program., 2024)

Refining Environmental Requirements for Autonomous Driving Systems: Leveraging the FRAV Framework. - Mahwish Kundi; Faraz Ahmad; Rosemary Monahan (DSN-W, 2025)

Teaching Computational Thinking Through Active Games: Insights from Teacher Training. - Taina Lehtimäki; Eddie Costello; Kevin Casey; Aidan Mooney; Rosemary Monahan; Thomas J. Naughton (ISSEP, 2025)

Sharper Specs for Smarter Drones: Formalising Requirements with FRET. - Oisín Sheridan; Leandro Buss Becker; Marie Farrell; Matt Luckcuck; Rosemary Monahan (REFSQ, 2025)

Comparing differentiable logics for learning with logical constraints. - Thomas Flinkow; Barak A. Pearlmutter; Rosemary Monahan (Sci. Comput. Program., 2025)

A Generalised Framework for Property-Driven Machine Learning. - Thomas Flinkow; Marco Casadio; Colin Kessler; Rosemary Monahan; Ekaterina Komendantskaya (CoRR, 2025)

Formalising Software Requirements using Large Language Models. - Arshad Beg; Diarmuid P. O'Donoghue; Rosemary Monahan (CoRR, 2025)

A Short Survey on Formalising Software Requirements using Large Language Models. - Arshad Beg; Diarmuid P. O'Donoghue; Rosemary Monahan (CoRR, 2025)

Working Document - Formalising Software Requirements with Large Language Models. - Arshad Beg; Diarmuid P. O'Donoghue; Rosemary Monahan (CoRR, 2025)

Leveraging LLMs for Formal Software Requirements - Challenges and Prospects. - Arshad Beg; Diarmuid P. O'Donoghue; Rosemary Monahan (CoRR, 2025)

Selected papers from the Rigorous State-Based Methods, 7th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023. - Dominique Méry; Rosemary Monahan (Sci. Comput. Program., 2026)