Artikel mit Open-Access-Mandaten - Niklas MetzgerWeitere Informationen
Verfügbar: 9
Second-order hyperproperties
R Beutner, B Finkbeiner, H Frenkel, N Metzger
International Conference on Computer Aided Verification, 309-332, 2023
Mandate: Deutsche Forschungsgemeinschaft, European Commission, Bundesministerium für …
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
Mandate: Deutsche Forschungsgemeinschaft, Bundesministerium für Bildung und Forschung
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
Mandate: Deutsche Forschungsgemeinschaft, European Commission, Bundesministerium für …
Efficient trace encodings of bounded synthesis for asynchronous distributed systems
J Hecking-Harbusch, NO Metzger
International Symposium on Automated Technology for Verification and …, 2019
Mandate: Deutsche Forschungsgemeinschaft, 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
Mandate: Deutsche Forschungsgemeinschaft, European Commission, Bundesministerium für …
Live synthesis
B Finkbeiner, F Klein, N Metzger
Innovations in Systems and Software Engineering 18 (3), 443-454, 2022
Mandate: Deutsche Forschungsgemeinschaft, European Commission, Bundesministerium für …
Information flow guided synthesis
B Finkbeiner, N Metzger, Y Moses
International Conference on Computer Aided Verification, 505-525, 2022
Mandate: Deutsche Forschungsgemeinschaft, Bundesministerium für Bildung und Forschung
Information Flow Guided Synthesis with Unbounded Communication
B Finkbeiner, N Metzger, Y Moses
International Conference on Computer Aided Verification, 64-86, 2024
Mandate: European Commission
Synthesis of Temporal Causality
B Finkbeiner, H Frenkel, N Metzger, J Siber
International Conference on Computer Aided Verification, 87-111, 2024
Mandate: European Commission
Angaben zur Publikation und Finanzierung werden automatisch von einem Computerprogramm ermittelt