Send email Copy Email Address
PhD Student

Julian Siber

Email

Phone

Address

Campus E1 1
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Julian Siber

Year 2023

2023-10-24

Checking and Sketching Causes on Temporal Sequences

Conference / Medium

ATVA
ATVA 2023 - International Symposium on Automated Technology for Verification and AnalysisATVA 2023

Tags
Algorithmic Foundations and Cryptography
Authors
Download Visit Detail Page
2023-06-03

Counterfactuals Modulo Temporal Logics

Conference / Medium

LPAR
Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and ReasoningLPAR-23

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2022

2022-10-25

Temporal Causality in Reactive Systems

Conference / Medium

ATVA
ATVAATVA 2022

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2022-05-06

Explaining Hyperproperty Violations

Conference / Medium

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

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2021

2021-07-15

Causality-Based Game Solving

Conference / Medium

CAV
Proceedings, Part I33rd International Conference, CAV 2021

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page