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.


A (web browser-)window on the world of safety and reliability (contact: dr. S. Schivo & 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: A. Rensink)
Graph Animation (contact: A. Rensink)
Graphical Modelling of Dynamic Fault Trees (contact: D. Guck MSc & dr. M.I.A. Stoelinga & E.J.J. Ruijters MSc)
Improving the Maintainability of a Verification Toolset (contact: prof.dr. M. Huisman & W.H.M. Oortwijn MSc)
Interactieve Proces Transformator (contact: prof.dr. J.C. van de Pol)
Modeling of Energy Autonomous Systems: Video Decoding Application (Joint with (contact: W. Ahmad MSc & dr. M.I.A. Stoelinga & prof.dr. J.C. van de Pol)


Quiz Application - Remco de Man, Lukas Miedema, Omar Sakar, Melcher Stikkelorum (Apr 2017)
OV Pong - Alexander Drechsel, Sander Vlutters, Stanley Huang, Henley Ding, Jeffrey Steen (Jan 2014)