|
|
|
Kontakt Email:
Loading... |
|
Arbeitsgebiete
JOANA
Lehre
- Vorlesung: Praxis der Softwareentwicklung , Sommersemester 2020
- Praktikum: Praxis der Softwareentwicklung - Codespeed 2.0 , Wintersemester 2019/2020
Veröffentlichungen
2021
-
Upper Bound Computation of Information Leakages for Unbounded Recursion
Software Engineering and Formal Methods 2021, pp. 160--177 : J. Bechberger, A. Weigl
2018
-
Quantitative Information Flow Control on Program Dependency Graphs
December 2018 : J. Bechberger
2016
-
Besser Benchmarken
April 2016 : J. Bechberger
Betreute Studien- und Abschlussarbeiten
abgeschlossen
- Java zu Solidity, Bachelorarbeit
- Exhaustiveness Überprüfung für Structural Pattern Matching in Python 3.10, Bachelorarbeit
- Informationsfluss beschränkender Interpreter , Masterarbeit
- Quantitative Informationsflusskontrolle für Java auf Basis von Bounded Model Checking , Bachelorarbeit
- Autotuning für Benchmarks, Bachelorarbeit
Bearbeitete Studien- und Abschlussarbeiten
- Besser Benchmarken (abgeschlossen), Bachelorarbeit
- Quantitative Informationsflusskontrolle auf Programmabhängigkeitsgraphen (abgeschlossen), Masterarbeit