Julian Siber

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 13

Top Topics

Natural Language

Reactive Systems

Top Venues

Publications

Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
Synthesis of Temporal Causality. CAV (3) (2024)
Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner
NeuRes: Learning Proofs of Propositional Satisfiability. CoRR (2024)
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
Synthesis of Temporal Causality. CoRR (2024)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber
Checking and Sketching Causes on Temporal Sequences. ATVA (2023)
Bernd Finkbeiner, Julian Siber
Counterfactuals Modulo Temporal Logics. LPAR (2023)
Bernd Finkbeiner, Julian Siber
Counterfactuals Modulo Temporal Logics. CoRR (2023)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
Explaining Hyperproperty Violations. CAV (1) (2022)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
Explaining Hyperproperty Violations. CoRR (2022)
Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber
Temporal Causality in Reactive Systems. ATVA (2022)
Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner
Attention Flows for General Transformers. CoRR (2022)
Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner
Formal Specifications from Natural Language. CoRR (2022)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Causality-Based Game Solving. CAV (1) (2021)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Causality-Based Game Solving. CoRR (2021)