Maximilian A. Köhl

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 17

Top Topics

Making Decisions

Structural Constraints

Greenhouse Gases

Logical Language

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

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
Tools at the Frontiers of Quantitative Verification. CoRR (2024)
Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl
OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. TACAS (3) (2024)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
On the road with RTLola. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Aaron Bies, Holger Hermanns, Maximilian A. Köhl, Andreas Schmidt
Matching Distributions Under Structural Constraints. QEST (2023)
Maximilian A. Köhl, Holger Hermanns
Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations. ACM Trans. Embed. Comput. Syst. 22 (4) (2023)
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf
MoGym: Using Formal Models for Training and Verifying Decision-making Agents. CAV (2) (2022)
Clemens Dubslaff, Maximilian A. Köhl
Configurable-by-Construction Runtime Monitoring. ISoLA (1) (2022)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
RTLola on Board: Testing Real Driving Emissions on your Phone. TACAS (2) (2021)
Maximilian A. Köhl
An Executable Structural Operational Formal Semantics for Python. CoRR (2021)
Maximilian A. Köhl, Michaela Klauck, Holger Hermanns
Momba: JANI Meets Python. TACAS (2) (2021)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
RTLola on Board: Testing Real Driving Emissions on your Phone. CoRR (2021)
Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. ISoLA (2) (2020)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
Components in Probabilistic Systems: Suitable by Construction. ISoLA (1) (2020)
Maximilian A. Köhl, Kevin Baum, Markus Langer, Daniel Oster, Timo Speith, Dimitri Bohlender
Explainability as a Non-Functional Requirement. RE (2019)
Dimitri Bohlender, Maximilian A. Köhl
Towards a Characterization of Explainable Systems. CoRR (2019)
Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer
Efficient Monitoring of Real Driving Emissions. RV (2018)
Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. LPAR (2018)