Dr. rer. nat. Mario Günzel

Mario Günzel earned his M.Sc. degree in 2019 from the Faculty of Mathematics at the University of Duisburg-Essen in Germany. He is currently pursuing his Ph.D. as a student at the Chair for Design Automation of Embedded Systems at TU Dortmund University, Germany, under the supervision of Prof. Dr. Jian-Jia Chen.

His primary research interest lies in the field of embedded and real-time systems. Presently, his research is focused on schedulability analysis of self-suspending task sets and end-to-end timing analysis. Additionally, he is exploring analytical guarantees for probabilistic scenarios.

• 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)