E-mail senden E-Mail Adresse kopieren
Doktorand:in

Niklas Metzger

E-Mail

Adresse

Campus E1 1
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Niklas Metzger

Jahr 2022

Konferenz / Medium

CAV
34th International Conference on Computer Aided Verification, Proceedings (to appear)34th International Conference on Computer Aided Verification (CAV 22)

Konferenz / Medium

CAV
Proceedings of 34th International Conference on Computer Aided Verification (CAV 22)34th International Conference on Computer Aided Verification (CAV 22)

2022-03-31

Live synthesis

Artikel

Innovations in Systems and Software Engineering

Jahr 2021

Konferenz / Medium

IEEE VIS
IEEE Transactions on Visualization and Computer GraphicsIEEE VIS 2021

2021-10-12

Live Synthesis

Konferenz / Medium

ATVA
Proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)

Jahr 2019