Articles with public access mandates - Julian SiberLearn more
Available somewhere: 5
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
Mandates: German Research Foundation, Federal Ministry of Education and Research, Germany
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
Mandates: German Research Foundation, European Commission
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
Mandates: German Research Foundation, European Commission, Federal Ministry of …
Checking and Sketching Causes on Temporal Sequences
R Beutner, B Finkbeiner, H Frenkel, J Siber
Automated Technology for Verification and Analysis: 21st International …, 2023
Mandates: European Commission
Synthesis of Temporal Causality
B Finkbeiner, H Frenkel, N Metzger, J Siber
Computer Aided Verification: 36th International Conference, CAV 2024 …, 2024
Mandates: European Commission
Publication and funding information is determined automatically by a computer program