Niklas Metzger

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


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
IEEE Trans. Vis. Comput. Graph., 2022

Live synthesis.
Innov. Syst. Softw. Eng., 2022

Formal Specifications from Natural Language.
CoRR, 2022

Attention Flows for General Transformers.
CoRR, 2022

Information Flow Guided Synthesis (Full Version).
CoRR, 2022

Information Flow Guided Synthesis.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Explaining Hyperproperty Violations.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Temporal Causality in Reactive Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2022

2021
Conservative Hybrid Automata from Development Artifacts.
CoRR, 2021

2019
aMAZEing Programming - Providing SKILLs to Fellow Students.
Proceedings of the Studierendenkonferenz Informatik, 2019

Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2019


  Loading...