Teaching and Courses

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

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-Verlag2022to appear.
[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)},
 entrysubtype = {Conference},
 note = {to appear},
 publisher = {Springer-Verlag},
 title = {ACTOR: Accelerating Fault Injection Campaigns using Timeout Detection based on Autocorrelation},
 userc = {CORE21:B},
 userd = {SAFECOMP '22},
 year = {2022}
}

Close

LCTES Conference A
Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults

Oskar Pusz, Christian Dietrich, Daniel LohmannProceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)ACM Press2021.
PDF Slides 10.1145/3461648.3463851 [BibTex]

×

BibTex Entry

@inproceedings{pusz:21:lctes,
 address = {New York, NY, USA},
 author = {Oskar Pusz and Christian Dietrich and Daniel Lohmann},
 booktitle = {Proceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)},
 doi = {10.1145/3461648.3463851},
 entrysubtype = {Conference},
 month = {June},
 pages = {97--109},
 publisher = {ACM Press},
 title = {Data-Flow--Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults},
 userc = {CORE20:A},
 userd = {LCTES '21},
 venue = {Virtual Conference},
 year = {2021}
}

Close

LCTES Artifact A
Source Code and Evaluation Data for the Paper: Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults

Oskar Pusz, Christian Dietrich, Daniel LohmannProceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)ACM Press2021.
10.5281/zenodo.4698901 [BibTex]

×

BibTex Entry

@article{pusz:21:lctes-ae,
 address = {New York, NY, USA},
 author = {Oskar Pusz and Christian Dietrich and Daniel Lohmann},
 booktitle = {Proceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)},
 doi = {10.5281/zenodo.4698901},
 entrysubtype = {Artifact},
 month = {June},
 publisher = {ACM Press},
 title = {Source Code and Evaluation Data for the Paper: Data-Flow--Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults},
 userc = {CORE20:A},
 userd = {LCTES '21},
 venue = {Virtual Conference},
 year = {2021}
}

Close

PRDC Conference B
Program-Structure–Guided Approximation of Large Fault Spaces

Oskar Pusz, Daniel Kiechle, Christian Dietrich, Daniel Lohmann2019 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19)IEEE Computer Society Press2019.
PDF Slides 10.1109/PRDC47002.2019.00044 [BibTex]

×

BibTex Entry

@inproceedings{pusz:19:prdc,
 address = {Washington, DC, USA},
 author = {Oskar Pusz and Daniel Kiechle and Christian Dietrich and Daniel Lohmann},
 booktitle = {2019 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19)},
 doi = {10.1109/PRDC47002.2019.00044},
 entrysubtype = {Conference},
 issn = {1555-094X},
 publisher = {IEEE Computer Society Press},
 title = {Program-Structure–Guided Approximation of Large Fault Spaces},
 userc = {CORE18:B},
 userd = {PRDC '19},
 year = {2019}
}

Close

DAC Conference A
Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection

Christian Dietrich, Achim Schmider, Oskar Pusz, Guillermo Payá-Vayá, Daniel LohmannProceedings of the 55th Annual Design Automation Conference 2018 (DAC '18)ACM Press2018.
PDF Slides Raw Data 10.1145/3195970.3196019 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:18:dac,
 address = {San Francisco, California, USA},
 author = {Christian Dietrich and Achim Schmider and Oskar Pusz and Guillermo Pay\'{a}-Vay\'{a} and Daniel Lohmann},
 booktitle = {Proceedings of the 55th Annual Design Automation Conference 2018 (DAC '18)},
 doi = {10.1145/3195970.3196019},
 entrysubtype = {Conference},
 isbn = {978-1-4503-5700-5/18/06},
 publisher = {ACM Press},
 title = {Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection},
 userc = {CORE18:A},
 userd = {DAC '18},
 year = {2018}
}

Close

Thesis
Entwurf interplanetarer Bahnkurven mittels Hint-basierter Optimierung

Oskar Pusz Master ThesisLeibniz Universität Hannover2016.
PDF [BibTex]

×

BibTex Entry

@thesis{pusz:16:master,
 author = {Oskar Pusz},
 entrysubtype = {Thesis},
 month = {July},
 school = {Leibniz Universit{\"a}t Hannover},
 title = {Entwurf interplanetarer Bahnkurven mittels Hint-basierter Optimierung},
 type = {Master Thesis},
 year = {2016}
}

Close

Thesis
Performance-Evaluation von Particle Swarm Optimization anhand der Maßsynthese eines Roboters

Oskar Pusz Bachelor ThesisLeibniz Universität Hannover2014.
PDF [BibTex]

×

BibTex Entry

@thesis{pusz:14:bachelor,
 author = {Oskar Pusz},
 entrysubtype = {Thesis},
 month = {March},
 school = {Leibniz Universit{\"a}t Hannover},
 title = {Performance-Evaluation von Particle Swarm Optimization anhand der Maßsynthese eines Roboters},
 type = {Bachelor Thesis},
 year = {2014}
}

Close

Supervised Theses

Finished Student Theses