Theses
This list is just a collection of thesis ideas that were already formulated. We always have more interesting ideas, which were not written down yet, on the topics operating systems, real-time systems, dependability, computer architecture, software variability, etc. So, if this list is empty, you find none of the presented theses ideas interesting, our you have this one brilliant idea you want to pursuit, just come around or write a mail.
Thesis Template
On all lab computers you find under /proj/templates/thesis
a LaTeX template (including the required cover page) for your BA/MA thesis document. Just copy this template to start.
Open Topics
There are currently no theses advertised. If you have an idea for a topic, feel free to contact us. 😃
Running Theses
De-slacking MultiSSE: Improving Timing Analysis and Code Synthesis in ARA, an LLVM-Based Whole-System Compiler for Multi-Core Real-Time Systems
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Gerion Entrup
Björn Fiedler
Daniel Lohmann - Project
- AHA
Design and Implementation of an HDMI Text-Terminal Peripheral for the LiteX SoC Generator
- Typ
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Björn Fiedler
Christian Dietrich
Daniel Lohmann - Bearbeiter
- Farhad Javadi
Efficient Copy-on-Write for Virtual-Memory Objects
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Pasha Fistanto
Efficient Swapping of Shared Virtual-Memory Objects
- Typ
- Bachelorarbeit
- Status
- reserviert
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
Extending GNU Make With Custom Fingerprints to Reduce Redundant Recompilation
- Typ
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Tobias Landsberg
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Sergej Reich
Extracting Connections Between Defining Elements of LLVM Intermediate Representation to Improve Regression Test Selection
- Typ
- Masterarbeit
- Status
- reserviert
- Supervisors
- Tobias Landsberg
Daniel Lohmann - Project
- CADOS
Fast Memory Ballooning for Virtual Machines with LLFree
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Lars Wrenger
Daniel Lohmann - Project
- ParPerOS
Generic Metatdata Transport of High-Level–Language Properties between LLVM-Compiler Fron and Middle End for Static Analysis
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
Huge Pages for Virtual-Memory Objects
- Typ
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Marko Bolowski
Implementation of Optimized AUTOSAR Systems for RISC-V with ARA
- Typ
- Bachelorarbeit
- Status
- reserviert
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
Leveraging Application-Specific Knowledge to Guide Statistical Fault Injection
- Typ
- Bachelor-/Masterarbeit
- Status
- laufend
- Supervisors
- Tim-Marek Thomas
Daniel Lohmann - Project
- CLASSY-FI
Optimizing Memory Metadata: Dynamic Allocation of Struct Pages in the Linux Kernel
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Lars Wrenger
Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Paul Aumann
Page Eviction for Shared Virtual-Memory Objects
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Tim Hollmann
Finished Theses
2023 (17 theses)
Synchronized Thread-Level Address-Space Views for the Dragonfly BSD Kernel
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Dominik Töllner
Daniel Lohmann - Project
- ATLAS
Structured Design of LaTeX-Beamer Slides and their Presentation in Multi-Moniter Environments
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Alexander Halbuer
Daniel Lohmann - Bearbeiter
- Simon Hermes
Investigating Total Store Ordering on the ARM M1
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Lars Wrenger
Dominik Töllner
Daniel Lohmann - Project
- ParPerOS
Hardening Rust: Extending the Compiler and Runtime for Dynamic Object Layout Randomization
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Dominik Töllner - Project
- ATLAS
- Bearbeiter
- Jan Neugebauer
Efficient Serialization of Page-Table-Based Virtual Memory Objects
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
Context-Based Mitigations for Side-Channel Attacks via Kernel Address-Space Views in Linux
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Daniel Lohmann - Project
- ParPerOS
IOMMU-assisted Memory Management: Sharing Virtual Memory Objects for Efficient Computing
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Kenny Albes (abgegeben: 05. Dec 2023)
Morsel Managment Layer: Making Morsels Actually Useful
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Darian Biastoch (abgegeben: 26. Oct 2023)
DynMELF: Extending the LLVM Linker to Support Dynamic Library Switching in MELFs
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Dominik Töllner
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Jens Köneke (abgegeben: 08. Oct 2023)
Databases on NVRAM
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Matthias Wormann (abgegeben: 02. Oct 2023)
Investigating Suspend to Disk in Linux
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Lars Wrenger
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Jannik Jahn (abgegeben: 25. Sep 2023)
LLC: DeRUSTing the Lo(ck|g)-Free Allocator for a C-Based OS Integration
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Lars Wrenger
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Helge Misfeldt (abgegeben: 18. Aug 2023)
Crossing the red light: Locks that never lock don't have to be taken.
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Andreas Kässens (abgegeben: 14. Jun 2023)
Configurable Depth Analysis: Create a meta analysis to statically analyze a system in different depths
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
Cloudbasiertes Sensorökosystem und Datawarehouse am Beispiel einer zu entwickelnden energieoptimierten Bürotemperierung
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Daniel Lohmann
Fast Memory Compaction for Page Allocators
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Lars Wrenger
Daniel Lohmann - Project
- ParPerOS
Design and Implementation of an OSEK-Conform Hard Real-Time Application Using LEGO Mindstorms EV3
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Gerion Entrup
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Barbara Seidl (abgegeben: 18. Mar 2023)
2022 (13 theses)
Software-Emulated Pointer Authentication for Control-Flow Integrity Protection
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gabriele Serra
Florian Rommel
Daniel Lohmann - Bearbeiter
- Illia Ostapyshyn
Predictive Run-Time Attack-Space Reduction
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Daniel Lohmann - Project
- ATLAS
Multiverse: Extending LLVM by Compiler-Assisted Dynamic Variability for Structs
- Typ
- Forschungsprojekt
- Status
- abgeschlossen
- Supervisors
- Tobias Landsberg
Florian Rommel
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Nishal Kulkarni
Primitives and Abstractions for Self-Contained Virtual-Memory Areas in the Linux kernel
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Lars Wrenger
Florian Rommel
Christian Dietrich
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Alexander Halbuer (abgegeben: 16. Nov 2022)
Evaluation and Adaptation of an LLVM-Based Whole-System-Compiler for Optimizing Embedded RISC-V/ARM Systems
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Tobias Landsberg
Gerion Entrup
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Domenik Kuhn (abgegeben: 26. Sep 2022)
What You See Is What I Want: Extending the LLVM Linker for View-Local Data in Multivariant ELFs
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Dominik Töllner
Daniel Lohmann - Project
- ATLAS
- Bearbeiter
- Max Känner (abgegeben: 19. Sep 2022)
Multiverse: Extending LLVM by Compiler-Assisted Dynamic Variability
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Tobias Landsberg
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Nils Fuhler (abgegeben: 19. Sep 2022)
Mindstorming with Erika: Porting an OSEK/AUTOSAR conform operating system to ARM9
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Tim-Marek Thomas
Gerion Entrup
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Jasper Lorenz (abgegeben: 09. Sep 2022)
Size does matter: Extending the LLVM Linker for Fine-Granular Multivariant ELF Executables
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Dominik Töllner
Florian Rommel
Daniel Lohmann - Project
- ATLAS
- Bearbeiter
- Jan Luca Willke (abgegeben: 11. Aug 2022)
Design and Implementation of a Windows based Kernel Anti-Cheat to Ensure Realtime Integrity and a Tamper-Free Environment
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Tim-Marek Thomas
Daniel Lohmann
Lo(ck|g)-free Page Allocator for Non-Volatile Memory in the Linux Kernel
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Christian Dietrich
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Lars Wrenger (abgegeben: 04. Apr 2022)
Let ARA Fly Fast: Optimizing an LLVM-Based Whole-System Optimizer for Embedded Real-Time Systems via Systematic Profiling
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
Bringing Light into the Dark: Interactive Graph Visualization of Static Analyses for Real-Time Operating Systems
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
2021 (14 theses)
Slothful Bird: Extend the ARA System Generator by a Sloth Backend for FreeRTOS and OSEK
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Daniel Lohmann - Project
- AHA
Multivariant ELF Executables for Dynamic Variability via Address-Space Views
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Daniel Lohmann - Project
- ATLAS
- Bearbeiter
- Dominik Töllner
Meson Language Design: Construction and Automatic Checking of a Meson-Object Classification
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Paul Aumann
Extending DragonFly BSD for Synchronized Thread-Level Address-Space Views
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Daniel Lohmann - Project
- ATLAS
ARA in the wild: Systematic Application and Evaluation of ARA as a Whole-System Optimizer on Real-World Applications
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Daniel Lohmann - Project
- AHA
Source-to-source Transformation with Clang: Traversing the AST to Uniquely Identify and Mark C++ Macros
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
Efficient Change Impact Quantification by Global AST Hashing
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Tobias Landsberg
Daniel Lohmann - Project
- cHashCADOS
- Bearbeiter
- Maximilian Werner (abgegeben: 05. Nov 2021)
Design and Implementation of an Early Timeout-Detection Mechanism for Systematic Fault-Injection Campaigns
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Oskar Pusz
Daniel Lohmann - Project
- CLASSY-FI
- Bearbeiter
- Tim-Marek Thomas (abgegeben: 22. Oct 2021)
System Calls as Prepared Statements: Extend ARA to Precompute Interaction System Calls
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Lukas Berg (abgegeben: 20. Sep 2021)
Fixed-Point Analysis in SVF: Iterative Value Flow Graph Construction
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
Whole-Program Analysis of POSIX/Linux-Applications: Design and Implementation of an Operating-System Model
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Jan Neugebauer (abgegeben: 29. Jul 2021)
Pruning of Soft-Error Fault Spaces by Dynamic Register-Usage Tracing in a Formal Instruction-Set Model
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Project
- CLASSY-FI
- Bearbeiter
- Yannick Loeck (abgegeben: 26. May 2021)
Design and Implementation of Benchmarks for Systematic Fault Injection
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Oskar Pusz
Daniel Lohmann - Project
- CLASSY-FI
- Bearbeiter
- Jannis Bujak (abgegeben: 02. Mar 2021)
Design und Implementierung eines Zephyr-RTOS-Modells für ARA zur statischen Whole-System-Analyse
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Kenny Albes (abgegeben: 28. Feb 2021)
2020 (14 theses)
Vermeidung von Seitenfehlern zum Programmstart durch einen persistent-prädiktiven Seitenzwischenspeicher im Linux Kern
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Stefan Naumann
Daniel Lohmann - Project
- CADOSParPerOS
- Bearbeiter
- Simon Burandt
Erweiterung des Python-Programmiermodells um NVRAM-persistierte Sprachobjekte
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Stefan Naumann
Daniel Lohmann - Project
- ParPerOS
Erweiterung des Linux-Kerns um mehrstufige Seitenumlagerung für Systeme mit nichtflüchtigem Speicher (NVM)
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Stefan Naumann
Daniel Lohmann - Project
- CADOSParPerOS
- Bearbeiter
- Christian Müller
Entwurf und Implementierung einer leichtgewichtigen Linux-Programmbibliothek für persistent-adressierte, nicht-flüchtige Speicherbereich
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Stefan Naumann
Daniel Lohmann - Project
- CADOSParPerOS
- Bearbeiter
- Niklas Hoh
Effizientes Laden dünn besetzter Datenstrukturen auf eingebetteten Systemen
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Jannis Thöle
Design and Implementation of a Graphical Simulator for a Pipelined Processor Architecture
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Jürgen Brehm - Bearbeiter
- Kwok-Fung Choi
Design and Implementation of a Configurable Simulator for an Educational Microcoded Processor Architecture
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Jürgen Brehm
Compile-Time Malloc: Static Analysis and Replacement of Formerly Dynamic Memory Allocations using LLVM and the ARA Framework.
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Gerion Entrup
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Christoph Möller
MultiSSE: Full Static Emulation of a Multicore System at the example of AUTOSAR RTOS
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Fredo Nowak (abgegeben: 24. Dec 2020)
Transient-Fault Resilience of a Capability-enabled Processor Plattform
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Project
- CLASSY-FI
- Bearbeiter
- Malte Bargholz (abgegeben: 01. Nov 2020)
Formalizing the Execution Semantics of the AVR Instruction Set with the Description Language SAIL
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Oskar Pusz
Daniel Lohmann - Project
- CLASSY-FI
- Bearbeiter
- Luca Nedaskovskij (abgegeben: 16. Oct 2020)
Implementierung und Evaluation eines FUSE-Dateisystems für Linux zur Integration erweiterter Änderungsdetektionsverfahren in Buildsystemen
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Tobias Landsberg
Daniel Lohmann - Project
- cHashCADOS
- Bearbeiter
- Malte Müller (abgegeben: 08. Aug 2020)
Acceleration of Fault-Injection Campaigns through Early Timeout Detection
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Oskar Pusz
Daniel Lohmann - Project
- CLASSY-FI
- Bearbeiter
- Felix Siegel (abgegeben: 22. May 2020)
Idealer Gebrauch von LLVM-Optimierungstechniken zur Verbesserung statischer Analyse von Echtzeitsystemen
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Manuel Breiden (abgegeben: 19. Apr 2020)
2019 (16 theses)
Statische Instanziierung von FreeRTOS Systemobjekten zur Verbesserung nichtfuntionaler Eigenschaften mit dem ARA Codegenerator Framework
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Daniel Lohmann - Project
- AHA
Investigating Non-Disruptive Checkpoints via Address-Space Clones in Linux-Based Non-Volatile Memory Systems
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Sergej Perschin
Investigating Microarchitectural Effects on Code Optimization for Specific Processor Models
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Stefan Naumann
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Vitali Fendel
How to trust the Snake: Extending the Chain of Trust to Interpreted Languages on Highly Embedded Systems
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Stefan Naumann
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Lars Wrenger
Automatische Generierung statistisch spezialisierter FreeRTOS-Kerne mit LLVM
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Jonas Hollmann
Accelerate Micropython: Developing Accelerators for Micropython on the RISC-V platform
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Stefan Naumann
Daniel Lohmann - Project
- AHA
Extending the Linux Kernel for Wait-Free Live Patching of Multi-Threaded Processes
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Christian Dietrich
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Lennart Glauer (abgegeben: 20. Nov 2019)
Run-Time Binary Patching for Systems with Dynamically Loadable Modules
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Dominik Töllner (abgegeben: 01. Sep 2019)
Design and Implementation of a Real-Time Aware Robot Based on ARM9 and OSEK/AUTOSAR
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
Schotbruch: Automatisierte Ableitung von Injektionsplattformen für transiente Hardwarefehler aus formalen Prozessormodellen
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Project
- CLASSY-FI
- Bearbeiter
- Marcel Budoj (abgegeben: 08. May 2019)
Measuring Effects of Compiler Flags on Different Processor Architectures
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Florian Rommel
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Carlo Schmitt (abgegeben: 21. Mar 2019)
bAUTOSAR: A Javascript Real-Time Abstraction for Improved Website Responsiveness
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Bearbeiter
- Robin Thrift (abgegeben: 15. Mar 2019)
Automatic Real-Time System Analysis
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Benedikt Steinmeier (abgegeben: 06. Mar 2019)
Data-Flow Analysis for Fault-Equivalence Set Forming on the ISA Layer
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Oskar Pusz
Christian Dietrich
Daniel Lohmann - Project
- CLASSY-FI
- Bearbeiter
- Zena Obeidi (abgegeben: 01. Mar 2019)
Untersuchung von Angriffszenarien aus dem Desktopberreich auf Linux-basierte Infotainmentsysteme im Automobil
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Bearbeiter
- Manuel Krüger (abgegeben: 13. Feb 2019)
ROS Timestamps for libusb in the Linux Kernel
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Christian Dietrich
Daniel Lohmann - Project
- AHA
2018 (7 theses)
Analyzing and Optimizing TLB-Induced Thread Migration Costs on Linux/ARM
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Christian Dietrich
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Tobias Landsberg (abgegeben: 21. Nov 2018)
Integration of a Priority-Obedient Interrupt Controller into the Rocket Softcore
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Christian Dietrich
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Matthias Wolf (abgegeben: 01. Nov 2018)
Fault-Space Approximation using Call-Region Fault Injection
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Oskar Pusz
Daniel Lohmann - Bearbeiter
- anonymous (abgegeben: 01. Nov 2018)
Bintail: Binary Level Tailoring of ELF Executables via Feature Selection and Variant Elimination
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Christian Dietrich
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Felix Herrmann (abgegeben: 01. Nov 2018)
Fault-Space Approximation using Basic-Block Fault Injection
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Oskar Pusz
Christian Dietrich
Daniel Lohmann - Bearbeiter
- Daniel Kiechle (abgegeben: 15. Oct 2018)
Measurement-Directed Application of Compiler-Assisted Dynamic Variability Management in the Linux Kernel
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Christian Dietrich
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Michael Rodin (abgegeben: 01. Oct 2018)
InterSloth: Globales Hardware-gesteuertes Scheduling in einem Multikern-Echtzeitbetriebssystem auf RISC-V
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Christian Dietrich
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Malte Bargholz (abgegeben: 09. Aug 2018)
2017 (4 theses)
Integration of AST Hashing into the GCC compiler
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Project
- cHashCADOS
Avoidance of Redundant Recompilations by Propagation of Semantic Fingerprints
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Project
- cHashCADOS
Multiverse: Compiler-Assisted Dynamic Variability Management in the Linux Kernel
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Andreas Ziegler
Wolfgang Schröder-Preikschat
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Florian Rommel (abgegeben: 02. Nov 2017)
Effiziente globale Änderungsanalysen in großen C-Projekten durch Syntaxbaum-Hashing im Clang Compiler
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Andreas Ziegler
Wolfgang Schröder-Preikschat
Daniel Lohmann - Project
- cHash
2016 (2 theses)
Priority-Obedient Multicore Interrupt Controller
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann
Separating Control and Data Stacks with Binary Patching
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann