
Tim-Marek Thomas (M.Sc.)
Wissenschaftlicher Mitarbeiter
- Telefon
- NaN
- 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 -
ICCAD '23: Proceedings of the 2023 IEEE/ACM International Conference on Computer-aided designACM Press2023To appear.
PDF Raw Data [BibTex]
2022
-
SAFECOMP
Conference
B
ACTOR: Accelerating Fault Injection Campaigns using Timeout Detection based on Autocorrelation -
41st 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
Speeding-up Fault-Injection Campaigns using Checkpoint State Comparison
Implement a checkpoint comparison mechanism to accelerate FI Campaigns
- Typ
- Masterarbeit
- Status
- reserviert
- Supervisors
- Tim-Marek Thomas
Daniel Lohmann - Project
- CLASSY-FI
To sample or not to sample: Statistical Fault Injection
Awesome sampling methods for fast fault injection campaigns.
- Typ
- Bachelor-/Masterarbeit
- Status
- reserviert
- 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)