Dr. rer. nat. Mario Günzel

Mario Günzel received the M.Sc. in Mathematics in 2019, and graduated in 2024 at the chair for Design Automation of Embedded Systems at TU Dortmund University in Germany, supervised by Prof. Dr. Jian-Jia Chen. His research interest is in the area of embedded and distributed real-time systems. He published over 30 articles in renowned journals and conferences, including several analytical results on self-suspending tasks and end-to-end latency of cause-effect chains, and received two best paper awards (ECRTS23 and EMSoft24) and one outstanding paper award (RTSS24). 

• Real-Time Systems
• Embedded Systems
• Self-Suspension
• Schedulability Tests
• Scheduling Algorithms
• End-To-End Timing Analysis
• Neural Networks

My full list of publications can also be found on Google Scholar and DBLP.

2024

• Optimizing Electric Vehicle Scheduling with Charging Guarantees using Flow Models with Local Penalties.
  Leoni Winschermann, Mario Günzel, Kuan-Hsun Chen, and Johann Hurink
  ACM e-Energy, 2025
• [Dissertation] Property-based timing analysis of distributed real-time systems.
  Mario Günzel
  Dissertation (Open Access)
• Eliminating Timing Anomalies in Scheduling Periodic Segmented Self-Suspending Tasks with Release Jitter.
  Ching-Chi Lin, Mario Günzel, Junjie Shi, Tristan Taylan Seidl, Kuan-Hsun Chen, and Jian-Jia Chen
  CoRR abs/2409.09061, 2024
  Paper (Open Access)
• End-To-End Latency of Cause-Effect Chains: A Tutorial.
  Mario Günzel, Harun Teper, Georg von der Brüggen, and Jian-Jia Chen
  ACM Transactions on Embedded Computing Systems, 2024
  Paper (Open Access)
• [Outstanding Paper] CAA: A Probabilistic Correlation-Aware Analysis of Periodic Tasks.
  Filip Markovic, Georg von der Brüggen, Mario Günzel, Jian-Jia Chen, and Björn Brandenburg
  In 45th IEEE Real-Time Systems Symposium (RTSS), 2024
  Preprint
• RTA for Limited-Preemptive Self-Suspending and Event-Driven Delay-Induced Tasks.
  Srinidhi Srinivasan, Mario Günzel, and Geoffrey Nelissen
  In 45th IEEE Real-Time Systems Symposium (RTSS), 2024
• [Best Paper Award] Thread Carefully: Preventing Starvation in the ROS 2 Multithreaded Executor.
  Harun Teper, Daniel Kuhse, Mario Günzel, Georg von der Brüggen, Falk Howar, and Jian-Jia Chen
  In International Conference on Embedded Software (EMSOFT), 2024
  Preprint Paper (Open Access) Source Code
• Towards Enabling Synchronous Releases for Periodic Tasks in RTEMS.
  Tristan Seidl, Mario Günzel, Jian-Jia Chen, and Kuan-Hsun Chen
  In Operating Systems Platforms for Embedded Real-Time applications (OSPERT), 2024
  Paper (Open Access)
• Tighter Worst-Case Response Time Bounds for Jitter-Based Self-Suspension Analysis.
  Mario Günzel, Georg von der Brüggen, and Jian-Jia Chen
  In 36th Euromicro Conference on Real-Time Systems (ECRTS), 2024
  Paper (Open Access)
• Self-Suspension Strikes Back
  Jian-Jia Chen, Mario Günzel, and Georg von der Brüggen
  Keynote at RTSOPS 2024
  Paper (Open Access)
• DAG Scheduling with Execution Groups.
  Junjie Shi, Mario Günzel, Niklas Ueter, Georg von der Brüggen and Jian-Jia Chen
  In 30th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2024
  Paper Preprint
• End-To-End Timing Analysis and Optimization of Multi-Executor ROS 2 Systems.
  Harun Teper, Tobias Betz, Mario Günzel, Dominic Ebner, Georg von der Brüggen, Johannes Betz, Jian-Jia Chen
  In 30th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2024
  Paper Preprint
• Sync or Sink? The Robustness of Sensor Fusion against Temporal Misalignment.
  Daniel Kuhse, Nils Hölscher, Mario Günzel, Harun Teper, Georg von der Brüggen, Jian-Jia Chen, Ching-Chi Lin
  In 30th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2024
  Paper Preprint
• Dawn of the Dead(line Misses): Impact of Job Dismiss on the Deadline Miss Rate.
  Jian-Jia Chen, Mario Günzel, Peter Bella, Georg von der Brüggen, and Kuan-Hsun Chen
  CoRR abs/2401.15503, 2024
  Paper (Open Access)
   

2023

• Priority Point Exploration in EDF-Like Scheduling for Self-Suspending Tasks.
  Mario Günzel, Kuan-Hsun Chen, Jian-Jia Chen, and Ching-Chi Lin
  Workshop on OPtimization for Embedded and ReAl-time systems (OPERA)
  co-located with the 44th IEEE Real-Time Systems Symposium (RTSS), 2023
  Paper (Open Access) Preprint Slides
• Probabilistic Reaction Time Analysis. 
  Mario Günzel, Niklas Ueter, Kuan-Hsun Chen, Georg von der Brüggen, Jian-Jia Chen
  In International Conference on Embedded Software (EMSOFT), 2023
  Paper (Open Access)
• Poster Presentation: Parameter Optimization for EDF-Like Scheduling of Self-Suspending Tasks.
  Mario Günzel and Jian-Jia Chen
  In 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2023
  Paper
• [Best Paper Award] On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains.
  Mario Günzel, Harun Teper, Kuan-Hsun Chen, Georg von der Brüggen and Jian-Jia Chen
  In 35th Euromicro Conference on Real-Time Systems (ECRTS), 2023
  Paper (Open Access) Preprint
• Compositional Timing Analysis of Asynchronized Distributed Cause-effect Chains.
  Mario Günzel, Kuan-Hsun Chen, Niklas Ueter, Georg von der Brüggen, Marco Dürr and Jian-Jia Chen
  ACM Transactions on Embedded Computing Systems, 2023
  Paper (Open Access) Source Code
• Lightning Talk: Property-Based Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems.
  Jian-Jia Chen, Niklas Ueter, Mario Günzel, Georg von der Brüggen and Tei-Wei Kuo
  In 60th ACM/IEEE Design Automation Conference (DAC), 2023
  Paper
• Scheduling Periodic Segmented Self-Suspending Tasks without Timing Anomalies.
  Ching-Chi Lin, Mario Günzel, Junjie Shi, Tristan Taylan Seidl, Kuan-Hsun Chen and Jian-Jia Chen
  In 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2023
  Paper Source Code
• Parallel Path Progression DAG Scheduling.
  Niklas Ueter, Mario Günzel, Georg von der Brüggen and Jian-Jia Chen
  IEEE Transactions on Computers, 2023
  Paper (Open Access)
• Timing Analysis of Cause-Effect Chains with Heterogeneous Communication Mechanisms.
  Mario Günzel, Niklas Ueter, Kuan-Hsun Chen and Jian-Jia Chen
  In 31st International Conference on Real-Time Networks and Systems (RTNS), 2023
  Paper (Open Access) Source Code

2022

• End-To-End Timing Analysis in ROS2.
  Harun Teper, Mario Günzel, Niklas Ueter, Georg von der Brüggen and Jian-Jia Chen
  In 43rd IEEE Real-Time Systems Symposium (RTSS), 2022
  Paper Preprint Artifact
• Critical instant for probabilistic timing guarantees: Refuted and revisited.
  Kuan-Hsun Chen, Mario Günzel, Georg von der Brüggen and Jian-Jia Chen
  In 43rd IEEE Real-Time Systems Symposium (RTSS), 2022
  Paper Preprint Artifact
• EDF-Like Scheduling for Self-Suspending Real-Time Tasks.
  Mario Günzel, Georg von der Brüggen, Kuan-Hsun Chen and Jian-Jia Chen
  In 43rd IEEE Real-Time Systems Symposium (RTSS), 2022
  Paper Preprint Artifact
• Type-aware Federated Scheduling for Typed DAG Tasks on Heterogeneous Multicore Platforms.
  Ching-Chi Lin, Junjie Shi, Niklas Ueter, Mario Günzel, Jan Reineke and Jian-Jia Chen
  IEEE Transactions on Computers, 2022
  Paper (Open Access)
• Parallel Path Progression DAG Scheduling.
  Niklas Ueter, Mario Günzel, Georg von der Brüggen and Jian-Jia Chen
  CoRR abs/2208.11830, 2022
  Paper (Open Access)
• Unikernel-Based Real-Time Virtualization under Deferrable Servers: Analysis and Realization.
  Kuan-Hsun Chen, Mario Günzel, Boguslaw Jablkowski, Markus Buschhoff and Jian-Jia Chen
  In 34th Euromicro Conference on Real-Time Systems (ECRTS), 2022
  Paper (Open Access) Artifact

2021

• EDF-Like Scheduling for Self-Suspending Real-Time Tasks.
  Mario Günzel, Kuan-Hsun Chen and Jian-Jia Chen
  CoRR abs/2111.09725, 2021
  Paper (Open Access)
• Universal Approximation Theorems of Fully Connected Binarized Neural Networks.
  Mikail Yayla, Mario Günzel, Burim Ramosaj and Jian-Jia Chen
  CoRR abs/2102.02631, 2021
  Paper (Open Access)
• End-to-End Processing Chain Analysis.
  Mario Günzel, Niklas Ueter, Kuan-Hsun Chen, Georg von der Brüggen, Junjie Shi and Jian-Jia Chen
  Industry Challenge of 42nd IEEE Real-Time Systems Symposium (RTSS), 2021
  Paper (Open Access)
• Work-in-Progress: Evaluation Framework for Self-Suspending Schedulability Tests.
  Mario Günzel, Harun Teper, Kuan-Hsun Chen, Georg von der Brüggen and Jian-Jia Chen
  In 42nd IEEE Real-Time Systems Symposium (RTSS), 2021
  Paper Preprint Artifact 
• Suspension-Aware Fixed-Priority Schedulability Test with Arbitrary Deadlines and Arrival Curves.
  Mario Günzel, Niklas Ueter and Jian-Jia Chen
  In 42nd IEEE Real-Time Systems Symposium (RTSS), 2021
  Paper Preprint Source Code
• Response-Time Analysis and Optimization for Probabilistic Conditional Parallel DAG Tasks.
  Niklas Ueter, Mario Günzel and Jian-Jia Chen
  In 42nd IEEE Real-Time Systems Symposium (RTSS), 2021
  Paper
• Response-Time Analysis and Optimization for Probabilistic Conditional Parallel DAG Tasks.
  Niklas Ueter, Mario Günzel and Jian-Jia Chen
  CoRR abs/2101.11053, 2021
  Paper (Open Access)
• Timing Analysis of Asynchronized Distributed Cause-Effect Chains.
  Mario Günzel, Kuan-Hsun Chen, Niklas Ueter, Georg von der Brüggen, Marco Dürr and Jian-Jia Chen
  In 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2021
  Paper Preprint
• Hard Real-Time Stationary GANG-Scheduling.
  Niklas Ueter, Mario Günzel, Georg von der Brüggen and Jian-Jia Chen
  In 33rd Euromicro Conference on Real-Time Systems (ECRTS), 2021
  Paper (Open Access)
• Margin-Maximization in Binarized Neural Networks for Optimizing Bit Error Tolerance.
  Sebastian Buschjäger, Jian-Jia Chen, Kuan-Hsun Chen, Mario Günzel, Christian Hakert, Katharina Morik, Rodion Novkin, Lukas Pfahler and Mikail Yayla
  In Design, Automation and Test in Europe Conference (DATE), 2021
  Paper Preprint
• Bit Error Tolerance Metrics for Binarized Neural Networks.
  Sebastian Buschjäger, Jian-Jia Chen, Kuan-Hsun Chen, Mario Günzel, Katharina Morik, Rodion Novkin, Lukas Pfahler and Mikail Yayla
  CoRR abs/2102.01344, 2021
  Paper (Open Access)
• HEART: Hybrid Memory and Energy-Aware Real-Time Scheduling for Multi-Processor Systems.
  Mario Günzel, Christian Hakert, Kuan-Hsun Chen and Jian-Jia Chen
  In 21th International Conference on Embedded Software (EMSOFT), 2021
  Paper (Open Access)
• A note on slack enforcement mechanisms for self-suspending tasks.
  Mario Günzel and Chen, Jian-Jia
  Real Time Systems Journal, 2021
  Paper (Open Access)

2020

• Towards Explainable Bit Error Tolerance of Resistive RAM-Based Binarized Neural Networks.
  Sebastian Buschjäger, Jian-Jia Chen, Kuan-Hsun Chen, Mario Günzel, Christian Hakert, Katharina Morik, Rodion Novkin, Lukas Pfahler and Mikail Yayla
  CoRR abs/2002.00909, 2020
  Paper (Open Access)
• Suspension-Aware Earliest-Deadline-First Scheduling Analysis.
  Mario Günzel, Georg von der Brüggen and Jian-Jia Chen
  20th International Conference on Embedded Software (EMSOFT), 2020
  Paper (Open Access)
• Correspondence Article: Counterexample for suspension-aware schedulability analysis of EDF scheduling.
  Mario Günzel and Jian-Jia Chen
  Real Time Systems Journal, 2020
  Paper (Open Access)
• On Schedulability Analysis of EDF Scheduling by Considering Suspension as Blocking.
  Mario Günzel and Jian-Jia Chen
  CoRR abs/2001.05747, 2020
  Paper (Open Access)