|
|
|
Kontakt Email:
Loading... |
|
Lehre
- Vorlesung: Fortgeschrittene Objektorientierung , Sommersemester 2022
- Praktikum: PSE: Visualisierung von Typinferenz , Wintersemester 2020/2021
- Vorlesung: Fortgeschrittene Objektorientierung , Sommersemester 2019
- Praktikum: PSE: Visualisierung von Prolog-Ausführungen , Sommersemester 2018
- Vorlesung: Programmierparadigmen , Wintersemester 2017/2018
- Übung: Programmierparadigmen - Übungen , Wintersemester 2017/2018, Beste Übung
- Übung: Übungen zu Fortgeschrittene Objektorientierung , Sommersemester 2017, Beste Übung
- Vorlesung: Programmierparadigmen , Wintersemester 2016/2017, Beste Pflichtveranstaltung
- Übung: Programmierparadigmen - Übungen , Wintersemester 2016/2017, Beste Übung
- Praktikum: PSE: Visualisierung von Programmgraphen , Sommersemester 2016
Veröffentlichungen
2022
-
On Time-Sensitive Control Dependencies
ACM Trans. Program. Lang. Syst. March 2022, pp. 1--37 : M. Hecker, S. Bischof, G. Snelting
2018
-
Illi Isabellistes Se Custodes Egregios Praestabant
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday 2018, pp. 267--282 : S. Bischof, J. Breitner, D. Lohner, G. Snelting -
Low-Deterministic Security For Low-Nondeterministic Programs
Journal of Computer Security 2018, pp. 335--366 : S. Bischof, J. Breitner, J. Graf, M. Hecker, M. Mohr, G. Snelting -
Using Theorem Provers to Increase the Precision of Dependence Analysis
for Information Flow Control
Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings 2018, pp. 284--300 : B. Beckert, S. Bischof, M. Herda, M. Kirsten, M. K. Büning
2017
-
Combining Graph-Based and Deduction-Based Information-Flow Analysis
Proceedings of the 5th Workshop on Hot Issues in Security Principles and Trust --- Hotspot 2017 2017, pp. 6--25 : B. Beckert, S. Bischof, M. Herda, M. Kirsten, M. K. Büning