To content
Department of Computer Science
Design Automation of Embedded Systems Group

M.Sc. Mario Günzel

Send an E-Mail

 

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

Profile Picture © Mario Günzel

Bachelor/Master Thesis

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

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)

Publications

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

2024

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

    Paper (Open Access) 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)
  • 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
  • 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) 

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

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

Journal Reviewer

  • IEEE Transactions on Computers
  • Journal of Systems Architecture
  • The Journal of Supercomputing
  • ACM Transactions on Embedded Computing Systems (TECS)

Artifact Evaluation

  • Committee Member
    Euromicro Conference on Real-Time Systems (ECRTS)
    2023
  • Committee Member
    IEEE Real-Time Systems Symposium (RTSS)
    2023
  • Committee Member
    Euromicro Conference on Real-Time Systems (ECRTS)
    2024

Subreviewer

For several conferences, including: EMSoft 2023, RTAS 2024, EMSoft 2024, ICCAD 2024, RTSS 2024