Julian Siber

Contact

Reactive Systems Group

CISPA Helmholtz Center for Information Security

Building: E 1 1, Room: 1.13

Phone:	+49 681 302 5666
eMail:	julian.siber at cispa.de

Office Hours:

Whenever my door is open.

Conferences
[BFFS23]	Checking and Sketching Causes on Temporal Sequences. With Raven Beutner, Bernd Finkbeiner, and Hadar Frenkel. 21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023).
[FS23]	Counterfactuals Modulo Temporal Logics. With Bernd Finkbeiner. 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2023).
[CFFHMS22]	Temporal Causality in Reactive Systems. With Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, and Niklas Metzger. 20th International Symposium on Automated Technology for Verification and Analysis (ATVA 2022).
[CDFFH+22]	Explaining Hyperproperty Violations. With Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, and Niklas Metzger. 34th International Conference on Computer-Aided Verification (CAV 2022).
[BCFFJS21]	Causality-Based Game Solving. With Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, and Simon Jantsch. 33rd International Conference on Computer-Aided Verification (CAV 2021).
Preprints
[HSTMSF22]	Formal Specifications from Natural Language. With Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, and Bernd Finkbeiner.
Theses
[S21]	Causal Solving of Reachability Games. Master Thesis. Saarland University, 2021.
[S19]	Causality-Based Model Checking for Real-Time Systems. Bachelor Thesis. Saarland University, 2019.

Temporal Causality in Reactive Systems: Slides.
At 21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023). In Singapore. October 2023.
Counterfactuals Modulo Temporal Logics: Slides.
At 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2023). In Manizales, Colombia. June 2023.
Temporal Causality in Reactive Systems: Virtual talk.
At 20th International Symposium on Automated Technology for Verification and Analysis (ATVA 2022). Virtual Event. October 2022.
Explaining Hyperproperty Violations: Slides.
At 34th International Conference on Computer-Aided Verification (CAV 2022). In Haifa, Israel. August 2022.
Causality-based Game Solving: Virtual talk.
At 33rd International Conference on Computer-Aided Verification (CAV 2021). Virtual Event. July 2021.

Member of Artifact Evaluation Commitee of TACAS 2024.
Journal Reviewer for ISSE.
Subreviewer for STACS 2024, ATVA 2023, NFM 2023, TACAS 2023, RV 2022, CONCUR 2022, TACAS 2022, CONCUR 2021, ATVA 2021.

Summer 2023	Advisor for Hyperproperties at the Reactive Systems Group.
Summer 2022	Advisor for Neural-Symbolic Computing at the Reactive Systems Group.
Winter 2021/2022	Assistant for Verification at the Reactive Systems Group.
Summer 2021	Advisor for Software Reliability at the Reactive Systems Group.
Summer 2020	Organizer of Didactic Seminar for Student TAs at the Reactive Systems Group.
Winter 2019/2020	Student TA for Verification at the Reactive Systems Group.
Summer 2019	Organizer and Coach for Mathematics Precourse at Saarland University.
Winter 2017/2018	Organizer of Didactic Seminar for Re-exam Student TAs at the Reactive Systems Group.
Winter 2017/2018	Supervision Student TA for Programming 1 at the Reactive Systems Group, which received the Busy Beaver award for outstanding teaching performance.
Summer 2017	Lecturer and Coach for Mathematics Precourse at Saarland University, which received the BESTE award for student initiatives and extraordinary commitment.
Winter 2016/2017	Student TA for Programming 1 at the Dependable Systems and Software Chair.
Summer 2016	Student TA for Mathematics Precourse at Saarland University.
Winter 2015/2016	Re-exam Student TA for Programming 1 at the Programming Systems Lab.