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

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

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

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

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

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

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), Donkers, M. (Supervisor 2) & 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

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

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

Quality metrics for ASOME data models

Author: Zhang, H., 17 Dec 2018

Supervisor: Groote, J. F. (Supervisor 1) & Marincic, J. (External person) (External coach)

Student thesis: Master

File

Quantitative model checking on probabilistic systems using pLμ

Author: Bunte, O., 18 Dec 2017

Supervisor: Willemse, T. (Supervisor 1)

Student thesis: Master

File

Rectangle packing in practice

Author: Stoykov, P., 25 Sep 2017

Supervisor: Zantema, H. (Supervisor 1), Mesman, B. (Supervisor 2) & van den Bosch, A. (External person) (External coach)

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

Themis : load sharing in an in-home network

Author: Heijmans, J., 30 Nov 2002

Supervisor: Groote, J. (Supervisor 1), Reniers, M. (Supervisor 2) & van Woerkom, H. (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

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

Using cut-in prediction in cooperative adaptive cruise control

Author: Fahdzyana, C., 31 Aug 2017

Supervisor: Silvas, E. (Supervisor 1), Barosan, I. (Supervisor 2), van Nunen, E. (Supervisor 2) & Steinbuch, M. (Supervisor 2)

Student thesis: Master