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.


TNO (prof.dr. M. Huisman, M. de Jonge)
Movares - model-based risk analysis for train systems (Prof.dr. M.I.A. Stoelinga)
Axini - various assignments (Prof.dr. M.I.A. Stoelinga, ir. H.M. van der Bijl)
Design-by-contract at TriMM (Dutch Interactive Award, 2014) (Prof.dr. M.I.A. Stoelinga)
aicas - Rule Driven Transformer ( A. Rensink)
Ortec Finance (M. Seijbel, prof.dr. M. Huisman)
StreamComputing (prof.dr. M. Huisman, V. Hindriksen)
model-based testing & more at Nedap ( A. Rensink, Prof.dr. M.I.A. Stoelinga)
OVSoftware (prof.dr. M. Huisman, Wouter Kosterbok (OVSoftware))
Testprotocol ontwikkelen voor de elektrische fiets (Prof.dr. M.I.A. Stoelinga)
An Application with GUI Implementation for Automatic ANT File Creation for Model Transformations (B.M. Yildiz)
Better maintenance of trains with model checking (Prof.dr. M.I.A. Stoelinga)
Moneybird - Diverse Software/Data opdrachten (prof.dr. J.C. van de Pol, V. Bloemen, Jorieke Levink)
Early effort estimation@SIG (M. Zaharieva-Stojanovski, prof.dr. M. Huisman)
Software & auto’s: hoe gaan we om met frequente software-updates en veiligheid? (Prof.dr. M.I.A. Stoelinga)


Richard Heijblom - NRG group - Risk assessment for software components


Jeroen Vonk - Test guidance for the Nedap test automation tool (November 2014)
Maryam Haji Ghasemi - Constant Reduced Decision Diagrams in Meddly (August 2014)
Vincent Bloemen - Extending the Finite Domain Solver of GNU Prolog (May 2014)
Dennis Windhouwer - Efficient Database Auditing - an Entity Reversion (April 2014)
Freark van der Berg - Qualcomm - Programming Models for Heterogeneous Multi-Core Architectures (December 2012)
Jeroen Meijer - Model-based System Testing in Practice (June 2012)
Bjorn Postema - A Model For Investment Strategies On Datacenters (May 2012)
Ronald Burgman - MONOIDICS & INFER (August 2011)
Lesley Wevers - Rooted Graph Programs (July 2011)
Harold Bruintjes - - API-definitie voor een verzameling web services (July 2011)