Model Driven Software Engineering W&I

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

A data-driven approach for generating insights into software development

Auteur: Rexhepi, N., 25 sep 2017

Begeleider: Kaymak, U. (Afstudeerdocent 1), Wilbik, A. (Afstudeerdocent 2), Serebrenik, A. (Afstudeerdocent 2), Geritz, E. (Externe persoon) (Externe coach) & Kabel, M. (Externe persoon) (Externe coach)

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 approach and tool support for software process audit on software product quality in automotive domain

Auteur: Tummalapalli B.N.V.V., K., 30 aug 2018

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

Scriptie/Masterproef: Master

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 adaptive and scrutable math tutoring system

Auteur: van Lankveld, G., 31 aug 2017

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

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

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

Auteur: Stanimir, S., 30 sep 2019

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

Scriptie/Masterproef: Master

Bestand

Applying model based techniques for process improvement and assessment in the automotive domain

Auteur: Narayanan, P., 29 jun 2017

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

Scriptie/Masterproef: Master

Applying state machine learning at ASML

Auteur: Premchand, J., 29 okt 2018

Begeleider: Voeten, J. (Afstudeerdocent 1), Schiffelers, R. (Afstudeerdocent 2) & Hendriks, D. (Externe coach)

Scriptie/Masterproef: Master

Bestand

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

Auteur: van der Burgh, D., 27 mei 2019

Begeleider: Ozkan, B. (Afstudeerdocent 1), Cleophas, L. (Afstudeerdocent 2), Beelen, J. J. (Externe persoon) (Externe coach) & Lelivelt, R. (Externe coach)

Scriptie/Masterproef: Master

Artifact-centric log extraction for cloud systems

Auteur: Santana Calvo, H., 27 nov 2017

Begeleider: Fahland, D. (Afstudeerdocent 1), Serebrenik, A. (Afstudeerdocent 2) & Fletcher, G. (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

Automatically testing semantics preservation in SLCO to Java transformation

Auteur: Wiłkowski, M., 26 nov 2019

Begeleider: Wijs, A. (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

Bank transaction minimization

Auteur: Salomé, D., 31 aug 2017

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

Scriptie/Masterproef: Bachelor

Bestand

Bottleneck analysis in large-scale component-based software systems

Auteur: Wang, H., 30 sep 2019

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

Scriptie/Masterproef: Master

Bestand

Combining model learning results for interface protocol inference

Auteur: Yang, N., 23 apr 2018

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

Scriptie/Masterproef: Master

Bestand

Configuration of ambient environments by speech

Auteur: Wielinga, N., 25 jun 2018

Begeleider: van den Brand, M. (Afstudeerdocent 1), Ozcelebi, T. (Afstudeerdocent 2), Barosan, I. (Afstudeerdocent 2) & van Rossum, A. (Externe persoon) (Externe coach)

Scriptie/Masterproef: Master

Bestand

Constructing shortest covering walks of neighbour-swap graphs: generating linear extensions of posets by adjacent transpositions

Auteur: Bellaard, G., 24 jul 2019

Begeleider: Verhoeff, T. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Credential sharing based on Hotspot 2.0 release 2 specification

Auteur: Tan, H., 31 aug 2017

Begeleider: Jarnikov, D. (Afstudeerdocent 1), Lukkien, J. (Afstudeerdocent 2) & Serebrenik, A. (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

Defining a conversion layer between SysML models and Unity

Auteur: van der Heijden, J. J., 16 dec 2019

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

Scriptie/Masterproef: Master

Bestand

Defining a functional specification language in the metrology domain

Auteur: van Zanten, A., 27 mei 2019

Begeleider: van den Brand, M. (Afstudeerdocent 1), Adyanthaya, S. (Externe coach) & Schiffelers, R. (Externe coach)

Scriptie/Masterproef: Master

Bestand

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

Auteur: van der Smagt, T., 23 apr 2019

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

Scriptie/Masterproef: Master

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

Auteur: Ni, J., 28 okt 2019

Begeleider: Verhoeff, T. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

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

Auteur: Denissen, P., 27 nov 2017

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

Scriptie/Masterproef: Master

Bestand

Extending tree pattern matching for application to peephole optimizations

Auteur: van Oirschot, J., 29 apr 2019

Begeleider: Corporaal, H. (Afstudeerdocent 1), Jordans, R. (Afstudeerdocent 2), Cleophas, L. (Afstudeerdocent 2) & Lopes, N. (Externe persoon) (Externe coach)

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

First-time-right IT project delivery practices

Auteur: Mothukuru, V., 26 nov 2018

Begeleider: Kusters, R. (Afstudeerdocent 1), Trienekens, J. (Afstudeerdocent 2), van Gills, A. (Externe persoon) (Externe coach), Garstka, K. (Externe persoon) (Externe coach) & van den Brand, M. (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

Formalization of the ISO 26262 standard

Auteur: van den Brand, D., 17 dec 2018

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

Scriptie/Masterproef: Master

Bestand

Functional safety analysis and safety pattern application on i-CAVE

Auteur: Rood, N., 25 nov 2019

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

Scriptie/Masterproef: Master

Bestand

Graph-based approach to managing model relationships

Auteur: Hay, J., 30 aug 2019

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

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

Improving maintenance of templates

Auteur: Fortuin, M., 26 feb 2018

Begeleider: van den Brand, M. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Investigation of model based adaptive cyber physical system for autonomous trucks

Auteur: Santhosh , 16 dec 2019

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

Scriptie/Masterproef: Master

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

Making QVTo transformations more understandable

Auteur: Yu, T., 25 feb 2019

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

Scriptie/Masterproef: Master

Bestand

Model analytics for ASML's data and control modeling languages

Auteur: Suresh, A., 17 dec 2018

Begeleider: Cleophas, L. (Afstudeerdocent 1)

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

Model checking using multiple GPUs

Auteur: Qi, Y., 17 dec 2018

Begeleider: Wijs, A. (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

Modeling driving behaviors for automotive simulation environment

Auteur: Fu, Y., 26 nov 2018

Begeleider: Luo, Y. (Afstudeerdocent 1), Barosan, I. (Afstudeerdocent 2) & Hamilton, M. (Externe coach)

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

Multi-core datapath contention modelling

Auteur: Tang, X., 25 sep 2017

Begeleider: Basten, T. (Afstudeerdocent 1), Somers, L. (Externe coach), Bijlsma, T. (Externe persoon) (Externe coach) & Hendriks, M. (Externe persoon) (Externe coach)

Scriptie/Masterproef: Master

Bestand