I am a Ph.D. student at the chair of Prof. Holger Hermanns since April 2019.

Teaching Experience

  • Teaching Assistant for “Nebenläufige Programmierung” (Concurrent Programming), Basic Course, Summer Term 2019
  • Student Teaching Assistant for “Embedded Systems”, Core Lecture, Summer Term 2018
  • Student Teaching Assistant for “Ethics for Nerds”, Advanced Lecture, Summer Term 2017

Publications

Year Publication Open Access?
2019 Kevin Baum, Dimitri Bohlender, Maximilian A. Köhl, Markus Langer, Daniel Oster, Timo Speith :
Explainability as a Non-Functional Requirement
IEEE 27th International Requirements Engineering Conference (RE) (upcoming)
 
2018 Holger Hermanns, Sebastian Biewer, Pedro R. D’Argenio, and Maximilian A. Köhl:
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning.: 1-17
✓ (on easychair.org)
2018 Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer:
Efficient Monitoring of Real Driving Emissions
18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings: 299-315
✓ (on powver.org)
2017 Kevin Baum, Maximilian A. Köhl, Eva Schmidt:
Two Challenges for CI Trustworthiness and How to Address Them
Proceedings of the 1st Workshop on Explainable Computational Intelligence (XCI 2017)
✓ (on aclweb.org)

Contact

Address: Campus Saarbrücken, 66123 Saarbrücken
Phone: +49 681 302 5640
Location: Building E1 3, Room 507
E-mail: mkoehl@cs.uni-saarland.de