Niklas Metzger

According to our database, Niklas Metzger authored at least 15 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Information Flow Guided Synthesis with Unbounded Communication.

Bernd Finkbeiner, Niklas Metzger, Yoram Moses

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Synthesis of Temporal Causality.

Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Monitoring Second-Order Hyperproperties.

Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Second-Order Hyperproperties.

Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Visual Analysis of Hyperproperties for Understanding Model Checking Results.

Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt

IEEE Trans. Vis. Comput. Graph., 2022

Live synthesis.

Bernd Finkbeiner, Felix Klein, Niklas Metzger

Innov. Syst. Softw. Eng., 2022

Formal Specifications from Natural Language.

Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner

CoRR, 2022

Attention Flows for General Transformers.

Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner

CoRR, 2022

Information Flow Guided Synthesis (Full Version).

Bernd Finkbeiner, Niklas Metzger, Yoram Moses

CoRR, 2022

Information Flow Guided Synthesis.

Bernd Finkbeiner, Niklas Metzger, Yoram Moses

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Explaining Hyperproperty Violations.

Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Temporal Causality in Reactive Systems.

Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Conservative Hybrid Automata from Development Artifacts.

Niklas Metzger, Sanny Schmitt, Maximilian Schwenger

CoRR, 2021

2019

aMAZEing Programming - Providing SKILLs to Fellow Students.

Timo P. Gros, Pascal Leo Held, Pascal Lauer, Niklas O. Metzger, Kallistos Weis

Proceedings of the Studierendenkonferenz Informatik, 2019

Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems.

Jesko Hecking-Harbusch, Niklas O. Metzger

Proceedings of the Automated Technology for Verification and Analysis, 2019