Student theses

Abstracting real-valued parameters in parameterised boolean equation systems

Author: Laveaux, M., 26 Feb 2018

Supervisor: Willemse, T. (Supervisor 1)

Student thesis: Master

File

A complete axiomatisation for probabilistic trace equivalence

Author: Timmers, F., 26 Nov 2018

Supervisor: Groote, J. F. (Supervisor 1)

Student thesis: Master

File

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

Adding sequential composition and termination to the linear time: branching time spectrum

Author: Nijland, L., 31 Aug 2018

Supervisor: Luttik, S. (Supervisor 1)

Student thesis: Master

File

A formal processor model in mCRL2

Author: Bosch, B., 31 Aug 2017

Supervisor: Groote, J. (Supervisor 1)

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

A model-based test platform for rail signalling systems

Author: Bouwman, M., 25 Mar 2019

Supervisor: Luttik, B. (Supervisor 1) & Janssen, B. (External person) (External coach)

Student thesis: Master

File

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 analysis of ASD timers and their expressivity with mCRL2

Author: Hong, T., 29 Apr 2019

Supervisor: Groote, J. F. (Supervisor 1) & Neele, T. (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 model based techniques for process improvement and assessment in the automotive domain

Author: Narayanan, P., 29 Jun 2017

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

Student thesis: Master

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

A readiness self-assessment model for low-code development enabled DevOps

Author: van der Burgh, D., 27 May 2019

Supervisor: Ozkan, B. (Supervisor 1), Cleophas, L. (Supervisor 2), Beelen, J. J. (External person) (External coach) & Lelivelt, R. (External coach)

Student thesis: Master

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
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

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

Feedforward motion control on a predictable embedded multi-core platform

Author: Feng, W., 31 Aug 2018

Supervisor: Goswami, D. (Supervisor 1), Mojtaba Haghid, S. (External person) (External coach) & Schmaltz, J. (Supervisor 2)

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

Formal analysis of ring networks

Author: van Wesel, P., 18 Dec 2017

Supervisor: Schmaltz, J. (Supervisor 1)

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

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

Hypermaps and their use in the formalized four-colour theorem proof

Author: Heemstra, J. H., 4 Jul 2018

Supervisor: Geuvers, J. (Supervisor 1) & Pendavingh, R. (Supervisor 2)

Student thesis: Bachelor

File

Improving maintenance of templates

Author: Fortuin, M., 26 Feb 2018

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

Student thesis: Master

File

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

Logics and algorithms for product and family-based analysis of software product lines

Author: Ben Snaiba, Z., 31 Aug 2018

Supervisor: de Vink, E. (Supervisor 1)

Student thesis: Master

File

Logistics modelling, analysis and synthesis for chuck exchange

Author: Soma Sundaram, L., 25 Sep 2017

Supervisor: Voeten, J. (Supervisor 1), Alberti, J. (Supervisor 2), Schmaltz, J. (Supervisor 2) & Nogueira Bastos, J. (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 supermodels workbench with mCRL2: mCRL2 analysing system behaviour

Author: Meeuws, R., 30 Aug 2019

Supervisor: Wesselink, W. (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 and verifying concurrent data structures

Author: Paval, R., 26 Feb 2018

Supervisor: Luttik, S. (Supervisor 1) & Willemse, T. (Supervisor 2)

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-bit pulse-based latches for low power design

Author: Rodriguez Rosas, O., 31 Aug 2017

Supervisor: Pineda de Gyvez, J. (Supervisor 1), Goswami, D. (Supervisor 2) & Schmaltz, J. (Supervisor 2)

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

On the interaction between unrestricted union and intersection types and computational effects

Author: Blaauwbroek, L., 25 Sep 2017

Supervisor: Geuvers, J. (Supervisor 1)

Student thesis: Master

File

Optimal instruction scheduling and register allocation for coarse-grained reconfigurable architectures

Author: Tiemersma, A., 24 Apr 2017

Supervisor: Corporaal, H. (Supervisor 1), Jordans, R. (Supervisor 2) & Zantema, H. (Supervisor 2)

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

Performance evaluation of network on chip using formal models

Author: van Vijfeijken, R., 23 Apr 2018

Supervisor: Schmaltz, J. (Supervisor 1)

Student thesis: Master

File

Predicting reliability of ASML metrology software

Author: Chandrasekaran, S., 26 Jun 2017

Supervisor: Schmaltz, J. (Supervisor 1), Naumoski, G. (Supervisor 2) & Goossens, K. (Supervisor 2)

Student thesis: Master

File