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 | 109 | 2019 |
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 | 21 | 2020 |
Efficient Monitoring of Real Driving Emissions MA Köhl, H Hermanns, S Biewer International Conference on Runtime Verification, 299-315, 2018 | 20 | 2018 |
Towards a Characterization of Explainable Systems D Bohlender, MA Köhl arXiv preprint arXiv:1902.03096, 2019 | 19 | 2019 |
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 | 13 | 2017 |
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 | 11 | 2021 |
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 | 11 | 2018 |
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 | 9 | 2020 |
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 | 7 | 2022 |
Momba: JANI meets python MA Köhl, M Klauck, H Hermanns International Conference on Tools and Algorithms for the Construction and …, 2021 | 5 | 2021 |
An Executable Structural Operational Formal Semantics for Python MA Köhl arXiv preprint arXiv:2109.03139, 2021 | 4 | 2021 |
Bare statistical evidence and the legitimacy of software-based judicial decisions E Schmidt, A Sesing-Wagenpfeil, MA Köhl Synthese 201 (4), 134, 2023 | 3 | 2023 |
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 | 3 | 2023 |
Tools at the frontiers of quantitative verification: QComp 2023 competition report R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... | 2 | 2024 |
Matching distributions under structural constraints A Bies, H Hermanns, MA Köhl, A Schmidt International Conference on Quantitative Evaluation of Systems, 221-237, 2023 | 2 | 2023 |
Configurable-by-Construction Runtime Monitoring C Dubslaff, MA Köhl Leveraging Applications of Formal Methods, Verification and Validation …, 2022 | 1 | 2022 |
Tools at the Frontiers of Quantitative Verification R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... arXiv preprint arXiv:2405.13583, 2024 | | 2024 |
OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust N Husung, C Dubslaff, H Hermanns, MA Köhl International Conference on Tools and Algorithms for the Construction and …, 2024 | | 2024 |
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 |