• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Scripties/Masterproeven

Abstracting real-valued parameters in parameterised boolean equation systems

Auteur: Laveaux, M., 26 feb 2018

Begeleider: Willemse, T. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

A complete axiomatisation for probabilistic trace equivalence

Auteur: Timmers, F., 26 nov 2018

Begeleider: Groote, J. F. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

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

Auteur: Nijland, L., 31 aug 2018

Begeleider: Luttik, S. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

A formal processor model in mCRL2

Auteur: Bosch, B., 31 aug 2017

Begeleider: Groote, J. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

A model-based test platform for rail signalling systems

Auteur: Bouwman, M., 25 mrt 2019

Begeleider: Luttik, B. (Afstudeerdocent 1) & Janssen, B. (Externe persoon) (Externe coach)

Scriptie/Masterproef: Master

Bestand

An analysis of ASD timers and their expressivity with mCRL2

Auteur: Hong, T., 29 apr 2019

Begeleider: Groote, J. F. (Afstudeerdocent 1) & Neele, T. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Automatically proving equality of infinite sequences

Auteur: Roelofs, S., 28 okt 2019

Begeleider: Zantema, H. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Automatic code modernization with Rascal

Auteur: Liu, T., 29 okt 2018

Begeleider: van den Brand, M. (Afstudeerdocent 1), Schuts, M. (Externe coach) & Schmaltz, J. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Decidability of bisimilarity and axiomatisation for sequential processes in the presence of intermediate termination

Auteur: Belder, A., 31 aug 2018

Begeleider: Luttik, S. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Feedforward motion control on a predictable embedded multi-core platform

Auteur: Feng, W., 31 aug 2018

Begeleider: Goswami, D. (Afstudeerdocent 1), Mojtaba Haghid, S. (Externe persoon) (Externe coach) & Schmaltz, J. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Formal analysis of ring networks

Auteur: van Wesel, P., 18 dec 2017

Begeleider: Schmaltz, J. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

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

Auteur: Heemstra, J. H., 4 jul 2018

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

Scriptie/Masterproef: Bachelor

Bestand

Learning software behavior through active automata learning with data

Auteur: Sanchez, L., 31 aug 2018

Begeleider: Groote, J. (Afstudeerdocent 1), Swaving, A. (Externe persoon) (Externe coach) & Schiffelers, R. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

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

Auteur: Ben Snaiba, Z., 31 aug 2018

Begeleider: de Vink, E. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Logistics modelling, analysis and synthesis for chuck exchange

Auteur: Soma Sundaram, L., 25 sep 2017

Begeleider: Voeten, J. (Afstudeerdocent 1), Alberti, J. (Afstudeerdocent 2), Schmaltz, J. (Afstudeerdocent 2) & Nogueira Bastos, J. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Model checking supermodels workbench with mCRL2: mCRL2 analysing system behaviour

Auteur: Meeuws, R., 30 aug 2019

Begeleider: Wesselink, W. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Modeling and verifying concurrent data structures

Auteur: Paval, R., 26 feb 2018

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

Scriptie/Masterproef: Master

Bestand

Multi-bit pulse-based latches for low power design

Auteur: Rodriguez Rosas, O., 31 aug 2017

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

Scriptie/Masterproef: Master

Bestand

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

Auteur: Blaauwbroek, L., 25 sep 2017

Begeleider: Geuvers, J. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

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

Auteur: Tiemersma, A., 24 apr 2017

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

Scriptie/Masterproef: Master

Bestand

Parallel term rewriting on GPUs

Auteur: van Eerd, J., 30 sep 2019

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

Scriptie/Masterproef: Master

Bestand

Performance evaluation of network on chip using formal models

Auteur: van Vijfeijken, R., 23 apr 2018

Begeleider: Schmaltz, J. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Predicting reliability of ASML metrology software

Auteur: Chandrasekaran, S., 26 jun 2017

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

Scriptie/Masterproef: Master

Bestand

Quality metrics for ASOME data models

Auteur: Zhang, H., 17 dec 2018

Begeleider: Groote, J. F. (Afstudeerdocent 1) & Marincic, J. (Externe persoon) (Externe coach)

Scriptie/Masterproef: Master

Bestand

Quantitative model checking on probabilistic systems using pLĪ¼

Auteur: Bunte, O., 18 dec 2017

Begeleider: Willemse, T. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Rectangle packing in practice

Auteur: Stoykov, P., 25 sep 2017

Begeleider: Zantema, H. (Afstudeerdocent 1), Mesman, B. (Afstudeerdocent 2) & van den Bosch, A. (Externe persoon) (Externe coach)

Scriptie/Masterproef: Master

Bestand

Verification of ASD multi-component systems in mCRL2

Auteur: Rol, M., 31 aug 2018

Begeleider: Groote, J. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand