Maximilian A. Köhl

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