PhD Student

Julian Siber

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Further Information

https://www.react.uni-saarland.de/people/siber.html

Publications by Julian Siber

Year 2023

2023-06

Counterfactuals Modulo Temporal Logics

Conference / Medium

International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
Counterfactuals Modulo Temporal Logics

Tags

Reliable Security Guarantees

Authors

Full Paper Visit Detail Page

Year 2022

2022-10-25

Temporal Causality in Reactive Systems

Book section

Lecture Notes in Computer Science

Tags

Reliable Security Guarantees

Authors

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

Full Paper Visit Detail Page

2022-05-06

Explaining Hyperproperty Violations

Book section

Lecture Notes in Computer Science

Tags

Reliable Security Guarantees

Authors

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

Full Paper Visit Detail Page

Year 2021

2021-07-15

Causality-Based Game Solving

Conference / Medium

Computer Aided Verification (CAV)

Tags

Reliable Security Guarantees

Authors

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

Full Paper Visit Detail Page