关注
Julian Siber
Julian Siber
CISPA Helmholtz Center for Information Security
在 cispa.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Formal Specifications from Natural Language
C Hahn, F Schmitt, JJ Tillman, N Metzger, J Siber, B Finkbeiner
arXiv preprint arXiv:2206.01962, 2022
242022
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
132022
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
132021
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
112022
Counterfactuals Modulo Temporal Logics
B Finkbeiner, J Siber
Logic for Programming, Artificial Intelligence and Reasoning: 24th …, 2023
52023
Checking and Sketching Causes on Temporal Sequences
R Beutner, B Finkbeiner, H Frenkel, J Siber
Automated Technology for Verification and Analysis: 21st International …, 2023
22023
Attention Flows for General Transformers
N Metzger, C Hahn, J Siber, F Schmitt, B Finkbeiner
arXiv preprint arXiv:2205.15389, 2022
12022
Synthesis of Temporal Causality
B Finkbeiner, H Frenkel, N Metzger, J Siber
Computer Aided Verification: 36th International Conference, CAV 2024 …, 2024
2024
Learning Better Representations From Less Data For Propositional Satisfiability
M Ghanem, F Schmitt, J Siber, B Finkbeiner
arXiv preprint arXiv:2402.08365, 2024
2024
系统目前无法执行此操作，请稍后再试。
文章 1–9