Niklas Metzger

A profile picture of Niklas Metzger

Contact

Niklas Metzger

Reactive Systems Group
CISPA Helmholtz Center for Information Security
Phone: +49 681 302 5658
eMail: niklas.metzger at cispa.de
Building: E 1.1 Room: 1.16.3

Office Hours
Whenever my door is open.

Publications

[FKM21] Live Synthesis
Bernd Finkbeiner, Felix Klein, and Niklas Metzger
International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)
[HCM+21] 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, and Raimund Dachselt
IEEE VIS Visualization & Visual Analytics (VIS 2021)
[HM19] Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems
Jesko Hecking-Harbusch and Niklas Metzger
International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)

Presentations

Scientific Service

Student Projects

TBD Jonas Birtel, Bachelor Thesis, ongoing (in cooperation with BSI)
TBD Ayham Omar, Bachelor Thesis, ongoing (co-advised by Christopher Hahn)

Teaching

Summer 2020 Assistant for Software Reliability
Summer 2020 Seminar Advisor for Neural-Symbolic Computing.
Summer 2019 Lecturer for Programmierung 2 Precourse at Saarland University
Summer 2018 Supervising Teaching Assistant for Programmierung 2 at Saarland University
Summer 2017 Supervising Teaching Assistant for Programmierung 2 at Saarland University
Summer 2016 Teaching Assistant for Programmierung 2 at Saarland University

Theses

Live Synthesis Master Thesis, Saarland University, 2019
Bounded Synthesis of Petri Games with True Concurrecy Firing Semantics Bachelor Thesis, Saarland University, 2017