Student theses
- 37 results
Search results
-
A method for the rapid generation of interfaces for heterogeneous models within digital twins
Xavier, F. (Author), Cleophas, L. G. W. A. (Supervisor 1) & Manrique Negrin, D. A. (Supervisor 2), 21 Aug 2024Student thesis: Master
File -
An Automated Approach to Check Software Architecture Erosion
Hu, R. (Author), Chaudron, M. R. V. (Supervisor 1), Vinju, J. J. (Supervisor 2) & Schuts, M. T. W. (External coach), 1 Sept 2023Student thesis: Master
File -
An Automated Approach to Classify Class Role Stereotypes for Detecting Design Flaws
Bilbas, A. (Author), Chaudron, M. R. V. (Supervisor 1), Bairampalli, S. (External coach) & Schuts, M. T. W. (External coach), 8 Mar 2024Student thesis: Master
File -
An exploration of methods for functional safety assessment of autonomous vehicles
Singh, T. S. (Author), Cleophas, L. G. W. A. (Supervisor 1) & Forrai, A. (External coach), 12 Oct 2021Student thesis: Master
File -
Automatic validation of technical requirements for a BIM model using semantic web technologies: Description of a linked building data workflow using SHACL as checking mechanism to improve information exchanges between actors in the AEC industry
van den Bersselaar, E. (Author), de Vries, B. (Supervisor 1), Pauwels, P. (Supervisor 2), Chaudron, M. R. V. (Supervisor 2), van Thiel, B. J. A. (External coach) & Verhelst, L. B. (External coach), 30 Aug 2022Student thesis: Master
File -
Characterizing Model Transformations Using Modal μ-calculus
Chaki, R. (Author), Wijs, A. (Supervisor 1), 13 Oct 2021Student thesis: Master
File -
Classifying Java Classes Into Role Stereotypes Based on Their Behavior
Fung, K. Y. (Author), Chaudron, M. R. V. (Supervisor 1) & Rukmono, S. (Supervisor 2), 30 Aug 2023Student thesis: Master
File -
Combining Dafny with Program Derivation
Sinx, R. D. (Author), Verhoeff, T. (Supervisor 1) & Huizing, C. (Supervisor 2), 10 Mar 2023Student thesis: Master
File -
Connected Object Data in Heritage Conservation: The Value in Natural Stone Restoration Projects
Janssen Steenberg, M. A. (Author), Donkers, A. J. A. (Supervisor 1), Pauwels, P. (Supervisor 2) & Chaudron, M. R. V. (Supervisor 2), 28 Sept 2023Student thesis: Master
File -
Designing an Architecture for a Common Data Environment Supporting Digital Twins
Pop, C. (Author), Chaudron, M. R. V. (Supervisor 1) & Hamilton, M. A. M. (External coach), 21 Sept 2023Student thesis: Master
File -
Detecting, Highlighting, and Removing Unintended Dependencies in Large Multi-lingual Software Systems
Groot, T. W. (Author), Krüger, J. (Supervisor 1), Ochoa Venegas, L. (Supervisor 2) & Lazar, B. (External coach), 27 Sept 2023Student thesis: Master
File -
Diagnostic Ontology for Psychopathology (DOPsy): Towards a Deeper Understanding of Patient Diagnosis in Mental Healthcare
Chen, H. R. (Author), Chaudron, M. R. V. (Supervisor 1), Rijcken, E. (Supervisor 1) & Zervanou, K. (Supervisor 2), 5 Dec 2023Student thesis: Master
File -
Extracting Architecture Knowledge from Software System Documentation to Create Knowledge Graph
Yang, L. (Author), Chaudron, M. R. V. (Supervisor 1) & Rukmono, S. (Supervisor 2), 27 Nov 2023Student thesis: Master
File -
GPU Accelerated Filtering for Backbone Finding in Propositional Formulae
Verspeek, V. (Author), Wijs, A. J. (Supervisor 1) & Mahmoud, M. O. (Supervisor 2), 30 Nov 2023Student thesis: Master
File -
GPUexplore support for symmetry reduction
Cheng, Y. (Author), Wijs, A. J. (Supervisor 1), 31 Oct 2022Student thesis: Master
File -
How and Why Do Java Library APIs Evolve?
Nikolova, A. J. (Author), Krüger, J. (Supervisor 1) & Chaudron, M. R. V. (Supervisor 2), 16 Aug 2023Student thesis: Master
File -
How does the quality of the source code of enterprises evolve?: A Data-driven Analysis of the Code Quality based on the TIOBE Software Quality Evaluation Service
Shi, M. (Author), Serebrenik, A. (Supervisor 1), Krüger, J. (Supervisor 2) & Jansen, P. (External coach), 6 Oct 2023Student thesis: Master
File -
Improving the Java Code Generator Component of the SLCO Framework
van Nijnatten, M. (Author), Wijs, A. J. (Supervisor 1), Sciancalepore, S. (Supervisor 2) & Cleophas, L. G. W. A. (Supervisor 2), 16 Dec 2022Student thesis: Master
File -
Improving usability of Failboxes with Transactional Memory
van der Heijden, J. Y. (Author), Wijs, A. J. (Supervisor 1), 13 Jun 2022Student thesis: Master
File -
Investigating frameworks for integration and orchestration: a case study on a microbrewery digital twin
Lee, A. (Author), Cleophas, L. G. W. A. (Supervisor 1), 31 Oct 2022Student thesis: Master
File -
Learning white-box: Applying machine learning to identify white-box related functions in binaries
Friptu, P.-Ş. (Author), Michiels, W. P. A. J. (Supervisor 1), Huizing, C. (Supervisor 2) & Bekkers, R. (External coach), 18 Jul 2023Student thesis: Master
File -
LUNA: an Interactive Visualization of Javascript Software with Libraries
van Dijk, R. E. L. (Author), Chaudron, M. R. V. (Supervisor 1) & Constantinou, E. (Supervisor 2), 4 Nov 2022Student thesis: Master
File -
Media deformation prediction informed by physics-based simulation
Driessen, T. (Author), Krüger, J. (Supervisor 1) & Cordero Cruz, J. A. (External coach), 23 Nov 2023Student thesis: Master
File -
Model-Driven Development of Sheet Movement for Cut-Sheet Printers
Janin, A. (Author), Cleophas, L. G. W. A. (Supervisor 1), Kahraman, G. (Supervisor 2) & van Pinxten, J. H. H. (External coach), 16 Mar 2023Student thesis: Master
File -
Potential of automatic transformation tools in large company cases
Drugă, S. (Author), Chaudron, M. R. V. (Supervisor 1) & Radulescu, A. (External coach), 29 Nov 2023Student thesis: Master
File -
Real-Time Conformance Checking for Microservice Applications
Andrade, R. (Author), Lukkien, J. J. (Supervisor 1), Åkesson, K. B. (External coach) & Krüger, J. (Supervisor 2), 29 Feb 2024Student thesis: Master
File -
Risk-Driven Security Maturity Assessment in Organizations
van Rozendaal, R. M. (Author), Zannone, N. (Supervisor 1), Jansen, E. W. (External coach) & Cleophas, L. G. W. A. (Supervisor 2), 31 Mar 2022Student thesis: Master
File -
SAT Simplification for Multi-core CPU Platforms
Popescu, V.-A. (Author), Wijs, A. J. (Supervisor 1) & Osama, M. (Supervisor 2), 1 Nov 2021Student thesis: Master
File -
Taxonomizing and Analyzing Change Impact in Language Oriented Programming
Houdijk, J. S. (Author), Cleophas, L. G. W. A. (Supervisor 1), 27 Nov 2023Student thesis: Master
File -
The Concepts of Software Package Managers
Duan, C. (Author), Krüger, J. (Supervisor 1), 6 Jun 2024Student thesis: Master
File -
Towards an Analysis of Productivity in Software Development
Coremans, B. (Author), Chaudron, M. R. V. (Supervisor 1), Verhoeff, T. (Supervisor 2) & Fahland, D. (Supervisor 2), 21 Nov 2022Student thesis: Master
File -
Towards a visual layer for modelling autonomous systems in HKnowLang
Netto, P. B. (Author), Barosan, I. (Supervisor 1), Chaudron, M. R. V. (Supervisor 2) & Besselink, I. (Supervisor 2), 25 Feb 2022Student thesis: Master
File -
Towards Digital Twins for soccer robots: a use case in reusing artifacts
Walravens, G. (Author), Cleophas, L. G. W. A. (Supervisor 1) & Muctadir, H. M. (Coach), 24 Mar 2022Student thesis: Master
File -
Towards Model Driven Engineering for Carriage Motion
van der Pol, A. F. (Author), Cleophas, L. G. W. A. (Supervisor 1), van Pinxten, J. H. H. (External coach) & Lind, J. (External coach), 30 Sept 2022Student thesis: Master
File -
Verifying Programs Involving Self-Application Using Dafny
Remkes, P. (Author), Verhoeff, T. (Supervisor 1) & Huizing, C. (Supervisor 2), 10 Nov 2023Student thesis: Master
File -
Visualization and Analysis of Microservice Architectures based on Distributed Tracing
Peters, J. (Author), van den Elzen, S. (Supervisor 1), Chaudron, M. R. V. (Supervisor 2) & Manolache, A.-M. (External coach), 19 Dec 2022Student thesis: Master
-
Visualizing Differences In Fork Ecosystems
Chen, S. (Author), Krüger, J. (Supervisor 1) & Cleophas, L. G. W. A. (Supervisor 2), 29 Aug 2023Student thesis: Master
File