Niklas Metzger

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 5

Top Topics

Visual Analysis

Automated Verification

Alternating Time Temporal Logic

Top Venues

IEEE Trans. Vis. Comput. Graph.

Publications

Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
Visual Analysis of Hyperproperties for Understanding Model Checking Results. IEEE Trans. Vis. Comput. Graph. 28 (1) (2022)
Bernd Finkbeiner, Felix Klein, Niklas Metzger
Live Synthesis. CoRR (2021)
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
Visual Analysis of Hyperproperties for Understanding Model Checking Results. CoRR (2021)
Niklas Metzger, Sanny Schmitt, Maximilian Schwenger
Conservative Hybrid Automata from Development Artifacts. CoRR (2021)
Bernd Finkbeiner, Felix Klein, Niklas Metzger
Live Synthesis. ATVA (2021)