Personal information

Emails & domains

Verified email addresses

Websites & social links

https://www.koehlma.de

Countries

Germany

Activities

Collapse all

Education and qualifications (3)

Saarland University: Saarbrücken, DE

2018-04 to present | Master of Arts (Philosophy)
Education
Source: Self-asserted source
Maximilian A. Köhl

Saarland University: Saarbrücken, DE

2017-11 to 2020-12 | Master of Science (Computer Science)
Education
Source: Self-asserted source
Maximilian A. Köhl

Saarland University: Saarbrücken, DE

2014-10 to 2017-11 | Bachelor of Science (Computer Science)
Education
Source: Self-asserted source
Maximilian A. Köhl

Works (12)

Configuration Monitor Synthesis

2025 | Book chapter
DOI: 10.1007/978-3-031-78750-8_1
Contributors: Maximilian A. Köhl; Clemens Dubslaff; Holger Hermanns
Source: check_circle
Crossref

Traceability and Accountability by Construction

2025 | Book chapter
DOI: 10.1007/978-3-031-75387-9_16
Contributors: Julius Wenzel; Maximilian A. Köhl; Sarah Sterz; Hanwei Zhang; Andreas Schmidt; Christof Fetzer; Holger Hermanns
Source: check_circle
Crossref

OxiDD

2024 | Book chapter
DOI: 10.1007/978-3-031-57256-2_13
Contributors: Nils Husung; Clemens Dubslaff; Holger Hermanns; Maximilian A. Köhl
Source: check_circle
Crossref

Matching Distributions Under Structural Constraints

2023 | Book chapter
DOI: 10.1007/978-3-031-43835-6_16
Contributors: Aaron Bies; Holger Hermanns; Maximilian A. Köhl; Andreas Schmidt
Source: check_circle
Crossref

Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations

ACM Transactions on Embedded Computing Systems
2023-07-31 | Journal article
DOI: 10.1145/3597209
Contributors: Maximilian A. Köhl; Holger Hermanns
Source: check_circle
Crossref

Configurable-by-Construction Runtime Monitoring

2022 | Book chapter
DOI: 10.1007/978-3-031-19849-6_14
Contributors: Clemens Dubslaff; Maximilian A. Köhl
Source: check_circle
Crossref

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

2022 | Book chapter
DOI: 10.1007/978-3-031-13188-2_21
Contributors: Timo P. Gros; Holger Hermanns; Jörg Hoffmann; Michaela Klauck; Maximilian A. Köhl; Verena Wolf
Source: check_circle
Crossref

Momba: JANI Meets Python

2021 | Book chapter
DOI: 10.1007/978-3-030-72013-1_23
Contributors: Maximilian A. Köhl; Michaela Klauck; Holger Hermanns
Source: check_circle
Crossref

RTLola on Board: Testing Real Driving Emissions on your Phone

2021 | Book chapter
DOI: 10.1007/978-3-030-72013-1_20
Contributors: Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns; Maximilian A. Köhl; Yannik Schnitzer; Maximilian Schwenger
Source: check_circle
Crossref

Components in Probabilistic Systems: Suitable by Construction

2020 | Book chapter
DOI: 10.1007/978-3-030-61362-4_13
Contributors: Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl
Source: check_circle
Crossref

Explainability as a Non-Functional Requirement

2019 IEEE 27th International Requirements Engineering Conference (RE)
2019-09 | Conference paper
DOI: 10.1109/re.2019.00046
ISBN: 9781728139128
Source: Self-asserted source
Maximilian A. Köhl

Efficient Monitoring of Real Driving Emissions

Runtime Verification
2018 | Conference paper
DOI: 10.1007/978-3-030-03769-7_17
Part of ISBN: 9783030037680
Part of ISBN: 9783030037697
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Maximilian A. Köhl
How many people are using ORCID?