10 citations · 28 across the 4 of their papers we have counts for
4 papers
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…
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…
Thue's 1914 paper: a translation
James F. Power
This paper includes notes to accompany a reading of Thue's 1914 paper "Probleme uber Veranderungen von Zeichenreihen nach gegebenen Reglen", along with a translation of that paper.…
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…