Maximilian A. Köhl

According to our database, Maximilian A. Köhl authored at least 15 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.

Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

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., July, 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., April, 2023

Matching Distributions Under Structural Constraints.

Aaron Bies, Holger Hermanns, Maximilian A. Köhl, Andreas Schmidt

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

2022

Configurable-by-Construction Runtime Monitoring.

Clemens Dubslaff, Maximilian A. Köhl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

MoGym: Using Formal Models for Training and Verifying Decision-making Agents.

Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

An Executable Structural Operational Formal Semantics for Python.

Maximilian A. Köhl

CoRR, 2021

Momba: JANI Meets Python.

Maximilian A. Köhl, Michaela Klauck, Holger Hermanns

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

RTLola on Board: Testing Real Driving Emissions on your Phone.

Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification.

Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Components in Probabilistic Systems: Suitable by Construction.

Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2019

Towards a Characterization of Explainable Systems.

Dimitri Bohlender, Maximilian A. Köhl

CoRR, 2019

Explainability as a Non-Functional Requirement.

Maximilian A. Köhl, Kevin Baum, Markus Langer, Daniel Oster, Timo Speith, Dimitri Bohlender

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

2018

Efficient Monitoring of Real Driving Emissions.

Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer

Proceedings of the Runtime Verification - 18th International Conference, 2018

Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions.

Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018