Julian Siber

24 papers A* 3B 3Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2025 A* conf
An Information-Flow Perspective on Explainability Requirements: Specification and Verification.
KR
Bernd Finkbeiner, Hadar Frenkel, Julian Siber
2025 J jnl
An Information-Flow Perspective on Explainability Requirements: Specification and Verification.
CoRR
Bernd Finkbeiner, Hadar Frenkel, Julian Siber
2025 A* conf
Closure and Complexity of Temporal Causality.
LICS
Mishel Carelli, Bernd Finkbeiner, Julian Siber
2025 J jnl
Closure and Complexity of Temporal Causality.
CoRR
Mishel Carelli, Bernd Finkbeiner, Julian Siber
2025 J jnl
Explainability Requirements as Hyperproperties.
CoRR
Bernd Finkbeiner, Julian Siber
2025 J jnl
Explainability requirements as hyperproperties.
Acta Informatica
Bernd Finkbeiner, Julian Siber
2025 — conf
Stream-Based Monitoring of Algorithmic Fairness.
TACAS (1)
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil
2025 J jnl
Stream-Based Monitoring of Algorithmic Fairness.
CoRR
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil
2024 — conf
Counterfactual Explanations for MITL Violations.
FSTTCS
Bernd Finkbeiner, Felix Jahn, Julian Siber
2024 J jnl
Counterfactual Explanations for MITL Violations.
CoRR
Bernd Finkbeiner, Felix Jahn, Julian Siber
2024 A* conf
Learning Better Representations From Less Data For Propositional Satisfiability.
NeurIPS
Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner
2024 J jnl
NeuRes: Learning Proofs of Propositional Satisfiability.
CoRR
Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner
2024 — conf
Synthesis of Temporal Causality.
CAV (3)
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
2024 J jnl
Synthesis of Temporal Causality.
CoRR
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
2023 B conf
Checking and Sketching Causes on Temporal Sequences.
ATVA
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber
2023 B conf
Counterfactuals Modulo Temporal Logics.
LPAR
Bernd Finkbeiner, Julian Siber
2023 J jnl
Counterfactuals Modulo Temporal Logics.
CoRR
Bernd Finkbeiner, Julian Siber
2022 J jnl
Attention Flows for General Transformers.
CoRR
Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner
2022 — conf
Explaining Hyperproperty Violations.
CAV (1)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
2022 J jnl
Explaining Hyperproperty Violations.
CoRR
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
2022 J jnl
Formal Specifications from Natural Language.
CoRR
Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner
2022 B conf
Temporal Causality in Reactive Systems.
ATVA
Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber
2021 — conf
Causality-Based Game Solving.
CAV (1)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
2021 J jnl
Causality-Based Game Solving.
CoRR
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber