Master thesis:

Topic Description Student Status
Redefining abstractions in software engineering using AI PDF AVAILABLE
AI powered Traceability in Software System Architecture PDF AVAILABLE
A generic AI training approach based on existing AI models PDF AVAILABLE
Framework for Continuous and Targeted Tracing of Software Execution PDF AVAILABLE
Visualization approach for Expressing Synchronization Intentions PDF AVAILABLE
AI assisted Software Engineering PDF AVAILABLE
Capturing Concurrency Aspects of Software Under Development to Reduce Testing Effort PDF AVAILABLE
Integrating Large Language Models into Agile Methodologies for Intelligent Code Review to Detect Anti-Patterns PDF Ezeoke Onyekachi Samuel IN PROGRESS
Architecture-centric Source Code Organisation Control PDF Rajat Rokade COMPLETED
Capturing Concurrency Aspects of Software Under Development To Reduce Testing Effort PDF Mae Hood COMPLETED
Automatic generation of Synchronization Primitives for Multithreaded Programs PDF Matheus Bortoloti Dias COMPLETED
Addressing software integration challenges for cross-organizational Agile teams in heterogeneous and distributed embedded systems PDF Eric Salewyn COMPLETED
Facilitation of AI-Supported generation of Source Code through Requirements Templates PDF Ahad Mushir COMPLETED
Testing performance of Microservices on Edge PDF Raghad Matar COMPLETED
Framework to facilitate development of multithreaded applications in ROS2 PDF Arian Ajdari COMPLETED
A Methodology for adopting Continuous Integration in Practice based on Architectural Design Patterns PDF Fahd Helwani COMPLETED
Continuous Testing Approach for Finding Data Races in Linux-based Industrial Embedded Systems PDF Volkan Doganci COMPLETED
Approach for predicting Effects of adopting Machine Learning in traditional Embedded Systems on their System Architecture PDF Robin Roitsch COMPLETED
Extracting Concurrency-Related Architectural Properties from Software Implementation PDF Monireh Pourjafarian COMPLETED
Generation of Test Cases in Multithreaded Software that Satisfy Modified Condition/Decision Coverage (MC/DC) PDF Jake Ekel COMPLETED
Guidelines for migration of concurrent software with lock synchronization primitives to lock-free software PDF Khuram Ali COMPLETED
Reducing Power Consumption in a Multicore LoRaWAN Embedded System PDF Gurpreet Kaur COMPLETED
Interactive design space exploration of multithreaded software deployment properties with visualization techniques PDF Muhammad Zeeshan COMPLETED
Manufacturer-Specific Software Development Tools Versus Off-the-Shelf Tools and Their Influence on Software System Architecture PDF Peter Enbrecht COMPLETED
Finding Concurrency Bugs in AUTOSAR APIs PDF Varun Kumar COMPLETED
A case study: Migration of a bare metal deployed, single channel safety control system to a Real Time Operating System – Challenges and benefits PDF Gerwin Langius COMPLETED
Distributed Work Scheduling for low power multicore DSP PDF Asheesh Saraswat COMPLETED
Development of "Steer by Angle" system for subjective testing of steering system in Driving Simulator PDF Prasanna V Kannan COMPLETED
Development of an application for autonomous outdoor navigation using ROS PDF Milosz Pellowski COMPLETED


Bachelor projects:

Topic Description Student Status
Enhancement of Lockset Eraser algorithm for finding concurrency bugs PDF AVAILABLE
Modelling of concurrency-relevant architectural decisions in Agile PDF AVAILABLE
Continuous testing of concurrent software PDF AVAILABLE
GitHub Application for Continuous Engineering PDF AVAILABLE
Integrating Memory Barriers and Large Language Models into Static Lockset-Based Data Race Detection PDF Jude Hill COMPLETED
Using NLP techniques to investigate the relation between reactivity to customer feedback and software product success PDF Samuel Seyoum COMPLETED
Heuristic-Based Inference of Version History Graphs PDF John Glass COMPLETED
Continuous Testing of Concurrent Software PDF Thomas Popay COMPLETED
Automatic Generation of Synchronisation Primitives for Multi-threaded Programs in Java PDF Hamza Hussain COMPLETED
Continuous Testing of Concurrent Software PDF Thomas Reynolds COMPLETED
Optimising generation of Minesweeper boards using formal verification PDF Khai Yang Teoh COMPLETED
Support for LLVM Interpreter to Run Multithreaded Applications PDF Victoria Adjei COMPLETED
Automating the Scheduling of Complex Events PDF Aidan Brocklebank COMPLETED
Framework for Targeted Tracing of Software Execution with Debug Symbols PDF COMPLETED
Improving Performance of LLVM Interpreter PDF COMPLETED
Support for LLVM Interpreter to run multithreaded applications PDF COMPLETED