Old Web
English
Sign In
Acemap
>
authorDetail
>
Niklas Metzger
Niklas Metzger
Computer science
Process (engineering)
Counterexample
value
Model checking
4
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Visual Analysis of Hyperproperties for Understanding Model Checking Results
2021
arXiv: Human-Computer Interaction
Tom Horak
Norine Coenen
Niklas Metzger
Christopher Hahn
Tamara Flemisch
Julian Mendez
Dennis Dimov
Bernd Finkbeiner
Raimund Dachselt
Show All
Source
Cite
Save
Citations (0)
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
2021
IEEE Transactions on Visualization and Computer Graphics
Tom Horak
Norine Coenen
Niklas Metzger
Christopher Hahn
Tamara Flemisch
Julian Mendez
Dennis Dimov
Bernd Finkbeiner
Raimund Dachselt
Show All
Source
Cite
Save
Citations (0)
Conservative Hybrid Automata from Development Artifacts.
2021
arXiv: Formal Languages and Automata Theory
Niklas Metzger
Sanny Schmitt
Maximilian Schwenger
Show All
Source
Cite
Save
Citations (0)
Live Synthesis.
2021
arXiv: Logic in Computer Science
Bernd Finkbeiner
Felix Klein
Niklas Metzger
Show All
Source
Cite
Save
Citations (0)
1