Maximilian A. Köhl

Maximilian A. Köhl

Universität des Saarlandes - Saarbrücken / Germany
Others
AD Scientific Index ID: 6000215
Saarland University
person_outline Maximilian A. Köhl's MOST POPULAR ARTICLES
1-) Explainability as a Non-Functional RequirementMA Köhl, K Baum, M Langer, D Oster, T Speith, D Bohlender2019 IEEE 27th International Requirements Engineering Conference (RE), 363-368, 20191202019
2-) Towards Dynamic Dependable Systems Through Evidence-Based Continuous CertificationR Faqeh, C Fetzer, H Hermanns, J Hoffmann, M Klauck, MA Köhl, ...International Symposium on Leveraging Applications of Formal Methods, 416-439, 2020212020
3-) Efficient Monitoring of Real Driving EmissionsMA Köhl, H Hermanns, S BiewerInternational Conference on Runtime Verification, 299-315, 2018212018
4-) Towards a Characterization of Explainable SystemsD Bohlender, MA KöhlarXiv preprint arXiv:1902.03096, 2019192019
5-) RTLola on Board: Testing Real Driving Emissions on your PhoneS Biewer, B Finkbeiner, H Hermanns, MA Köhl, Y Schnitzer, M SchwengerInternational Conference on Tools and Algorithms for the Construction and …, 2021132021