Postgraduate Workshop 2014
Department of Computer Science, NUI Maynooth
Wednesday, 19th
th
March 2014.
Venue: Computer Science Seminar Room.
10.00 - 11.00
Session I
Chair: Charles Markham
A Novel Attack on the Fourier Plane Encryption Algorithm
Lingfei Zhang
Verifying the Operational Correctness of ATL Transformations through a Formal Semantics for the ATL Virtual Machine
Zheng Cheng
Integrating Software Models via Refinement
Marie Farrell
11.00 - 11.30
Coffee Break - Chill
11.30 - 12.30
Session II
Chair: Stephen Brown
Real-Time Loop Closure in Dense RGB-D SLAM
Thomas Whelan
An Overview of Driver Behaviour Studies using a Purpose Built Simulator
David Kaneswaran
Improving differential evolution with ancestor vectors
Donagh Hatton
12:30 - 14:00
Lunch - Pugin Hall
14.00 - 15.00
Session III
Chair: Tom Naughton
Past, present and future: medieval philosophy and the ethics of emerging IC technologies
Brandt Dainow
An Institution for the Not-Java Programming Language
Keith Ó Dúlaigh
Mapping OCL properties in Spec#
Jagadeeswaran Thangaraj