Seguir
Maximilian A. Köhl
Maximilian A. Köhl
Saarland University, Saarland Informatics Campus
Email confirmado em cs.uni-saarland.de - Página inicial
Título
Citado por
Citado por
Ano
Explainability as a Non-Functional Requirement
MA Köhl, K Baum, M Langer, D Oster, T Speith, D Bohlender
2019 IEEE 27th International Requirements Engineering Conference (RE), 363-368, 2019
962019
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification
R Faqeh, C Fetzer, H Hermanns, J Hoffmann, M Klauck, MA Köhl, ...
International Symposium on Leveraging Applications of Formal Methods, 416-439, 2020
202020
Efficient Monitoring of Real Driving Emissions
MA Köhl, H Hermanns, S Biewer
International Conference on Runtime Verification, 299-315, 2018
202018
Towards a Characterization of Explainable Systems
D Bohlender, MA Köhl
arXiv preprint arXiv:1902.03096, 2019
192019
Two Challenges for CI Trustworthiness and How to Address Them
K Baum, MA Köhl, E Schmidt
Proceedings of the 1st Workshop on Explainable Computational Intelligence …, 2017
132017
RTLola on Board: Testing Real Driving Emissions on your Phone
S Biewer, B Finkbeiner, H Hermanns, MA Köhl, Y Schnitzer, M Schwenger
International Conference on Tools and Algorithms for the Construction and …, 2021
112021
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions
H Hermanns, S Biewer, PR D'Argenio, MA Köhl
International Conference on Logic for Programming, Artificial Intelligence …, 2018
102018
Components in Probabilistic Systems: Suitable by Construction
C Baier, C Dubslaff, H Hermanns, M Klauck, S Klüppelholz, MA Köhl
International Symposium on Leveraging Applications of Formal Methods, 240-261, 2020
92020
Mogym: Using Formal Models for Training and Verifying Decision-making Agents
TP Gros, H Hermanns, J Hoffmann, M Klauck, MA Köhl, V Wolf
International Conference on Computer Aided Verification, 430-443, 2022
52022
Momba: JANI meets python
MA Köhl, M Klauck, H Hermanns
International Conference on Tools and Algorithms for the Construction and …, 2021
52021
An Executable Structural Operational Formal Semantics for Python
MA Köhl
arXiv preprint arXiv:2109.03139, 2021
42021
On the road with RTLola: Testing real driving emissions on your phone
S Biewer, B Finkbeiner, H Hermanns, MA Köhl, Y Schnitzer, M Schwenger
International Journal on Software Tools for Technology Transfer 25 (2), 205-218, 2023
32023
Tools at the frontiers of quantitative verification: QComp 2023 competition report
R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ...
12024
Matching distributions under structural constraints
A Bies, H Hermanns, MA Köhl, A Schmidt
International Conference on Quantitative Evaluation of Systems, 221-237, 2023
12023
Bare statistical evidence and the legitimacy of software-based judicial decisions
E Schmidt, A Sesing-Wagenpfeil, MA Köhl
Synthese 201 (4), 134, 2023
12023
Configurable-by-Construction Runtime Monitoring
C Dubslaff, MA Köhl
Leveraging Applications of Formal Methods, Verification and Validation …, 2022
12022
Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations
MA Köhl, H Hermanns
ACM Transactions on Embedded Computing Systems, 2022
2022
RTLola on Board: Testing Real Driving Emissions on your Phone
J Groote, K Larsen, S Biewer, B Finkbeiner, H Hermanns, M Köhl, ...
Tools and Algorithms for the Construction and Analysis of Systems27th …, 2021
2021
Explainable Automotive Emissions
MA Köhl
Explainable Software for Cyber-Physical Systems (ES4CPS), 48, 2019
2019
On Explainability and its Characterization
D Bohlender, FJC Garcia, MA Köhl, C Menghi, A Wortmann
Explainable Software for Cyber-Physical Systems (ES4CPS), 4, 2019
2019
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20