M.Sc. Mario Günzel
Phone number:
+49 (231) 755-6052
Address:
Mario Günzel
Technische Universität Dortmund
Lehrstuhl Informatik 12
Otto-Hahn-Str. 16
44227 Dortmund
Room E16
Short Bio
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.
Research Interest
- Real-Time Systems
- Embedded Systems
- Self-Suspension
- Schedulability Tests
- Scheduling Algorithms
- End-To-End Timing Analysis
- Neural Networks
Education
- 2019-now PhD Student, TU Dortmund University, Department of Computer Science, Research Group: Design Automation for Embedded Systems (Prof. Dr. Chen)
- 2017-2019 Master of Science Mathematics, University of Duisburg-Essen, Thesis: Localizing Holes in Data Sets Using Persistent Homology
- 2014-2017 Bachelor of Science Mathematics, University of Duisburg-Essen
Working Experience
- 2019-now Research Assistant, TU Dortmund University, Department of Computer Science, Research Group: Design Automation for Embedded Systems (Prof. Dr. Chen)
- 2014-2018 Student/scientific assistant, University of Duisburg-Essen
- 2017 Internship in the field of machinery and equipment, Fraunhofer IML, Dortmund
- 2009 Internship in the field of chemical laboratory technician, Max-Planck Institute, Mülheim an der Ruhr
Research Visits
- 01.11.2022-24.02.2023 Interconnected Resource-aware Intelligent Systems (IRIS) group, Eindhoven University of Technology (Geoffrey Nelissen)
Thesis Supervision
If you are interested in a bachelor or master thesis in the field of distributed real-time systems, self-suspension, or end-to-end analysis you are welcome to contact me.
Some suggested topics from my side can be found here: Thesis Topics
Completed Theses:
- BA: Odometry and IMU Fusion for Pose Estimation, 2024
GitHub - BA: Towards Exact Analysis of EDF-Like Scheduling, 2024
- MA: Evaluation Framework for End-to-End Analysis, 2024
Publications
My full list of publications can also be found on Google Scholar and DBLP.
2024
- 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 - 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 - 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 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)
Awards and Qualifications
- Best Paper Award
ACM SIGBED International Conference on Embedded Software (EMSOFT), 2024 - Best Paper Award
Euromicro Conference on Real-Time Systems (ECRTS), 2023 - Award for outstanding final thesis
Awarded by the Alumni Association ALMA MATH e.V. for the bachelor thesis, 2017 - UDE Scholarship
Awarded by the University of Duisburg-Essen, 2014--2019 - GDCh-Abitur award
Awared by the Gesellschaft Deutscher Chemiker e.V., 2014 - JGW Student Academy
Workshop on Neutrinophysics, 2013
Invited Talks and Lectures
- Property-Based Timing Analysis of Distributed Real-Time Systems
Invited Talk at Chair of Real Time Systems, RPTU Kaiserslautern, 09.10.2024 - Self-Suspension Strikes Back
Keynote RTSOPS 2024, with Jian-Jia Chen and Georg von der Brüggen, 09.07.2024 - End-to-End Analysis
Lecture for Real-Time Systems and Applications 2024, TU Dortmund, 14.06.2024 - Timing Analysis of Distributed Real-Time Systems
Invited Talk at CAES group, University of Twente, 12.04.2024 - End-to-End Analysis of Cause-Effect Chains
Invited Talk at Chair of Cyber-physical Systems in Production Engineering, TU Munich, 06.11.2023 - Shared Resource Access Protocols
Lecture for 2IMN20 Real-Time Systems, TU Eindhoven, 02.12.2022 - EDF-Like Scheduling for Self-Suspending Real-Time Tasks
Invited Talk at IRIS group, TU Eindhoven, 18.11.2022
Chair
- Discussant
Workshop on OPtimization for Embedded and ReAl-time systems (OPERA), in RTSS, 2023 - Session chair
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2023 - Workshop Chair
Junior Researcher Workshop on Real-Time Computing (JRWRTC), in RTNS, 2023
Program Committee
- Workshop on OPtimization for Embedded and ReAl-time systems (OPERA), 2024
- Workshop on OPtimization for Embedded and ReAl-time systems (OPERA), 2023
Artifact Evaluation Committee Member
- Euromicro Conference on Real-Time Systems (ECRTS), 2024
- IEEE Real-Time Systems Symposium (RTSS), 2023
- Euromicro Conference on Real-Time Systems (ECRTS), 2023
Journal Reviewer
- ACM Transactions on Embedded Computing Systems (TECS)
- IEEE Transactions on Computers
- Journal of Systems Architecture
- The Journal of Supercomputing
Subreviewer
For several conferences, including: EMSoft 2023, RTAS 2024, EMSoft 2024, ICCAD 2024, RTSS 2024