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 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