Rosemary Monahan

83 papers B 8C 4Misc 4Journal 31Unranked 32

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Evaluating LLM-Generated ACSL Annotations for Formal Verification. CoRR Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan
2026	J	`jnl`	FRET2WEST: Exploring translation between temporal logic representations. J. Object Technol. Songyan Lai, Rosemary Monahan
2026	J	`jnl`	Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics. CoRR Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan
2026	J	`jnl`	Selected papers from the Rigorous State-Based Methods, 7th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023. Sci. Comput. Program. Dominique Méry, Rosemary Monahan
2025	J	`jnl`	A Generalised Framework for Property-Driven Machine Learning. CoRR Thomas Flinkow, Marco Casadio, Colin Kessler, Rosemary Monahan, Ekaterina Komendantskaya
2025	J	`jnl`	A Short Survey on Formalising Software Requirements using Large Language Models. CoRR Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan
2025	—	`conf`	A new set of metrics for measuring the complexity of OCL expressions. STAF Workshops Ankit Jha, Rosemary Monahan, Hao Wu
2025	J	`jnl`	Adventures in FRET and Specification. CoRR Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
2025	J	`jnl`	Comparing differentiable logics for learning with logical constraints. Sci. Comput. Program. Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan
2025	J	`jnl`	Formalising Software Requirements using Large Language Models. CoRR Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan
2025	J	`jnl`	Leveraging LLMs for Formal Software Requirements - Challenges and Prospects. CoRR Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan
2025	—	`conf`	Leveraging LLMs for Formal Software Requirements: Challenges and Prospects. OVERLAY Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan
2025	—	`conf`	Refining Environmental Requirements for Autonomous Driving Systems: Leveraging the FRAV Framework. DSN-W Mahwish Kundi, Faraz Ahmad, Rosemary Monahan
2025	B	`conf`	Sharper Specs for Smarter Drones: Formalising Requirements with FRET. REFSQ Oisín Sheridan, Leandro Buss Becker, Marie Farrell, Matt Luckcuck, Rosemary Monahan
2025	—	`conf`	Teaching Computational Thinking Through Active Games: Insights from Teacher Training. ISSEP Taina Lehtimäki, Eddie Costello, Kevin Casey, Aidan Mooney, Rosemary Monahan, Thomas J. Naughton
2025	J	`jnl`	Working Document - Formalising Software Requirements with Large Language Models. CoRR Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan
2024	—	`conf`	Adventures in FRET and Specification. ISoLA (3) Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
2024	J	`jnl`	Comparing Differentiable Logics for Learning with Logical Constraints. CoRR Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan
2024	—	`conf`	Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report. FMAS@iFM Syed Ali Asadullah Bukhari, Thomas Flinkow, Medet Inkarbekov, Barak A. Pearlmutter, Rosemary Monahan
2024	C	`conf`	FRETting and Formal Modelling: A Mechanical Lung Ventilator. ABZ Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
2024	—	`ed.`	Proceedings of the 2024 Conference on Human Centred Artificial Intelligence - Education and Practice, HCAIep 2024, Naples, Italy, December 2-3, 2024 HCAIep Keith Nolan, Rosemary Monahan, Stefano Marrone, Huib Aldewereld
2024	J	`jnl`	Reasoning about logical systems in the Coq proof assistant. Sci. Comput. Program. Conor Reynolds, Rosemary Monahan
2024	—	`conf`	Towards Correct-by-Construction Machine-Learnt Models. PhD@IFM Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan
2024	—	`conf`	Towards a Model Checker for Python: pymodcheck. FTfJP@ECOOP Dara MacConville, Rosemary Monahan
2024	—	`conf`	Verifying UML Models Annotated with OCL Strings. MoDELS (Companion) Ankit Jha, Rosemary Monahan, Hao Wu
2023	—	`conf`	A Computational Thinking Obstacle Course Based on Bebras Tasks for K-12 Schools. ITiCSE (1) Taina Lehtimäki, Rosemary Monahan, Aidan Mooney, Kevin Casey, Thomas J. Naughton
2023	C	`conf`	Building Specifications in the Event-B Institution: A Summary. ABZ Marie Farrell, Rosemary Monahan, James F. Power
2023	J	`jnl`	CSP2Turtle: Verified Turtle Robot Plans. Robotics Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
2023	—	`conf`	Comparing Differentiable Logics for Learning Systems: A Research Preview. FMAS@iFM Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan
2023	—	`conf`	Computational Thinking Resources Inspired by Bebras. ITiCSE (2) Taina Lehtimäki, Rosemary Monahan, Aidan Mooney, Kevin Casey, Thomas J. Naughton
2023	—	`conf`	Immersive Neural Network Exploration: A VR Approach to Human-Centered AI Understanding. HCAIep Medet Inkarbekov, Barak A. Pearlmutter, Rosemary Monahan
2023	J	`jnl`	Introduction to the Special Collection from iFM 2022. Formal Aspects Comput. Rosemary Monahan, Maurice H. ter Beek
2023	J	`jnl`	Repositioning Tiered HotSpot Execution Performance Relative to the Interpreter. CoRR Jonathan Lambert, Kevin Casey, Rosemary Monahan
2023	—	`conf`	Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems. DSN-S Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan
2023	J	`jnl`	Visualization of AI Systems in Virtual Reality: A Comprehensive Review. CoRR Medet Inkarbekov, Rosemary Monahan, Barak A. Pearlmutter
2022	B	`conf`	A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. IFM Oisín Sheridan, Rosemary Monahan, Matt Luckcuck
2022	—	`conf`	A computational thinking module for secondary students and pre-service teachers using Bebras-style tasks. UKICER Taina Lehtimäki, James Hamm, Aidan Mooney, Kevin Casey, Rosemary Monahan, Thomas J. Naughton
2022	J	`jnl`	Accidental Choices - How JVM Choice and Associated Build Tools Affect Interpreter Performance. Comput. Jonathan Lambert, Rosemary Monahan, Kevin Casey
2022	—	`conf`	Bebras-inspired Computational Thinking Primary School Resources Co-created by Computer Science Academics and Teachers. ITiCSE (1) Taina Lehtimäki, Rosemary Monahan, Aidan Mooney, Kevin Casey, Thomas J. Naughton
2022	J	`jnl`	Building Specifications in the Event-B Institution. Log. Methods Comput. Sci. Marie Farrell, Rosemary Monahan, James F. Power
2022	B	`conf`	FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. REFSQ Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2022	B	`ed.`	Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings IFM Maurice H. ter Beek, Rosemary Monahan
2022	B	`conf`	Machine-Assisted Proofs for Institutions in Coq. IFM Conor Reynolds, Rosemary Monahan
2022	Misc	`conf`	Machine-Assisted Proofs for Institutions in Coq. TASE Conor Reynolds, Rosemary Monahan
2022	—	`conf`	Modelling the Turtle Python library in CSP. AREA@IJCAI-ECAI Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
2022	—	`conf`	Towards Refactoring FRETish Requirements. NFM Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2022	J	`jnl`	Towards Refactoring FRETish Requirements. CoRR Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2021	J	`jnl`	A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements. CoRR Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan
2021	J	`jnl`	Building Specifications in the Event-B Institution. CoRR Marie Farrell, Rosemary Monahan, James F. Power
2021	C	`conf`	Creating new Program Proofs by Combining Abductive and Deductive Reasoning. ICCC Kuruvilla George Aiyankovil, Diarmuid P. O'Donoghue, Rosemary Monahan
2021	J	`jnl`	FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller. CoRR Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2021	—	`conf`	Upcycling Formal Specifications for Similar Implementations with Arís. ICCBR Workshops Kuruvilla George Aiyankovil, Rosemary Monahan, Diarmuid P. O'Donoghue
2021	—	`conf`	Using dafny to solve the VerifyThis 2021 challenges. FTfJP@ECOOP Marie Farrell, Conor Reynolds, Rosemary Monahan
2021	J	`jnl`	VerifyThis 2019: a program verification competition. Int. J. Softw. Tools Technol. Transf. Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller
2020	J	`jnl`	VerifyThis 2019: A Program Verification Competition (Extended Report). CoRR Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller
2019	—	`ed.`	Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. F-IDE@FM Rosemary Monahan, Virgile Prevosto, José Proença
2018	J	`jnl`	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/. Formal Aspects Comput. Rosemary Monahan
2018	J	`jnl`	Formalised EMFTVM bytecode language for sound verification of model transformations. Softw. Syst. Model. Zheng Cheng, Rosemary Monahan, James F. Power
2018	—	`ed.`	Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018. F-IDE@FLoC Paolo Masci, Rosemary Monahan, Virgile Prevosto
2017	C	`conf`	Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. ICFEM Marie Farrell, Rosemary Monahan, James F. Power
2017	B	`conf`	Specification Clones: An Empirical Study of the Structure of Event-B Specifications. SEFM Marie Farrell, Rosemary Monahan, James F. Power
2017	J	`jnl`	VerifyThis 2015 - A program verification competition. Int. J. Softw. Tools Technol. Transf. Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig
2016	—	`conf`	An Institution for Event-B. WADT Marie Farrell, Rosemary Monahan, James F. Power
2016	Misc	`conf`	Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving. SAC Andrew Healy, Rosemary Monahan, James F. Power
2016	—	`conf`	On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. ISoLA (1) Zheng Cheng, Dominique Méry, Rosemary Monahan
2016	—	`conf`	Predicting SMT Solver Performance for Software Verification. F-IDE@FM Andrew Healy, Rosemary Monahan, James F. Power
2016	—	`conf`	Static and Runtime Verification, Competitors or Friends? (Track Summary). ISoLA (1) Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan
2015	—	`conf`	A Sound Execution Semantics for ATL via Translation Validation - Research Paper. ICMT Zheng Cheng, Rosemary Monahan, James F. Power
2015	—	`ed.`	Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015 FTfJP@ECOOP Rosemary Monahan
2015	J	`jnl`	VerifyThis 2012 - A Program Verification Competition. Int. J. Softw. Tools Technol. Transf. Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
2015	—	`conf`	Verifying SimpleGT Transformations Using an Intermediate Verification Language. VOLT@STAF Zheng Cheng, Rosemary Monahan, James F. Power
2014	J	`jnl`	Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). Dagstuhl Reports Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
2013	Misc	`conf`	Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. TASE Hao Wu, Rosemary Monahan, James F. Power
2013	—	`conf`	Transforming Event B Models into Verified C# Implementations. VPT@CAV Dominique Méry, Rosemary Monahan
2012	—	`conf`	A Simple Complexity Measurement for Software Verification and Software Testing. COMPARE Zheng Cheng, Rosemary Monahan, James F. Power
2012	J	`jnl`	Metamodel Instance Generation: A systematic literature review CoRR Hao Wu, Rosemary Monahan, James F. Power
2012	—	`conf`	On the Organisation of Program Verification Competitions. COMPARE Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
2011	B	`conf`	The 1st Verified Software Competition: Experience Report. FM Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, 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ß
2011	—	`conf`	The COST IC0701 Verification Competition 2011. FoVeOOS 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, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich
2010	—	`conf`	Dafny Meets the Verification Benchmarks Challenge. VSTTE K. Rustan M. Leino, Rosemary Monahan
2009	Misc	`conf`	Reasoning about comprehensions with first-order SMT solvers. SAC K. Rustan M. Leino, Rosemary Monahan
2005	B	`conf`	Software Refinement with Perfect Developer. SEFM Gareth Carter, Rosemary Monahan, Joseph M. Morris
1997	—	`conf`	Tactics for Transformational Programming. IWFM Rosemary Monahan, Franz Geiselbrechtinger