Julian Siber

Contact

Reactive Systems Group

CISPA Helmholtz Center for Information Security

Building: E 9.1, Room: 1.10

Phone:	+49 681 87083 2463
eMail:	julian.siber at cispa.de

Office Hours:

Whenever my door is open.

About Me

I am a Ph.D. student at Saarland University working at CISPA Helmholtz Center for Information Security. I am also a member of the Saarbrücken Graduate School of Computer Science.

Publications

Conferences
[FFMS24]	Synthesis of Temporal Causality. With Bernd Finkbeiner, Hadar Frenkel, and Niklas Metzger. 36th International Conference on Computer-Aided Verification (CAV 2024).
[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
[GSSF24]	Learning Better Representations from Less Data for Propositional Satisfiability. With Mohamed Ghanem, Frederik Schmitt, and Bernd Finkbeiner.
[MHSSF22]	Attention Flows for General Transformers. With Niklas Metzger, Christopher Hahn, Frederik Schmitt, and Bernd Finkbeiner.
[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.

Selected Presentations

Synthesis of Temporal Causality: Slides.
At 36th International Conference on Computer-Aided Verification (CAV 2024). In Montreal, Canada. July 2024.
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.
Explaining Hyperproperty Violations: Slides.
At 34th International Conference on Computer-Aided Verification (CAV 2022). In Haifa, Israel. August 2022.

Scientific Service

Member of Artifact Evaluation Commitee of TACAS’24.
Journal Reviewer for ISSE.
Subreviewer for CONCUR’24, LICS’24, STACS’24, ATVA’23, NFM’23, TACAS’23, RV’22, CONCUR’22, TACAS’22, CONCUR’21, ATVA’21.

Advising

Mohamed Ghanem	NeuRes: A Neural Resolution Prover of Unsatisfiability. Master Thesis, 2024. Co-advised by Frederik Schmitt.
Felix Jahn	Counterfactual Causality in Real-Time Systems. Master Thesis, 2023.
Tobias Wagenpfeil	Runtime Verification for Algorithmic Fairness. Bachelor Thesis, 2023. Co-advised by Jan Baumeister.

Teaching

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.