Tim-Marek Thomas (M.Sc.)

Wissenschaftlicher Mitarbeiter

---

Telefon

NaN

---

E-mail

thomas@sra.uni-hannover.de

---

Adresse

30167 Hannover
Appelstraße 4

---

Raum

Raum 132

×

Appelstraße 4 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 Press2023To appear.
PDF Raw Data [BibTex]

×

BibTex Entry

@inproceedings{dietrich:23:iccad,
 address = {New York, NY, USA},
 author = {Dietrich, Christian and Thomas, Tim-Marek and Mnich, Matthias},
 booktitle = {ICCAD '23: Proceedings of the 2023 IEEE/ACM International Conference on Computer-aided design},
 entrysubtype = {Conference},
 month = {October},
 note = {To appear},
 publisher = {ACM Press},
 title = {Checkpoint Placement for Systematic Fault-Injection Campaigns},
 url = {https://arxiv.org/abs/2308.05521},
 userc = {CORE21:A},
 userd = {ICCAD '23},
 venue = {San Francisco, CA, USA},
 year = {2023}
}

Close

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]

×

BibTex Entry

@inproceedings{thomas:22:safecomp,
 address = {Munich, Germany},
 author = {Tim-Marek Thomas and Christian Dietrich and Oskar Pusz and Daniel Lohmann},
 booktitle = {41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)},
 doi = {10.1007/978-3-031-14835-4_17},
 entrysubtype = {Conference},
 publisher = {Springer-Verlag},
 title = {ACTOR: Accelerating Fault Injection Campaigns using Timeout Detection based on Autocorrelation},
 userc = {CORE21:B},
 userd = {SAFECOMP '22},
 year = {2022}
}

Close

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

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)