Items where Author is "Metzger, Niklas"

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

Beutner, Raven and Finkbeiner, Bernd and Frenkel, Hadar and Metzger, Niklas
(2023) Second-Order Hyperproperties.
In: CAV 2023, 17-22/07/23, Paris.
Conference: CAV Computer Aided Verification

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)

Finkbeiner, Bernd and Metzger, Niklas and Moses, Yoram
(2022) Information Flow Guided Synthesis.
In: 34th International Conference on Computer Aided Verification (CAV 22), August 7-10, 2022, Haifa, Israel.
Conference: CAV Computer Aided Verification
(Unpublished)

Finkbeiner, Bernd and Klein, Felix and Metzger, Niklas
(2022) Live synthesis.
Innovations in Systems and Software Engineering. ISSN 1614-5046

Horak, Tom and Coenen, Norine and Metzger, Niklas and Hahn, Christopher and Flemisch, Tamara and Méndez, Julián and Dimov, Dennis and Finkbeiner, Bernd and Dachselt, Raimund
(2021) Visual Analysis of Hyperproperties for Understanding Model Checking Results.
In: IEEE VIS 2021.
Conference: IEEE VIS IEEE Visualization

Finkbeiner, Bernd and Klein, Felix and Metzger, Niklas
(2021) Live Synthesis.
In: 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), 18 - 22 October 2021, Golden Coast, Australia.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis

Hecking-Harbusch, Jesko and Metzger, Niklas
(2019) Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems.
In: UNSPECIFIED.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis

This list was generated on Fri Nov 22 19:49:44 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.