Publications
Smart Contract Synthesis Modulo Hyperproperties [details]
With Bernd Finkbeiner, Jana Hofmann, and Julia Tillman
36th IEEE Computer Security Foundations Symposium (CSF 2023), July 2023
CSF Distinguished Paper Award!
Temporal Causality in Reactive Systems [details]
With Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, and Julian Siber
20th International Symposium on Automated Technology for Verification and Analysis (ATVA 2022), October 2022
Explaining Hyperproperty Violations [details]
With Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, and Julian Siber
34th International Conference on Computer-Aided Verification (CAV 2022), August 2022
Visual Analysis of Hyperproperties for Understanding Model Checking Results [details]
With Tom Horak, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, and Raimund Dachselt
2021 IEEE VIS: Visualization & Visual Analytics (VIS 2021), October 2021
Try our online tool and check out the project’s page.
Runtime Enforcement of Hyperproperties [details]
With Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, and Yannick Schillo
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), October 2021
A Temporal Logic for Asynchronous Hyperproperties [details]
With Jan Baumeister, Borzoo Bonakdarpour, Bernd Finkbeiner, and César Sánchez
33rd International Conference on Computer-Aided Verification (CAV 2021), July 2021
Watch my presentations: 5 minutes, 25 minutes.
Causality-Based Game Solving [details]
With Christel Baier, Bernd Finkbeiner, Florian Funke, Simon Jantsch, and Julian Siber
33rd International Conference on Computer-Aided Verification (CAV 2021), July 2021
Watch Julian Siber’s presentations: 5 minutes, 25 minutes.
The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective [details]
With Bernd Finkbeiner, Christopher Hahn, and Jana Hofmann
17th International Conference on Principles of Knowledge Representation and Reasoning, Recently Published Research Track (KR 2020), September 2020
Watch Jana Hofmann’s presentation: 5 minutes.
Verifying Hyperliveness [details]
Master’s Thesis, Saarland University, September 2019
Verifying Hyperliveness [details]
With Bernd Finkbeiner, César Sánchez, and Leander Tentrup
31st International Conference on Computer-Aided Verification (CAV 2019), July 2019
Causality and Hyperproperties [details]
NII Shonan Meeting No. 139: Causal Reasoning in Systems, June 2019
The Hierarchy of Hyperlogics [details]
With Bernd Finkbeiner, Christopher Hahn, and Jana Hofmann
34th Annual ACM/IEE Symposium on Logic in Computer Science (LICS 2019), June 2019
A Proof System for HyperLTL [details]
Bachelor’s Thesis, Saarland University, February 2016
Collaborative Newspaper: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario [details]
With Christian Lander, Marco Speicher, Denise Paradowski, Sebastian Biewer, and Antonio Krüger
4th ACM International Symposium on Pervasive Displays (PerDis 2015), June 2015