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 | |
[GSSF24] | Learning Better Representations from Less Data for Propositional Satisfiability. With Mohamed Ghanem, Frederik Schmitt, and Bernd Finkbeiner. NeurIPS Spotlight Paper. 38th Annual Conference on Neural Information Processing Systems (NeurIPS 2024). |
[FJS24] | Counterfactual Explanations for MITL Violations. With Bernd Finkbeiner and Felix Jahn. 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024). |
[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 | |
[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.
- PC Member for AAAI’25 (Special Track on AI Alignment).
- 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
Christoph Steuer | Causal Analysis in Stream-Based Monitoring. Master Thesis, ongoing. |
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. |