Niklas Metzger

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 16

Top Topics

Temporal Ordering

Information Flows

Reactive Systems

Top Venues

Innov. Syst. Softw. Eng.

Publications

Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
Synthesis of Temporal Causality. CAV (3) (2024)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information Flow Guided Synthesis with Unbounded Communication. CAV (3) (2024)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information Flow Guided Synthesis with Unbounded Communication. CoRR (2024)
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
Synthesis of Temporal Causality. CoRR (2024)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Monitoring Second-Order Hyperproperties. AAMAS (2024)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Monitoring Second-Order Hyperproperties. CoRR (2024)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Second-Order Hyperproperties. CoRR (2023)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Second-Order Hyperproperties. CAV (2) (2023)
Bernd Finkbeiner, Felix Klein, Niklas Metzger
Live synthesis. Innov. Syst. Softw. Eng. 18 (3) (2022)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
Explaining Hyperproperty Violations. CAV (1) (2022)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
Explaining Hyperproperty Violations. CoRR (2022)
Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber
Temporal Causality in Reactive Systems. ATVA (2022)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information Flow Guided Synthesis. CAV (2) (2022)
Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner
Attention Flows for General Transformers. CoRR (2022)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information Flow Guided Synthesis (Full Version). CoRR (2022)
Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner
Formal Specifications from Natural Language. CoRR (2022)