Julian Siber

A profile picture of 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.

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
[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] NeuRes: Learning Proofs of 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

Scientific Service

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 2024 Advisor for Neural-Symbolic Computing at the Reactive Systems Group.
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.