Julian Siber

An Information-Flow Perspective on Explainability Requirements: Specification and Verification

Explainability Requirements as Hyperproperties

Closure and Complexity of Temporal Causality

Stream-Based Monitoring of Algorithmic Fairness

Learning Better Representations from Less Data for Propositional Satisfiability

Counterfactual Explanations for MITL Violations

Synthesis of Temporal Causality

Checking and Sketching Causes on Temporal Sequences

Counterfactuals Modulo Temporal Logics

Temporal Causality in Reactive Systems

Explaining Hyperproperty Violations

Causality-Based Game Solving

Causal Solving of Reachability Games

Causality-Based Model Checking for Real-Time Systems

Counterfactual Causality in Real-Time Systems

Runtime Verification for Algorithmic Fairness

NeuRes: A Neural Resolution Prover of Unsatisfiability

Causal Analysis in Stream-Based Monitoring