Julian Siber
Scholar

Julian Siber

Google Scholar ID: -o-djgkAAAAJ
CISPA Helmholtz Center for Information Security
Formal MethodsCausalityExplainabilityAlgorithmic Fairness
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
157
 
H-index
6
 
i10-index
6
 
Publications
13
 
Co-authors
16
list available
Contact
No contact links provided.
Publications
7 items
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
2026
Cited
0
Explainability Requirements as Hyperproperties
2025
Cited
0
An Information-Flow Perspective on Explainability Requirements: Specification and Verification
2025
Cited
0
Closure and Complexity of Temporal Causality
2025
Cited
0
Stream-Based Monitoring of Algorithmic Fairness
2025
Cited
0
Counterfactual Explanations for MITL Violations
Foundations of Software Technology and Theoretical Computer Science · 2024
Cited
0
Synthesis of Temporal Causality
International Conference on Computer Aided Verification · 2024
Cited
1
Resume (English only)
Co-authors
16 total
Bernd Finkbeiner
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Niklas Metzger
Niklas Metzger
CISPA Helmholtz Center for Information Security
Christopher Hahn
Christopher Hahn
Google DeepMind
Frederik Schmitt
Frederik Schmitt
Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University
Hadar Frenkel
Hadar Frenkel
Bar Ilan University
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Christel Baier
Christel Baier
TU Dresden