Formalizing the Institution for Event-B in the Coq Proof Assistant. - Conor Reynolds (ABZ, 2021)

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

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

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

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

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