| 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 | 187 | 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 | 28 | 2020 |
| Efficient Monitoring of Real Driving Emissions MA Köhl, H Hermanns, S Biewer International Conference on Runtime Verification, 299-315, 2018 | 28 | 2018 |
| Tools at the frontiers of quantitative verification: QComp 2023 competition report R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... International TOOLympics Challenge, 90-146, 2023 | 22 | 2023 |
| Towards a Characterization of Explainable Systems D Bohlender, MA Köhl arXiv preprint arXiv:1902.03096, 2019 | 22 | 2019 |
| 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 | 18 | 2024 |
| 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 | 18 | 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 | 17 | 2021 |
| 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 | 15 | 2022 |
| 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 | 13 | 2018 |
| 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 | 11 | 2023 |
| 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 | 11 | 2020 |
| Momba: JANI meets python MA Köhl, M Klauck, H Hermanns International Conference on Tools and Algorithms for the Construction and …, 2021 | 10 | 2021 |
| 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 | 9 | 2022 |
| An Executable Structural Operational Formal Semantics for Python MA Köhl arXiv preprint arXiv:2109.03139, 2021 | 8 | 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 | 4 | 2023 |
| Configurable-by-Construction Runtime Monitoring C Dubslaff, MA Köhl Leveraging Applications of Formal Methods, Verification and Validation …, 2022 | 4 | 2022 |
| Traceability and accountability by construction J Wenzel, MA Köhl, S Sterz, H Zhang, A Schmidt, C Fetzer, H Hermanns International Symposium on Leveraging Applications of Formal Methods, 258-280, 2024 | 3 | 2024 |
| Configuration Monitor Synthesis MA Köhl, C Dubslaff, H Hermanns International Symposium on Automated Technology for Verification and …, 2024 | 3 | 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 |
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
