• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

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

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

Automatically proving equality of infinite sequences

Author: Roelofs, S., 28 Oct 2019

Supervisor: Zantema, H. (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
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

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

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

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

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

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

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

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

Verification of ASD multi-component systems in mCRL2

Author: Rol, M., 31 Aug 2018

Supervisor: Groote, J. (Supervisor 1)

Student thesis: Master

File