A Model Driven Approach for Refactoring Heterogeneous Software Artefacts, Keith Ó Dúlaigh, MSc. Thesis, Dept. of Computer Science, Maynooth University, February 2016.
Keith's research was focused on formal approaches to modularity in software metrics and refactoring.
Formal Verification of Relational Model Transformations using an Intermediate Verification Language, Zheng Cheng, PhD. Thesis, Dept. of Computer Science, Maynooth University, September 2015.
Zheng worked on verifying transformations, a topic at the intersection between compilers, software language engineering and program verification. He developed a framework for transformation verification based on the Boogie ecosystem (developed by the RiSE group at Microsoft Research).
Adding Ownership Constraints to OCL to automatically generate Spec# skeletons, Jagadeeswaran Thangaraj, MSc. Thesis, Dept. of Computer Science, Maynooth University, August 2015.
Jagadeeswaran worked on adding ownership constraints to the link between OCL and Spec#.
Automated Metamodel Instance Generation Satisfying Quantitative Constraints, Hao Wu, PhD. Thesis, Dept. of Computer Science, NUI Maynooth, October, 2013.
Hao has developed a system to automatically generate models from a metamodel (a little like the Alloy model-finder). Hao's system allows for the specification of quantitative constraints (e.g. for metrics and coverage), and he uses a SAT solver as the generation engine.
Using Model Driven Engineering to Reliably Automate the Measurement of Object-Oriented Software, Jacqueline A. McQuillan, PhD. Thesis, Dept. of Computer Science, NUI Maynooth, March, 2011.
Jacqueline investigated quantitative aspects of UML-based approaches to software testing, with applications to software metrics.
A test-driven development strategy for the construction of grammar-based software, Mark Hennessy, PhD. Thesis, Dept. of Computer Science, NUI Maynooth, October, 2006.
Mark worked in programming language technology, with particular emphasis on GLR parsing and source code analysis and representation through XML.
An Empirical Study of Run-Time Coupling and Cohesion Software Metrics, Áine Mitchell, PhD. Thesis, Dept. of Computer Science, NUI Maynooth, October, 2005.
Áine worked on the definition and evaluation of run-time object-oriented software metrics, particularly coupling and cohesion.
Support tools for Object Oriented Software, Gareth Carter, MSc. Thesis, Dept. of Computer Science, NUI Maynooth, July 2005.
Gareth investigated tool support for Object Oriented software development, including Perfect Developer, JML and ESC/Java.
Formalised EMFTVM bytecode language for sound verification of model transformations
Modularising and Promoting Interoperability for Event-B Specifications using Institution Theory
Evaluating the Use of a General-Purpose Benchmark Suite for Domain-Specific SMT-solving
A sound execution semantics for ATL via translation validation
Creating Formal Specifications with Analogical Reasoning
An early completion algorithm: Thue's 1914 paper on the transformation of symbol sequences