Seguir
Niklas Metzger
Niklas Metzger
CISPA Helmholtz Center for Information Security
Dirección de correo verificada de cispa.saarland - Página principal
Título
Citado por
Citado por
Año
Formal specifications from natural language
C Hahn, F Schmitt, JJ Tillman, N Metzger, J Siber, B Finkbeiner
arXiv preprint arXiv:2206.01962, 2022
212022
Second-order hyperproperties
R Beutner, B Finkbeiner, H Frenkel, N Metzger
International Conference on Computer Aided Verification, 309-332, 2023
132023
Efficient trace encodings of bounded synthesis for asynchronous distributed systems
J Hecking-Harbusch, NO Metzger
International Symposium on Automated Technology for Verification and …, 2019
112019
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
102022
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
102021
Explaining hyperproperty violations
N Coenen, R Dachselt, B Finkbeiner, H Frenkel, C Hahn, T Horak, ...
International Conference on Computer Aided Verification, 407-429, 2022
72022
Live synthesis
B Finkbeiner, F Klein, N Metzger
Innovations in Systems and Software Engineering 18 (3), 443-454, 2022
42022
Monitoring second-order hyperproperties
R Beutner, B Finkbeiner, H Frenkel, N Metzger
arXiv preprint arXiv:2404.09652, 2024
22024
Information flow guided synthesis
B Finkbeiner, N Metzger, Y Moses
International Conference on Computer Aided Verification, 505-525, 2022
22022
Attention flows for general transformers
N Metzger, C Hahn, J Siber, F Schmitt, B Finkbeiner
arXiv preprint arXiv:2205.15389, 2022
12022
Synthesis of Temporal Causality
B Finkbeiner, H Frenkel, N Metzger, J Siber
arXiv preprint arXiv:2405.10912, 2024
2024
Information Flow Guided Synthesis (Full Version)
B Finkbeiner, N Metzger, Y Moses
arXiv preprint arXiv:2205.12085, 2022
2022
Complete Bounded Model Checking for Hyperproperties
F Bies, N Coenen, N Metzger, B Finkbeiner
2022
Conservative Hybrid Automata from Development Artifacts
N Metzger, S Schmitt, M Schwenger
arXiv preprint arXiv:2111.05613, 2021
2021
Explaining Hyperproperty Violations
H Frenkel, C Hahn, T Horak, N Metzger, J Siber
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15