Quicklinks

Portrait of Person: Marvin Stenger

Marvin Stenger (Other)
 
 Am Halberg 3 | 66121 Saarbrücken | 3.01

Publications:

Title Date Date
 2017
CAV
2017
 Bernd Finkbeiner, Christopher Hahn, Marvin Stenger
 
 Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
 2017
CAV
2017
 Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
 
 Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
 2018
TACAS
2018
 Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
 NRA2
 Tools and Algorithms for the Construction and Analysis of Systems
 2018
CAV
2018
 Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
 NRA2
 Computer Aided Verification