Niklas Metzger

Affiliations:

CISPA Helmholtz Center for Information Security, Reactive Systems Group, Saarbrücken, Germany
Saarland University, Saarbrücken, Germany

According to our database¹, Niklas Metzger authored at least 11 papers between 2019 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Other

Bibliography

2022

Visual Analysis of Hyperproperties for Understanding Model Checking Results.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2022

Live synthesis.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Felix Klein

Niklas Metzger

Innov. Syst. Softw. Eng., 2022

Formal Specifications from Natural Language.

[BibT_eX]

[DOI]

CoRR, 2022

Attention Flows for General Transformers.

[BibT_eX]

[DOI]

CoRR, 2022

Information Flow Guided Synthesis (Full Version).

[BibT_eX]

[DOI]

Bernd Finkbeiner

Niklas Metzger

Yoram Moses

CoRR, 2022

Information Flow Guided Synthesis.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Niklas Metzger

Yoram Moses

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

Explaining Hyperproperty Violations.

[BibT_eX]

[DOI]

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

Temporal Causality in Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Conservative Hybrid Automata from Development Artifacts.

[BibT_eX]

[DOI]

Niklas Metzger

Sanny Schmitt

Maximilian Schwenger

CoRR, 2021

2019

aMAZEing Programming - Providing SKILLs to Fellow Students.

[BibT_eX]

[DOI]

Proceedings of the Studierendenkonferenz Informatik, 2019

Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems.

[BibT_eX]

[DOI]

Jesko Hecking-Harbusch

Niklas O. Metzger

Proceedings of the Automated Technology for Verification and Analysis, 2019

Niklas Metzger

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...