Items where Author is "Siber, Julian"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Beutner, Raven and Finkbeiner, Bernd and Frenkel, Hadar and Siber, Julian
(2023) Checking and Sketching Causes on Temporal Sequences.
In: ATVA 2023.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis
(Submitted)

Finkbeiner, Bernd and Siber, Julian
(2023) Counterfactuals Modulo Temporal Logics.
In: LPAR-23, June 4-9, 2023, Manizales, Colombia.
Conference: LPAR Logic Programming and Automated Reasoning

Coenen, Norine and Finkbeiner, Bernd and Frenkel, Hadar and Hahn, Christopher and Metzger, Niklas and Siber, Julian
(2022) Temporal Causality in Reactive Systems.
In: ATVA 2022.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis
(In Press)

Coenen, Norine and Dachselt, Raimund and Finkbeiner, Bernd and Frenkel, Hadar and Hahn, Christopher and Horak, Tom and Metzger, Niklas and Siber, Julian
(2022) Explaining Hyperproperty Violations.
In: 34th International Conference on Computer Aided Verification (CAV 22).
Conference: CAV Computer Aided Verification
(Submitted)

Baier, Christel and Coenen, Norine and Finkbeiner, Bernd and Funke, Florian and Jantsch, Simon and Siber, Julian
(2021) Causality-Based Game Solving.
In: 33rd International Conference, CAV 2021, July 20–23, 2021, Virtual Event.
Conference: CAV Computer Aided Verification

This list was generated on Sun Dec 22 03:01:08 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.