-
DAES
-
Lehre
-
Abschlussarbeiten
Completed theses
Systems Jan Peter Meyer Master's Thesis, 02.2022 2021 Formal Verification of Synchronization Protocols Implemented in Real-Time Operating Systems Christoph Cordt von Egidy Master's Thesis, 10.2021 Supporting [...] maschinellen Lernverfahren. Andreas Lang. Master's Thesis, 2018 Reservation-Based Federated Scheduling for Parallel Real-Time Tasks. Niklas Ueter. Master's Thesis, 2018 Nested Preemption Fixed-Priority Scheduler [...] Honeypots. Patrick Trockel. Master's Thesis, 2018 A PLC based real time material flow controller/calculator in warehouse management system. Siddharth Chithadka. Master's Thesis, 2018 Nested Preemption F …