Julian Siber

According to our database, Julian Siber authored at least 9 papers between 2021 and 2024.

Collaborative distances:

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

2024

NeuRes: Learning Proofs of Propositional Satisfiability.

Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner

CoRR, 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