Articles with public access mandates - Niklas MetzgerLearn more
Available somewhere: 9
Second-order hyperproperties
R Beutner, B Finkbeiner, H Frenkel, N Metzger
International Conference on Computer Aided Verification, 309-332, 2023
Mandates: German Research Foundation, European Commission, Federal Ministry of …
Temporal causality in reactive systems
N Coenen, B Finkbeiner, H Frenkel, C Hahn, N Metzger, J Siber
International Symposium on Automated Technology for Verification and …, 2022
Mandates: German Research Foundation, Federal Ministry of Education and Research, Germany
Visual analysis of hyperproperties for understanding model checking results
T Horak, N Coenen, N Metzger, C Hahn, T Flemisch, J Méndez, D Dimov, ...
IEEE Transactions on Visualization and Computer Graphics 28 (1), 357-367, 2021
Mandates: German Research Foundation, European Commission, Federal Ministry of …
Efficient trace encodings of bounded synthesis for asynchronous distributed systems
J Hecking-Harbusch, NO Metzger
International Symposium on Automated Technology for Verification and …, 2019
Mandates: German Research Foundation, European Commission
Explaining hyperproperty violations
N Coenen, R Dachselt, B Finkbeiner, H Frenkel, C Hahn, T Horak, ...
International Conference on Computer Aided Verification, 407-429, 2022
Mandates: German Research Foundation, European Commission, Federal Ministry of …
Live synthesis
B Finkbeiner, F Klein, N Metzger
Innovations in Systems and Software Engineering 18 (3), 443-454, 2022
Mandates: German Research Foundation, European Commission, Federal Ministry of …
Information flow guided synthesis
B Finkbeiner, N Metzger, Y Moses
International Conference on Computer Aided Verification, 505-525, 2022
Mandates: German Research Foundation, Federal Ministry of Education and Research, Germany
Information Flow Guided Synthesis with Unbounded Communication
B Finkbeiner, N Metzger, Y Moses
International Conference on Computer Aided Verification, 64-86, 2024
Mandates: European Commission
Synthesis of Temporal Causality
B Finkbeiner, H Frenkel, N Metzger, J Siber
International Conference on Computer Aided Verification, 87-111, 2024
Mandates: European Commission
Publication and funding information is determined automatically by a computer program