Follow
Julian Siber
Julian Siber
CISPA Helmholtz Center for Information Security
Verified email at cispa.de - Homepage
Title
Cited by
Cited by
Year
Formal Specifications from Natural Language
C Hahn, F Schmitt, JJ Tillman, N Metzger, J Siber, B Finkbeiner
arXiv preprint arXiv:2206.01962, 2022
182022
Causality-Based Game Solving
C Baier, N Coenen, B Finkbeiner, F Funke, S Jantsch, J Siber
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
102021
Temporal Causality in Reactive Systems
N Coenen, B Finkbeiner, H Frenkel, C Hahn, N Metzger, J Siber
Automated Technology for Verification and Analysis: 20th International …, 2022
92022
Explaining Hyperproperty Violations
N Coenen, R Dachselt, B Finkbeiner, H Frenkel, C Hahn, T Horak, ...
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa …, 2022
52022
Counterfactuals Modulo Temporal Logics
B Finkbeiner, J Siber
Logic for Programming, Artificial Intelligence and Reasoning: 24th …, 2023
32023
Attention Flows for General Transformers
N Metzger, C Hahn, J Siber, F Schmitt, B Finkbeiner
arXiv preprint arXiv:2205.15389, 2022
12022
NeuRes: Learning Proofs of Propositional Satisfiability
M Ghanem, F Schmitt, J Siber, B Finkbeiner
arXiv preprint arXiv:2402.08365, 2024
2024
Checking and Sketching Causes on Temporal Sequences
R Beutner, B Finkbeiner, H Frenkel, J Siber
Automated Technology for Verification and Analysis: 21st International …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–8