Scripties/Masterproeven
- 1 - 50 van 212 resultaten
Zoekresultaten
-
A Combined Safety and Security based system development process for Automotive Applications
Tummers, L. L. W. (Auteur), Barosan, I. (Afstudeerdocent 1), van Uden, J. G. S. (Externe coach) & van Bergeijk, K. (Externe coach), 27 sep. 2023Scriptie/Masterproef: Master
Bestand -
Actionable Insights from Software Behavior Model Comparisons for Software Changes in High-Tech Systems
Aksakal, B. (Auteur), Serebrenik, A. (Afstudeerdocent 1), Hendriks, D. (Externe coach), Yang, N. (Afstudeerdocent 2) & Oortwijn, W. (Externe coach), 27 jun. 2022Scriptie/Masterproef: Master
Bestand -
A data-driven approach for generating insights into software development
Rexhepi, N. (Auteur), Kaymak, U. (Afstudeerdocent 1), Wilbik, A. (Afstudeerdocent 2), Serebrenik, A. (Afstudeerdocent 2), Geritz, E. (Externe coach) & Kabel, M. (Externe coach), 25 sep. 2017Scriptie/Masterproef: Master
Bestand -
Adding Formal Specifications to a Legacy Code Generator
Derasari, R. (Auteur), Kurtev, I. (Afstudeerdocent 1), Alberts, W. (Externe coach) & Sidorova, N. (Afstudeerdocent 2), 16 nov. 2021Scriptie/Masterproef: Master
Bestand -
Age(ing) in software development
Park, G. W. A. (Auteur), Serebrenik, A. (Afstudeerdocent 1), Baltes, S. (Externe coach), Constantinou, E. (Afstudeerdocent 2) & Fletcher, G. H. L. (Afstudeerdocent 2), 29 mei 2020Scriptie/Masterproef: Master
Bestand -
A Generalised Implementation of Symbolic Execution Using the Z3 Theorem Prover
Schippers, A. M. (Auteur), Vinju, J. J. (Afstudeerdocent 1) & Valk, K. (Externe coach), 2 nov. 2022Scriptie/Masterproef: Master
Bestand -
A MBSE framework for the design and analysis of marine vessel systems using SysML and PCE
Kaloor, T. (Auteur), Barosan, I. (Afstudeerdocent 1), Kavelin, K. (Externe coach), Hettiarachchi, M. (Externe coach) & Pattanayak, A. (Externe coach), 29 nov. 2023Scriptie/Masterproef: Master
Bestand -
A method for the rapid generation of interfaces for heterogeneous models within digital twins
Xavier, F. (Auteur), Cleophas, L. G. W. A. (Afstudeerdocent 1) & Manrique Negrin, D. A. (Afstudeerdocent 2), 21 aug. 2024Scriptie/Masterproef: Master
Bestand -
A model based approach and tool support for software process audit on software product quality in automotive domain
Tummalapalli B.N.V.V., K. K. (Auteur), Barosan, I. (Afstudeerdocent 1) & Luo, Y. (Afstudeerdocent 2), 30 aug. 2018Scriptie/Masterproef: Master
-
A model based approach for software testing audit on software product quality
Basu, R. (Auteur), Hamilton, M. A. M. (Afstudeerdocent 1) & Barosan, I. (Afstudeerdocent 2), 18 aug. 2020Scriptie/Masterproef: Master
Bestand -
An adaptive and scrutable math tutoring system
van Lankveld, G. (Auteur), Stash, N. (Afstudeerdocent 1), De Bra, P. M. E. (Afstudeerdocent 2) & Huizing, C. (Afstudeerdocent 2), 31 aug. 2017Scriptie/Masterproef: Master
Bestand -
Analysis of the impact of JavaScript design patterns on page performance in web applications
te Dorshorst, J. A. (Auteur), Barosan, I. (Afstudeerdocent 1) & Peters, K. F. A. (Externe coach), 27 jun. 2024Scriptie/Masterproef: Master
Bestand -
An Automated Approach to Check Software Architecture Erosion
Hu, R. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1), Vinju, J. J. (Afstudeerdocent 2) & Schuts, M. T. W. (Externe coach), 1 sep. 2023Scriptie/Masterproef: Master
Bestand -
An Automated Approach to Classify Class Role Stereotypes for Detecting Design Flaws
Bilbas, A. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1), Bairampalli, S. (Externe coach) & Schuts, M. T. W. (Externe coach), 8 mrt. 2024Scriptie/Masterproef: Master
Bestand -
An Automatic Transformation for Multi-Component Systems from ALIAS to mCRL2
Pan, Y. (Auteur), Groote, J. F. (Afstudeerdocent 1), Schiffelers, R. R. H. (Afstudeerdocent 2) & Neele, T. (Afstudeerdocent 2), 9 jan. 2020Scriptie/Masterproef: Master
Bestand -
An Effective Simulator for Hardware-In-Loop Simulation Verification of Truck platooning
Mariappan Haribalasubramaniam, S. (Auteur), Barosan, I. (Afstudeerdocent 1) & Yalcinkaya, I. (Externe coach), 18 aug. 2020Scriptie/Masterproef: Master
Bestand -
An exploration of methods for functional safety assessment of autonomous vehicles
Singh, T. S. (Auteur), Cleophas, L. G. W. A. (Afstudeerdocent 1) & Forrai, A. (Externe coach), 12 okt. 2021Scriptie/Masterproef: Master
Bestand -
An IoT framework for sharing data in the TU/e smart grid
Stanimir, S. (Auteur), Redegeld, J. (Afstudeerdocent 1), Cuijpers, P. (Afstudeerdocent 2) & Dajsuren, Y. (Afstudeerdocent 2), 30 sep. 2019Scriptie/Masterproef: Master
Bestand -
Application of digital twins for connected, cooperative and automated mobility
Gali, A. S. (Auteur), Barosan, I. (Afstudeerdocent 1) & Forrai, A. (Externe coach), 26 sep. 2024Scriptie/Masterproef: Master
Bestand -
Applications of MathWorks Tools in Model-Based Systems Engineering
Chatterjee, J. (Auteur), Barosan, I. (Afstudeerdocent 1) & Schmaltz, J. (Externe coach), 24 nov. 2020Scriptie/Masterproef: Master
Bestand -
Applying state machine learning at ASML
Premchand, J. R. P. (Auteur), Voeten, J. (Afstudeerdocent 1), Schiffelers, R. (Afstudeerdocent 2) & Hendriks, D. (Externe coach), 29 okt. 2018Scriptie/Masterproef: Master
Bestand -
A proposal for a Model-Based Functional Safety methodology for automotive software applications
Vonk, J. R. F. (Auteur), Barosan, I. (Afstudeerdocent 1), van Bergeijk, J. H. (Externe coach) & van Uden, J. G. S. (Externe coach), 15 mei 2024Scriptie/Masterproef: Master
Bestand -
Artifact-centric log extraction for cloud systems
Santana Calvo, H. A. (Auteur), Fahland, D. (Afstudeerdocent 1), Serebrenik, A. (Afstudeerdocent 2) & Fletcher, G. H. L. (Afstudeerdocent 2), 27 nov. 2017Scriptie/Masterproef: Master
Bestand -
A Solver Agnostic Incremental Machine Reasoning Interface
van Helvert, B. (Auteur), van den Brand, M. (Afstudeerdocent 1), Santos, C. (Externe coach) & Verano Merino, M. (Afstudeerdocent 2), 19 jul. 2021Scriptie/Masterproef: Master
Bestand -
Automatically testing semantics preservation in SLCO to Java transformation
Wiłkowski, M. (Auteur), Wijs, A. (Afstudeerdocent 1), 26 nov. 2019Scriptie/Masterproef: Master
Bestand -
Automatic Anti-Pattern Detection in Microservice Architectures based on Distributed Tracing
Hübener, T. (Auteur), Luo, Y. (Afstudeerdocent 1), 16 aug. 2021Scriptie/Masterproef: Master
Bestand -
Automatic code modernization with Rascal
Liu, T. (Auteur), van den Brand, M. (Afstudeerdocent 1), Schuts, M. T. W. (Externe coach) & Schmaltz, J. (Afstudeerdocent 2), 29 okt. 2018Scriptie/Masterproef: Master
Bestand -
Automatic Generation of C Library Bindings: Inferring Nullability through Structure Fields
Reinders, J. S. (Auteur), Vinju, J. J. (Afstudeerdocent 1) & Verhoeff, T. (Afstudeerdocent 2), 7 okt. 2021Scriptie/Masterproef: Master
Bestand -
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. (Auteur), de Vries, B. (Afstudeerdocent 1), Pauwels, P. (Afstudeerdocent 2), Chaudron, M. R. V. (Afstudeerdocent 2), van Thiel, B. J. A. (Externe coach) & Verhelst, L. B. (Externe coach), 30 aug. 2022Scriptie/Masterproef: Master
Bestand -
Automating protocol selection using a data-driven approach: an Azurion 7 case study
Schoeman, A. J. (Auteur), Sidorova, N. (Afstudeerdocent 1), Kessels, A. C. J. M. (Externe coach) & Serebrenik, A. (Afstudeerdocent 2), 24 dec. 2020Scriptie/Masterproef: Master
Bestand -
A view on the data regarding human-factor security in companies: a practical evaluation
Markovic, A. (Auteur), Zannone, N. (Afstudeerdocent 1), Allodi, L. (Afstudeerdocent 2), Constantinou, E. (Afstudeerdocent 2) & Wessels, J. (Externe coach), 4 nov. 2021Scriptie/Masterproef: Master
Bestand -
Bachelor Thesis: Data Science Program
Lê, B. P. (Auteur), Ochoa Venegas, L. (Afstudeerdocent 1), 14 jun. 2024Scriptie/Masterproef: Bachelor
Bestand -
Bank transaction minimization
Salomé, D. (Auteur), Nederlof, J. (Afstudeerdocent 1) & Verhoeff, T. (Afstudeerdocent 2), 31 aug. 2017Scriptie/Masterproef: Bachelor
Bestand -
Behavioral competencies of a successful software architect in ASML: Effect of behavior on performance
Wolberink, S. W. R. (Auteur), Razavian, M. (Afstudeerdocent 1), Serebrenik, A. (Afstudeerdocent 2) & Kleingeld, A. (Afstudeerdocent 2), 31 mrt. 2022Scriptie/Masterproef: Master
Bestand -
Bottleneck analysis in large-scale component-based software systems
Wang, H. (Auteur), Voeten, J. (Afstudeerdocent 1), Jonk, R. (Afstudeerdocent 2) & Schiffelers, R. (Afstudeerdocent 2), 30 sep. 2019Scriptie/Masterproef: Master
Bestand -
Bottom-Up Search: A Distance-Based Search Strategy for Supervised Local Pattern Mining on Multi-Dimensional Target Spaces
Engelen, L. T. J. (Auteur), Duivesteijn, W. (Afstudeerdocent 1), Serebrenik, A. (Afstudeerdocent 2) & Kromwijk, T. J. (Afstudeerdocent 2), 21 jul. 2023Scriptie/Masterproef: Master
Bestand -
Bridging the Worlds of Textual and Projectional Language Workbenches
Bartels, J. (Auteur), van den Brand, M. G. J. (Afstudeerdocent 1) & Verano Merino, M. (Afstudeerdocent 2), 17 jan. 2020Scriptie/Masterproef: Master
Bestand -
Business Intelligence Adoption of DevOps Methodologies: A deep dive into the state of Business Intelligence software tools within the context of the DevOps methodologies
Antoñanzas Martínez, G. (Auteur), Vinju, J. J. (Afstudeerdocent 1), 10 mrt. 2022Scriptie/Masterproef: Master
Bestand -
CarE-Model, an Emotion Model of a Vehicle
Chouhan, S. G. R. (Auteur), Barosan, I. (Afstudeerdocent 1), 27 aug. 2019Scriptie/Masterproef: Master
Bestand -
CarESP: an emotion vehicle with stress, personality and embodiment of emotions
Manrique Negrin, D. A. (Auteur), Barosan, I. (Afstudeerdocent 1), 14 aug. 2020Scriptie/Masterproef: Master
Bestand -
Car-Following System with Human-like behavior
Salcedo Velasquez, A. (Auteur), Barosan, I. (Afstudeerdocent 1) & van Weperen, M. (Externe coach), 21 dec. 2023Scriptie/Masterproef: Master
Bestand -
Characterizing Model Transformations Using Modal μ-calculus
Chaki, R. (Auteur), Wijs, A. (Afstudeerdocent 1), 13 okt. 2021Scriptie/Masterproef: Master
Bestand -
Classifying Java Classes Into Role Stereotypes Based on Their Behavior
Fung, K. Y. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1) & Rukmono, S. (Afstudeerdocent 2), 30 aug. 2023Scriptie/Masterproef: Master
Bestand -
Cleary-Cuckoo: A Compact Parallelizable Hash Table
Wöltgens, D. P. (Auteur), Wijs, A. J. (Afstudeerdocent 1) & Laarman, A. (Externe coach), 9 dec. 2022Scriptie/Masterproef: Master
Bestand -
Client repair on API-level using pre-trained language models
Chan, J. K. B. (Auteur), Ochoa Venegas, L. (Afstudeerdocent 1) & Babur, Ö. (Afstudeerdocent 2), 1 jul. 2024Scriptie/Masterproef: Master
Bestand -
Closed Polygonal Paths with Nontrivial Symmetries in 2D and 3D
van Veenendaal, M. (Auteur), Pendavingh, R. A. (Afstudeerdocent 1) & Verhoeff, T. (Afstudeerdocent 2), 23 apr. 2021Scriptie/Masterproef: Master
Bestand -
Code and Comment Consistency Classification with Large Language Models
Elmers, P. O. (Auteur), Serebrenik, A. (Afstudeerdocent 1), van Cauter, Z. M. (Afstudeerdocent 2) & Pechenizkiy, M. (Afstudeerdocent 2), 29 sep. 2023Scriptie/Masterproef: Master
Bestand -
Combining Dafny with Program Derivation
Sinx, R. D. (Auteur), Verhoeff, T. (Afstudeerdocent 1) & Huizing, C. (Afstudeerdocent 2), 10 mrt. 2023Scriptie/Masterproef: Master
Bestand -
Combining model learning results for interface protocol inference
Yang, N. (Auteur), Serebrenik, A. (Afstudeerdocent 1), Schiffelers, R. R. H. (Afstudeerdocent 2) & Aslam, K. (Afstudeerdocent 2), 23 apr. 2018Scriptie/Masterproef: Master
Bestand -
Communication and Synchronization in Digital Twins: Benefits, Requirements and Constraints
Waalboer, D. (Auteur), van den Brand, M. G. J. (Afstudeerdocent 1) & Thelosen, R. (Externe coach), 24 aug. 2021Scriptie/Masterproef: Master
Bestand