Doktorand:in

Julian Siber

E-Mail

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Weitere Informationen

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

Veröffentlichungen von Julian Siber

Jahr 2023

2023-06

Counterfactuals Modulo Temporal Logics

Konferenz / Medium

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

Tags

Zuverlässige Sicherheitsgarantien

Autor:innen

Zum Paper Detail-Seite besuchen

Jahr 2022

2022-10-25

Temporal Causality in Reactive Systems

Buchkapitel

Lecture Notes in Computer Science

Tags

Zuverlässige Sicherheitsgarantien

Autor:innen

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

Zum Paper Detail-Seite besuchen

2022-05-06

Explaining Hyperproperty Violations

Buchkapitel

Lecture Notes in Computer Science

Tags

Zuverlässige Sicherheitsgarantien

Autor:innen

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

Zum Paper Detail-Seite besuchen

Jahr 2021

2021-07-15

Causality-Based Game Solving

Konferenz / Medium

Computer Aided Verification (CAV)

Tags

Zuverlässige Sicherheitsgarantien

Autor:innen

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

Zum Paper Detail-Seite besuchen