E-mail senden E-Mail Adresse kopieren
Doktorand:in

Julian Siber

E-Mail

Telefon

Adresse

Campus E1 1
66123 Saarbrücken (Germany)

Gruppenmitglied in

Weitere Informationen

Veröffentlichungen von Julian Siber

Jahr 2022

2022-10-25

Temporal Causality in Reactive Systems

Konferenz / Medium

ATVA
ATVAATVA 2022

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Herunterladen Detail-Seite besuchen
2022-05-06

Explaining Hyperproperty Violations

Konferenz / Medium

CAV
34th International Conference on Computer Aided Verification, Proceedings (to appear)34th International Conference on Computer Aided Verification (CAV 22)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Herunterladen Detail-Seite besuchen

Jahr 2021

2021-07-15

Causality-Based Game Solving

Konferenz / Medium

CAV
Proceedings, Part I33rd International Conference, CAV 2021

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Herunterladen Detail-Seite besuchen