Michaela Klauck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
12
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECMS | Integrating Simulation and Verification to Assess Safety of Robot Control Software. | Marco Lampacrescia, Matteo Palmas, Enrico Ghiorzi, Christian Henkel, Michaela Klauck, Armando Tacchella |
| 2026 | TACAS | Driving by Disproof: A Practical Model Checking Approach to Fleet Coordination. | Lukas Knig, Christian Schildwchter, Michaela Klauck, Christian Heinzemann |
| 2025 | GECCO | Efficient Quality Diversity Optimization with Monte Carlo Bayesian Sampling. | Matteo Palmas, Varun Bhatt, Shihan Zhao, Stefanos Nikolaidis, Ralph Lange, Michaela Klauck |
| 2025 | IROS | AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy. | Christian Henkel, Marco Lampacrescia, Michaela Klauck, Matteo Morelli |
| 2025 | MODELS | Translating Behavior Trees to Petri Nets for Model Checking. | Matteo Palmas, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, Armando Tacchella |
| 2024 | TACAS | Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. | Lukas Knig, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Kperkoch, Dennis Fassbender, Michael Hanselmann |
| 2024 | VECoS | Towards Verifying Robotic Systems Using Statistical Model Checking in STORM. | Marco Lampacrescia, Michaela Klauck, Matteo Palmas |
| 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 | The Modest State of Learning, Sampling, and Verifying Strategies. | Arnd Hartmanns, Michaela Klauck |
| 2022 | IV | Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack. | David Gro, Michaela Klauck, Timo P. Gros, Marcel Steinmetz, Jrg Hoffmann, Stefan Gumhold |
| 2021 | TACAS | Momba: JANI Meets Python. | Maximilian A. Khl, Michaela Klauck, Holger Hermanns |
| 2020 | AAAI | Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. | Jrg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni |
| 2020 | FORTE | Deep Statistical Model Checking. | Timo P. Gros, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Marcel Steinmetz |
| 2020 | ISoLA | Components in Probabilistic Systems: Suitable by Construction. | Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klppelholz, Maximilian A. Khl |
| 2020 | ISoLA | On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. | Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretnsk, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang |
| 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 |
| 2020 | ISoLA | TraceVis: Towards Visualization for Deep Statistical Model Checking. | Timo P. Gros, David Gro, Stefan Gumhold, Jrg Hoffmann, Michaela Klauck, Marcel Steinmetz |
| 2019 | TACAS | The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). | Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretnsk, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz |
| 2019 | TACAS | The Quantitative Verification Benchmark Set. | Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters |
| 2017 | CHI | Noticeable or Distractive?: A Design Space for Gaze-Contingent User Interface Notifications. | Michaela Klauck, Yusuke Sugano, Andreas Bulling |