Niklas Metzger

25 papers A* 1A 1B 2Journal 15Unranked 6
YearRankTypeTitle / Venue / Authors
2026 A* conf
Universal Safety Controllers with Learned Prophecies.
AAAI
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 — conf
Synthesis of Universal Safety Controllers.
TACAS (2)
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 J jnl
Synthesis of Universal Safety Controllers.
CoRR
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 J jnl
Universal Safety Controllers with Learned Prophecies.
CoRR
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2024 — conf
Information Flow Guided Synthesis with Unbounded Communication.
CAV (3)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
2024 J jnl
Information Flow Guided Synthesis with Unbounded Communication.
CoRR
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
2024 A conf
Monitoring Second-Order Hyperproperties.
AAMAS
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2024 J jnl
Monitoring Second-Order Hyperproperties.
CoRR
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2024 — conf
Synthesis of Temporal Causality.
CAV (3)
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
2024 J jnl
Synthesis of Temporal Causality.
CoRR
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
2023 — conf
Second-Order Hyperproperties.
CAV (2)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2023 J jnl
Second-Order Hyperproperties.
CoRR
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2022 J jnl
Attention Flows for General Transformers.
CoRR
Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner
2022 — conf
Explaining Hyperproperty Violations.
CAV (1)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
2022 J jnl
Explaining Hyperproperty Violations.
CoRR
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
2022 J jnl
Formal Specifications from Natural Language.
CoRR
Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner
2022 J jnl
Information Flow Guided Synthesis (Full Version).
CoRR
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
2022 — conf
Information Flow Guided Synthesis.
CAV (2)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
2022 J jnl
Live synthesis.
Innov. Syst. Softw. Eng.
Bernd Finkbeiner, Felix Klein, Niklas Metzger
2022 B conf
Temporal Causality in Reactive Systems.
ATVA
Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber
2022 J jnl
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
IEEE Trans. Vis. Comput. Graph.
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
2021 J jnl
Conservative Hybrid Automata from Development Artifacts.
CoRR
Niklas Metzger, Sanny Schmitt, Maximilian Schwenger
2021 B conf
Live Synthesis.
ATVA
Bernd Finkbeiner, Felix Klein, Niklas Metzger
2021 J jnl
Live Synthesis.
CoRR
Bernd Finkbeiner, Felix Klein, Niklas Metzger
2021 J jnl
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
CoRR
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt