|
|
|
Contact Email:
Bitte warten... |
|
Courses
- Lecture: Advanced Object-Orientation , Sommersemester 2022
- Laboratory: PSE: Visualisation of Type Inference , Wintersemester 2020/2021
- Lecture: Advanced Object-Orientation , Sommersemester 2019
- Laboratory: PSE: Visualisation of Prolog Executions , Sommersemester 2018
- Lecture: Programming Paradigms , Wintersemester 2017/2018
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2017/2018, Beste Übung
- Common Excercises: Advanced Object-Orientation Excercises , Sommersemester 2017, Beste Übung
- Lecture: Programming Paradigms , Wintersemester 2016/2017, Beste Pflichtveranstaltung
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2016/2017, Beste Übung
- Laboratory: PSE: Visualisierung von Programmgraphen , Sommersemester 2016
Publications
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