Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. - Holger Hermanns; Sebastian Biewer; Pedro R. D'Argenio; Maximilian A. Köhl (LPAR, 2018)

Efficient Monitoring of Real Driving Emissions. - Maximilian A. Köhl; Holger Hermanns; Sebastian Biewer (RV, 2018)

Explainability as a Non-Functional Requirement. - Maximilian A. Köhl; Kevin Baum 001; Markus Langer; Daniel Oster; Timo Speith; Dimitri Bohlender (RE, 2019)

Towards a Characterization of Explainable Systems. - Dimitri Bohlender; Maximilian A. Köhl (CoRR, 2019)

Components in Probabilistic Systems: Suitable by Construction. - Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl (ISoLA (1), 2020)

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. - Rasha Faqeh; Christof Fetzer; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Marcel Steinmetz; Christoph Weidenbach (ISoLA (2), 2020)

Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction". - Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl (Zenodo, 2020)

RTLola on Board: Testing Real Driving Emissions on your Phone. - Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns; Maximilian A. Köhl; Yannik Schnitzer; Maximilian Schwenger (TACAS (2), 2021)

Momba: JANI Meets Python. - Maximilian A. Köhl; Michaela Klauck; Holger Hermanns (TACAS (2), 2021)

An Executable Structural Operational Formal Semantics for Python. - Maximilian A. Köhl (CoRR, 2021)

(TACAS21 Artifact) Momba: JANI Meets Python. - Maximilian A. Köhl; Michaela Klauck; Holger Hermanns (Zenodo, 2021)

Artifact of "MoGym: Using Formal Models for Training and Verifying Decision Agents". - Timo P. Gros; Holger Hermanns; Michaela Klauck; Maximilian A. Köhl (Zenodo, 2021)

MoGym: Using Formal Models for Training and Verifying Decision-making Agents. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Verena Wolf (CAV (2), 2022)

Configurable-by-Construction Runtime Monitoring. - Clemens Dubslaff; Maximilian A. Köhl (ISoLA (1), 2022)

Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Verena Wolf (Zenodo, 2022)

Matching Distributions Under Structural Constraints. - Aaron Bies; Holger Hermanns; Maximilian A. Köhl; Andreas Schmidt 003 (QEST, 2023)

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (TOOLympics@ETAPS, 2023)

On the road with RTLola. - Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns; Maximilian A. Köhl; Yannik Schnitzer; Maximilian Schwenger (Int. J. Softw. Tools Technol. Transf., 2023)

Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations. - Maximilian A. Köhl; Holger Hermanns (ACM Trans. Embed. Comput. Syst., 2023)

OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. - Nils Husung; Clemens Dubslaff; Holger Hermanns; Maximilian A. Köhl (Zenodo, 2023)

Configuration Monitor Synthesis. - Maximilian A. Köhl; Clemens Dubslaff; Holger Hermanns (ATVA (2), 2024)

Traceability and Accountability by Construction. - Julius Wenzel; Maximilian A. Köhl; Sarah Sterz; Hanwei Zhang 001; Andreas Schmidt 003; Christof Fetzer; Holger Hermanns (ISoLA (4), 2024)

OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. - Nils Husung; Clemens Dubslaff; Holger Hermanns; Maximilian A. Köhl (TACAS (3), 2024)

OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. - Nils Husung; Clemens Dubslaff; Holger Hermanns; Maximilian A. Köhl (Zenodo, 2024)

Tools at the Frontiers of Quantitative Verification. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (CoRR, 2024)