• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box, Deparment of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Student theses

A data-driven approach for generating insights into software development

Author: Rexhepi, N., 25 Sep 2017

Supervisor: Kaymak, U. (Supervisor 1), Wilbik, A. (Supervisor 2), Serebrenik, A. (Supervisor 2), Geritz, E. (External person) (External coach) & Kabel, M. (External person) (External coach)

Student thesis: Master

File

A model based approach and tool support for software process audit on software product quality in automotive domain

Author: Tummalapalli B.N.V.V., K., 30 Aug 2018

Supervisor: Barosan, I. (Supervisor 1) & Luo, Y. (Supervisor 2)

Student thesis: Master

An adaptive and scrutable math tutoring system

Author: van Lankveld, G., 31 Aug 2017

Supervisor: Stash, N. (Supervisor 1), De Bra, P. (Supervisor 2) & Huizing, C. (Supervisor 2)

Student thesis: Master

File

An IoT framework for sharing data in the TU/e smart grid

Author: Stanimir, S., 30 Sep 2019

Supervisor: Redegeld, J. (Supervisor 1), Cuijpers, P. (Supervisor 2) & Dajsuren, Y. (Supervisor 2)

Student thesis: Master

File

Applying state machine learning at ASML

Author: Premchand, J., 29 Oct 2018

Supervisor: Voeten, J. (Supervisor 1), Schiffelers, R. (Supervisor 2) & Hendriks, D. (External coach)

Student thesis: Master

File

Artifact-centric log extraction for cloud systems

Author: Santana Calvo, H., 27 Nov 2017

Supervisor: Fahland, D. (Supervisor 1), Serebrenik, A. (Supervisor 2) & Fletcher, G. (Supervisor 2)

Student thesis: Master

File

Automatically testing semantics preservation in SLCO to Java transformation

Author: Wiłkowski, M., 26 Nov 2019

Supervisor: Wijs, A. (Supervisor 1)

Student thesis: Master

File

Automatic code modernization with Rascal

Author: Liu, T., 29 Oct 2018

Supervisor: van den Brand, M. (Supervisor 1), Schuts, M. (External coach) & Schmaltz, J. (Supervisor 2)

Student thesis: Master

File

Bank transaction minimization

Author: Salomé, D., 31 Aug 2017

Supervisor: Nederlof, J. (Supervisor 1) & Verhoeff, T. (Supervisor 2)

Student thesis: Bachelor

File

Bottleneck analysis in large-scale component-based software systems

Author: Wang, H., 30 Sep 2019

Supervisor: Voeten, J. (Supervisor 1), Jonk, R. (Supervisor 2) & Schiffelers, R. (Supervisor 2)

Student thesis: Master

File

Combining model learning results for interface protocol inference

Author: Yang, N., 23 Apr 2018

Supervisor: Serebrenik, A. (Supervisor 1), Schiffelers, R. (Supervisor 2) & Aslam, K. (Supervisor 2)

Student thesis: Master

File

Configuration of ambient environments by speech

Author: Wielinga, N., 25 Jun 2018

Supervisor: van den Brand, M. (Supervisor 1), Ozcelebi, T. (Supervisor 2), Barosan, I. (Supervisor 2) & van Rossum, A. (External person) (External coach)

Student thesis: Master

File

Credential sharing based on Hotspot 2.0 release 2 specification

Author: Tan, H., 31 Aug 2017

Supervisor: Jarnikov, D. (Supervisor 1), Lukkien, J. (Supervisor 2) & Serebrenik, A. (Supervisor 2)

Student thesis: Master

File

Defining a conversion layer between SysML models and Unity

Author: van der Heijden, J. J., 16 Dec 2019

Supervisor: van den Brand, M. G. (Supervisor 1), Barosan, I. (Supervisor 2) & van de Wetering, H. M. (Supervisor 2)

Student thesis: Master

File

Defining a functional specification language in the metrology domain

Author: van Zanten, A., 27 May 2019

Supervisor: van den Brand, M. (Supervisor 1), Adyanthaya, S. (External coach) & Schiffelers, R. (External coach)

Student thesis: Master

File

Design of a track detection algorithm for a driverless formula student racing car

Author: van der Smagt, T., 23 Apr 2019

Supervisor: van de Molengraft, R. (Supervisor 1), Dubbelman, G. (Supervisor 2) & Barosan, I. (Supervisor 2)

Student thesis: Master

Efficient identification of abnormal behavior in complex systems by using dependence matrices

Author: Ni, J., 28 Oct 2019

Supervisor: Verhoeff, T. (Supervisor 1)

Student thesis: Master

Extending Dafny to concurrency: Owicki-Gries style program verification for the Dafny program verifier

Author: Denissen, P., 27 Nov 2017

Supervisor: Kuiper, R. (Supervisor 1) & Huizing, C. (Supervisor 2)

Student thesis: Master

File

Extending tree pattern matching for application to peephole optimizations

Author: van Oirschot, J., 29 Apr 2019

Supervisor: Corporaal, H. (Supervisor 1), Jordans, R. (Supervisor 2), Cleophas, L. (Supervisor 2) & Lopes, N. (External person) (External coach)

Student thesis: Master

File

First-time-right IT project delivery practices

Author: Mothukuru, V., 26 Nov 2018

Supervisor: Kusters, R. (Supervisor 1), Trienekens, J. (Supervisor 2), van Gills, A. (External person) (External coach), Garstka, K. (External person) (External coach) & van den Brand, M. (Supervisor 2)

Student thesis: Master

File

Formalization of the ISO 26262 standard

Author: van den Brand, D., 17 Dec 2018

Supervisor: van den Brand, M. (Supervisor 1), Khabbaz Saberi, A. (Supervisor 2), Lukkien, J. (Supervisor 2) & Barosan, I. (Supervisor 2)

Student thesis: Master

File

Functional safety analysis and safety pattern application on i-CAVE

Author: Rood, N., 25 Nov 2019

Supervisor: van den Brand, M. G. (Supervisor 1), Kochanthara, S. (Supervisor 2) & Cleophas, L. G. (Supervisor 2)

Student thesis: Master

File

Graph-based approach to managing model relationships

Author: Hay, J., 30 Aug 2019

Supervisor: van den Brand, M. (Supervisor 1) & Silva Torres, W. (Supervisor 2)

Student thesis: Master

File

Improving maintenance of templates

Author: Fortuin, M., 26 Feb 2018

Supervisor: van den Brand, M. (Supervisor 1)

Student thesis: Master

File

Investigation of model based adaptive cyber physical system for autonomous trucks

Author: Santhosh , 16 Dec 2019

Supervisor: Barosan, I. (Supervisor 1), Goswami, D. (Supervisor 2) & Verhoeven, P. (. (Supervisor 2)

Student thesis: Master

Learning software behavior through active automata learning with data

Author: Sanchez, L., 31 Aug 2018

Supervisor: Groote, J. (Supervisor 1), Swaving, A. (External person) (External coach) & Schiffelers, R. (Supervisor 2)

Student thesis: Master

File

Making QVTo transformations more understandable

Author: Yu, T., 25 Feb 2019

Supervisor: van den Brand, M. (Supervisor 1), Schiffelers, R. (Supervisor 2) & Voeten, J. (Supervisor 2)

Student thesis: Master

File

Model analytics for ASML's data and control modeling languages

Author: Suresh, A., 17 Dec 2018

Supervisor: Cleophas, L. (Supervisor 1)

Student thesis: Master

File

Model checking using multiple GPUs

Author: Qi, Y., 17 Dec 2018

Supervisor: Wijs, A. (Supervisor 1)

Student thesis: Master

File

Modeling driving behaviors for automotive simulation environment

Author: Fu, Y., 26 Nov 2018

Supervisor: Luo, Y. (Supervisor 1), Barosan, I. (Supervisor 2) & Hamilton, M. (External coach)

Student thesis: Master

File

Multi-core datapath contention modelling

Author: Tang, X., 25 Sep 2017

Supervisor: Basten, T. (Supervisor 1), Somers, L. (External coach), Bijlsma, T. (External person) (External coach) & Hendriks, M. (External person) (External coach)

Student thesis: Master

File

Parallel term rewriting on GPUs

Author: van Eerd, J., 30 Sep 2019

Supervisor: Groote, J. F. (Supervisor 1), Wijs, A. (Supervisor 2) & Hijma, P. (Supervisor 2)

Student thesis: Master

File

Re-engineering the re-engineering process

Author: Yankov, A., 29 Jan 2018

Supervisor: van den Brand, M. (Supervisor 1), Luo, Y. (Supervisor 2), Hamilton, M. (Supervisor 2) & Sidorova, N. (Supervisor 2)

Student thesis: Master

File

SLAM-based localization algorithms for automated vehicles in indoor environments: with open-source modules available in ROS

Author: Forno, S., 31 Aug 2018

Supervisor: van den Brand, M. (Supervisor 1), Barosan, I. (Supervisor 2), Dubbelman, G. (Supervisor 2) & Hatzenbühler, J. (External person) (External coach)

Student thesis: Master

Statistical model validation for Linux multicore schedule prediction

Author: Kirathamoorthy, A., 23 Apr 2018

Supervisor: Voeten, J. (Supervisor 1), Schiffelers, R. (Supervisor 2), Ozcelebi, T. (Supervisor 2) & Jonk, R. (Supervisor 2)

Student thesis: Master

File

The discovery of bottlenecks within the BIM design process by using process mining: the concept of process mining in combination with BIM models in the design phase of construction projects

Author: van der Graaf, C., 31 Oct 2017

Supervisor: de Vries, B. (Supervisor 1), Beetz, J. (Supervisor 2), Verhoeff, T. (Supervisor 2), Imbrechts, P. (External person) (External coach) & Malvar, V. (External person) (External coach)

Student thesis: Master

File

Timing analysis of software applications deployed on homogeneous multiprocessors

Author: Raja, E., 27 Mar 2017

Supervisor: Voeten, J. (Supervisor 1), Alonso, I. (External person) (External coach) & Schiffelers, R. (Supervisor 2)

Student thesis: Master

File

Tink, a temporal graph analytics library for Apache Flink

Author: Ligtenberg, W., 27 Mar 2017

Supervisor: Fletcher, G. (Supervisor 1), Pechenizkiy, M. (Supervisor 2), Pei, Y. (Supervisor 2) & Serebrenik, A. (Supervisor 2)

Student thesis: Master

File

Towards a model-based system specification and verification in integrated AEC-projects: integrating SysML and BIM as initial step

Author: Granville, M., 24 Sep 2019

Supervisor: de Vries, B. (Supervisor 1), van Thiel, B. (Supervisor 2) & Barosan, I. (Supervisor 2)

Student thesis: Master

File

Towards successful interaction between humans and databases

Author: Miedema, D., 30 Sep 2019

Supervisor: Fletcher, G. (Supervisor 1), Ruijten, P. (Supervisor 2), Ham, J. (Supervisor 2) & Serebrenik, A. (Supervisor 2)

Student thesis: Master

File

Translating from the lambda calculus to combinators

Author: Reinders, J. S., 31 Jul 2019

Supervisor: Verhoeff, T. (Supervisor 1)

Student thesis: Bachelor

File

Usage analysis of the object constraint language in model driven engineering

Author: Noten, J., 29 May 2017

Supervisor: Serebrenik, A. (Supervisor 1), Mengerink, J. (Supervisor 2), Schühmacher, J. J. (External person) (External coach) & Hamilton, M. A. (External coach)

Student thesis: Master

File