Tim-Marek Thomas (M.Sc.)

Wissenschaftlicher Mitarbeiter


Telefon
0511 762 19738

E-mail
thomas@sra.uni-hannover.de

Adresse
30167 Hannover
Appelstraße 4

Raum
Raum 132

Projects

CLASSY-FI: Cross-Layer Application-Specific Synthesis and Analysis of Fault Injection
Goal of the CLASSY-FI is to derive constructive methods and techniques for scalable, yet precise and complete fault injection (FI) to experimentally assess the robustness of safety-critical embedded control systems against soft errors.

Publications

2023

ICCAD Conference A
Checkpoint Placement for Systematic Fault-Injection Campaigns
Christian Dietrich, Tim-Marek Thomas, Matthias MnichICCAD '23: Proceedings of the 2023 IEEE/ACM International Conference on Computer-aided designACM Press2023.
PDF Raw Data 10.1109/ICCAD57390.2023.10323809 [BibTex]

2022

SAFECOMP Conference B
ACTOR: Accelerating Fault Injection Campaigns using Timeout Detection based on Autocorrelation
Tim-Marek Thomas, Christian Dietrich, Oskar Pusz, Daniel Lohmann41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)Springer-Verlag2022.
PDF Slides 10.1007/978-3-031-14835-4_17 [BibTex]

Teaching

Supervised Theses

Running Theses

Leveraging Application-Specific Knowledge to Guide Statistical Fault Injection

Awesome sampling methods for fast fault injection campaigns.

 
Typ
Bachelor-/Masterarbeit

 
Status
laufend

 
Supervisors
Tim-Marek Thomas
Daniel Lohmann

 
Project
CLASSY-FI

Finished Student Theses

Design and Implementation of a Windows based Kernel Anti-Cheat to Ensure Realtime Integrity and a Tamper-Free Environment

Exploratory work in the field of anti-cheat systems.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tim-Marek Thomas
Daniel Lohmann

Mindstorming with Erika: Porting an OSEK/AUTOSAR conform operating system to ARM9


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tim-Marek Thomas
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Jasper Lorenz (abgegeben: 09. Sep 2022)

Own Thesis

Design and Implementation of an Early Timeout-Detection Mechanism for Systematic Fault-Injection Campaigns

Avoiding unnecessary fault-injection campaign run time

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Tim-Marek Thomas (abgegeben: 22. Oct 2021)