Leveraging Dynamic Resource Management for Power Management and Fault Tolerance in High Performance Computing
2024
Dissertation
176 p.
Multi-Radio Access Technology Coexistence and Resource Allocation Approaches for Aircraft Related Communication
2024
Dissertation
132 p.
Guaranteeing Complex Safety Specifications for Autonomous Vehicles via Reinforcement Learning with Formal Methods
2024
Dissertation
169 p.
Accurate and Lightweight Run-time Power Estimation and Power Forecasting Models for Multi-core Processors
2024
Dissertation
151 p.
Correct-by-Construction Controller Synthesis for Safety-Critical Systems
2024
Dissertation
220 p.
Code Optimization and Generation of Machine Learning and Driver Software for Memory-Constrained Edge Devices
2024
Dissertation
109 p.
Studies on the impact of operator-designed cobot's behaviors for industrial use-cases
2024
Dissertation
171 p.