Maximilian A. Köhl

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

Collaborative distances:

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

2024

Configuration Monitor Synthesis.

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

CoRR, 2024

Tools at the Frontiers of Quantitative Verification.

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang

CoRR, 2024

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

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

Dataset, 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

Traceability and Accountability by Construction.

Julius Wenzel, Maximilian A. Köhl, Sarah Sterz, Hanwei Zhang, Andreas Schmidt, Christof Fetzer, Holger Hermanns

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

2023

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

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

Dataset, October, 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

Artifact for the Tool Paper: 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

Dataset, May, 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

Artifact of "MoGym: Using Formal Models for Training and Verifying Decision Agents".

Timo P. Gros, Holger Hermanns, Michaela Klauck, Maximilian A. Köhl

Dataset, November, 2021

(TACAS21 Artifact) Momba: JANI Meets Python.

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

Dataset, March, 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

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

Dataset, August, 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