Julian Siber
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | KR | An Information-Flow Perspective on Explainability Requirements: Specification and Verification. | Bernd Finkbeiner, Hadar Frenkel, Julian Siber |
| 2025 | LICS | Closure and Complexity of Temporal Causality. | Mishel Carelli, Bernd Finkbeiner, Julian Siber |
| 2025 | TACAS | Stream-Based Monitoring of Algorithmic Fairness. | Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil |
| 2024 | CAV | Synthesis of Temporal Causality. | Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber |
| 2023 | ATVA | Checking and Sketching Causes on Temporal Sequences. | Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber |
| 2023 | LPAR | Counterfactuals Modulo Temporal Logics. | Bernd Finkbeiner, Julian Siber |
| 2022 | ATVA | Temporal Causality in Reactive Systems. | Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber |
| 2022 | CAV | Explaining Hyperproperty Violations. | Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber |
| 2021 | CAV | Causality-Based Game Solving. | Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber |