Running Theses
Configurable Depth Analysis: Create a meta analysis to statically analyze a system in different depths
Orchestrate different existing static analysis techniques to analyze a real-time system in different depths and show the working with an implementation in ARA.
- Typ
- Masterarbeit
- Status
- reserviert
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
Creating OSEK conform hard real time Applications for ErikaOS
- Typ
- Bachelorarbeit
- Status
- reserviert
- Supervisors
- Björn Fiedler
Gerion Entrup
Daniel Lohmann - Project
- AHA
Crossing the red light: Locks that never lock don't have to be taken.
Implement and evaluate an AUTOSAR synthesis with Lock Elision
- Typ
- Masterarbeit
- Status
- reserviert
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
Fast Memory Compaction for Page Allocators
Active memory defragmentation for page allocators.
- Typ
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Lars Wrenger
Daniel Lohmann - Project
- ParPerOS
Lo(ck|g)-free Memory Compaction for Persistent Page Allocators in Linux
Active memory defragmentation for a new persistent, lock- and log-free page allocator.
- Typ
- Masterarbeit
- Status
- reserviert
- Supervisors
- Lars Wrenger
Daniel Lohmann - Project
- ParPerOS