Julian Siber

According to our database, Julian Siber authored at least 5 papers between 2021 and 2022.

Collaborative distances:

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

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