Principles of Programming Research Group
Research | Computer Science | Maynooth University

Main Menu

Faculty

Postgrads

MU logo
Dept. of Computer Science
Maynooth University
Co. Kildare, Ireland

Principles of Programming Research Group

Funding

Current funding sources include:

Recent funding sources have included:

Recent Papers

SoSyM 2016
Formalised EMFTVM bytecode language for sound verification of model transformations

ESSLLI 2016
Modularising and Promoting Interoperability for Event-B Specifications using Institution Theory

SAC 2016
Evaluating the Use of a General-Purpose Benchmark Suite for Domain-Specific SMT-solving

ICMT 2015
A sound execution semantics for ATL via translation validation

C3GI 2014
Creating Formal Specifications with Analogical Reasoning

CiE 2014
An early completion algorithm: Thue's 1914 paper on the transformation of symbol sequences