Maximilian A. Khl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ATVA | Configuration Monitor Synthesis. | Maximilian A. Khl, Clemens Dubslaff, Holger Hermanns |
| 2024 | ISoLA | Traceability and Accountability by Construction. | Julius Wenzel, Maximilian A. Khl, Sarah Sterz, Hanwei Zhang, Andreas Schmidt, Christof Fetzer, Holger Hermanns |
| 2024 | TACAS | OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. | Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Khl |
| 2022 | CAV | MoGym: Using Formal Models for Training and Verifying Decision-making Agents. | Timo P. Gros, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Maximilian A. Khl, Verena Wolf |
| 2022 | ISoLA | Configurable-by-Construction Runtime Monitoring. | Clemens Dubslaff, Maximilian A. Khl |
| 2021 | TACAS | RTLola on Board: Testing Real Driving Emissions on your Phone. | Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Khl, Yannik Schnitzer, Maximilian Schwenger |
| 2021 | TACAS | Momba: JANI Meets Python. | Maximilian A. Khl, Michaela Klauck, Holger Hermanns |
| 2020 | ISoLA | Components in Probabilistic Systems: Suitable by Construction. | Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klppelholz, Maximilian A. Khl |
| 2020 | ISoLA | Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. | Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Maximilian A. Khl, Marcel Steinmetz, Christoph Weidenbach |
| 2019 | RE | Explainability as a Non-Functional Requirement. | Maximilian A. Khl, Kevin Baum, Markus Langer, Daniel Oster, Timo Speith, Dimitri Bohlender |
| 2018 | LPAR | Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. | Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Khl |
| 2018 | RV | Efficient Monitoring of Real Driving Emissions. | Maximilian A. Khl, Holger Hermanns, Sebastian Biewer |