Tim-Marek Thomas (M.Sc.)

Wissenschaftlicher Mitarbeiter

---

Telefon

0511 762 19738

---

E-mail

thomas@sra.uni-hannover.de

---

Adresse

Appelstraße 4
30167 Hannover

---

Gebäude

3703

---

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

2024

EMSOFT Journal A
KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions

Illia Ostapyshyn, Gabriele Serra, Tim-Marek Thomas, Daniel LohmannIEEE Transactions on Computer-Aided Design of Integrated Circuits and SystemsIEEE Computer Society Press2024Accepted.
PDF 10.1109/TCAD.2024.3443773 [BibTex]

×

BibTex Entry

@article{ostapyshyn:24:emsoft,
author = {Ostapyshyn, Illia and Serra, Gabriele and Thomas, Tim-Marek and Lohmann, Daniel},
doi = {10.1109/TCAD.2024.3443773},
entrysubtype = {Journal},
journaltitle = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
note = {Accepted},
publisher = {IEEE Computer Society Press},
title = {KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions},
year = {2024},
}

Close

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]

×

BibTex Entry

@inproceedings{dietrich:23:iccad,
location = {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},
doi = {10.1109/ICCAD57390.2023.10323809},
entrysubtype = {Conference},
month = {October},
publisher = {ACM Press},
title = {Checkpoint Placement for Systematic Fault-Injection Campaigns},
url = {https://arxiv.org/abs/2308.05521},
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,
location = {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},
year = {2022},
}

Close

Teaching

Supervised Theses

Running Theses

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)

Leveraging Application-Specific Knowledge to Guide Statistical Fault Injection

Awesome sampling methods for fast fault injection campaigns.

---

 

Typ

Bachelorarbeit

---

 

Status

abgeschlossen

---

 

Supervisors

Tim-Marek Thomas
Daniel Lohmann

---

 

Project

CLASSY-FI

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)