28 citations · 92 across the 14 of their papers we have counts for
14 papers
Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan
Artificial intelligence systems have achieved remarkable capability in natural language processing, perception and decision-making tasks. However, their behaviour often remains opa…
Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan
Reusing verification artefacts requires identifying structural and semantic similarities across programs and their specifications. In this paper, we focus on graph construction as…
Visualization of AI Systems in Virtual Reality: A Comprehensive Review
Medet Inkarbekov, Rosemary Monahan, Barak A. Pearlmutter
This study provides a comprehensive review of the utilization of Virtual Reality (VR) for visualizing Artificial Intelligence (AI) systems, drawing on 18 selected studies. The resu…
Repositioning Tiered HotSpot Execution Performance Relative to the Interpreter
Jonathan Lambert, Kevin Casey, Rosemary Monahan
Although the advantages of just-in-time compilation over traditional interpretive execution are widely recognised, there needs to be more current research investigating and reposit…
Modelling the Turtle Python library in CSP
Dara MacConville, Marie Farrell, Matt Luckcuck +1
Software verification is an important tool in establishing the reliability of critical systems. One potential area of application is in the field of robotics, as robots take on mor…
Towards Refactoring FRETish Requirements
Marie Farrell, Matt Luckcuck, Oisin Sheridan +1
Like software, requirements evolve and change frequently during the development process. Refactoring is the process of reorganising software without changing its behaviour, to make…
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
Marie Farrell, Matt Luckcuck, Oisin Sheridan +1
[Context & motivation] Eliciting requirements that are detailed and logical enough to be amenable to formal verification is a difficult task. Multiple tools exist for requirements…
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements
Matt Luckcuck, Marie Farrell, Oisín Sheridan +1
Verification of complex, safety-critical systems is a significant challenge. Manual testing and simulations are often used, but are only capable of exploring a subset of the system…
Building Specifications in the Event-B Institution
Marie Farrell, Rosemary Monahan, James F. Power
This paper describes a formal semantics for the Event-B specification language using the theory of institutions. We define an institution for Event-B, EVT, and prove that it meets…
VerifyThis 2019: A Program Verification Competition (Extended Report)
Claire Dross, Carlo A. Furia, Marieke Huisman +2
VerifyThis is a series of program verification competitions that emphasize the human aspect: participants tackle the verification of detailed behavioral properties -- something tha…
Proceedings Fifth Workshop on Formal Integrated Development Environment
Rosemary Monahan, Virgile Prevosto, Jose Proença
This volume contains the proceedings of F-IDE 2019, the fifth international workshop on Formal Integrated Development Environment, which was held on October 7, 2019 in Porto, Portu…
Proceedings 4th Workshop on Formal Integrated Development Environment
Paolo Masci, Rosemary Monahan, Virgile Prevosto
This volume contains the proceedings of F-IDE 2018, the fourth international workshop on Formal Integrated Development Environment, which was held as a FLoC 2018 satellite event, o…
Predicting SMT Solver Performance for Software Verification
Andrew Healy, Rosemary Monahan, James F. Power
The Why3 IDE and verification system facilitates the use of a wide range of Satisfiability Modulo Theories (SMT) solvers through a driver-based architecture. We present Where4: a p…
Metamodel Instance Generation: A systematic literature review
Hao Wu, Rosemary Monahan, James F. Power
Modelling and thus metamodelling have become increasingly important in Software Engineering through the use of Model Driven Engineering. In this paper we present a systematic liter…