Julian Siber

According to our database, Julian Siber authored at least 16 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models.

Frederik Schmitt, Matthias Cosler, Niklas Metzger, Julian Siber, Vladimir Krsmanovic, Mohamed Ghanem, Bernd Finkbeiner

CoRR, May, 2026

2025

Explainability requirements as hyperproperties.

Bernd Finkbeiner, Julian Siber

Acta Informatica, December, 2025

Stream-Based Monitoring of Algorithmic Fairness.

Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

Closure and Complexity of Temporal Causality.

Mishel Carelli, Bernd Finkbeiner, Julian Siber

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

An Information-Flow Perspective on Explainability Requirements: Specification and Verification.

Bernd Finkbeiner, Hadar Frenkel, Julian Siber

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

2024

NeuRes: Learning Proofs of Propositional Satisfiability.

Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner

CoRR, 2024

Learning Better Representations From Less Data For Propositional Satisfiability.

Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

Counterfactual Explanations for MITL Violations.

Bernd Finkbeiner, Felix Jahn, Julian Siber

Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024

Synthesis of Temporal Causality.

Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Counterfactuals Modulo Temporal Logics.

Bernd Finkbeiner, Julian Siber

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Checking and Sketching Causes on Temporal Sequences.

Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Formal Specifications from Natural Language.

Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner

CoRR, 2022

Attention Flows for General Transformers.

Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner

CoRR, 2022

Explaining Hyperproperty Violations.

Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Temporal Causality in Reactive Systems.

Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Causality-Based Game Solving.

Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021