Design Projects

This webpage holds a list of available, in progress and completed Design projects at FMT. If you are interested in carrying out a MSc assignment at the FMT group, please contact dr. Marieke Huisman, the study advisor of FMT.

Available

A (web browser-)window on the world of safety and reliability (contact: dr. S. Schivo & Prof.dr. M.I.A. Stoelinga)
A Graphical User Interface for LTSmin (contact: J.J.G. Meijer MSc & prof.dr. J.C. van de Pol)
A Testing Framework for a Tool Set for Program Verification (contact: prof.dr. M. Huisman & W.H.M. Oortwijn MSc)
Compiled graph transformation (contact: prof.dr.ir. A. Rensink)
Graph Animation (contact: prof.dr.ir. A. Rensink)
Graphical Modelling of Dynamic Fault Trees (contact: D. Guck MSc & Prof.dr. M.I.A. Stoelinga & Dr. E.J.J. Ruijters)
Improving the Maintainability of a Verification Toolset (contact: prof.dr. M. Huisman & W.H.M. Oortwijn MSc)

Completed

Quiz Application - Remco de Man, Lukas Miedema, Ömer Şakar, Melcher Stikkelorum (Apr 2017)
Graphter Effects - Ron van Bree, Lindsay Kemper, Sven Konings, Hans van der Laan, Pim van Leeuwen (Apr 2017)
Wat een Les - Erik Kemp, Eva van den Eijnden, Jip Spel, Twan Coenraad (Jun 2015)
OV Pong - Alexander Drechsel, Sander Vlutters, Stanley Huang, Henley Ding, Jeffrey Steen (Jan 2014)