Personal information
probabilistic model checking, automated planning, perspicuous systems, dependable systems
Germany
Activities
Employment (3)
2023-01-01
to
present
|
Researcher for verification of planning and decision making in autonomous systems
(Corporate Research)
Employment
Source:
Michaela Klauck
2022-06-28
to
2022-12-31
|
Research Associate
(Computer Science)
Employment
Source:
Michaela Klauck
2017-11-02
to
2022-06-28
|
PhD Student
(Computer Science)
Employment
Source:
Michaela Klauck
Education and qualifications (3)
2017-11-02
to
2022-06-28
|
Doctor of Engineering (Dr.-Ing.)
(Computer Science)
Education
Source:
Michaela Klauck
2016-10-01
to
2018-03-07
|
Master of Science
(Computer Science)
Education
Source:
Michaela Klauck
2013-10-01
to
2016-07-11
|
Bachelor of Science
(Computer Science)
Education
Source:
Michaela Klauck
Works (21)
2025
|
Book chapter
Contributors:
Marco Lampacrescia;
Michaela Klauck;
Matteo Palmas
Source:
check_circle
Crossref
2024
|
Book chapter
Contributors:
Lukas König;
Christian Heinzemann;
Alberto Griggio;
Michaela Klauck;
Alessandro Cimatti;
Franziska Henze;
Stefano Tonetta;
Stefan Küperkoch;
Dennis Fassbender;
Michael Hanselmann
Source:
check_circle
Crossref
ACM Transactions on Modeling and Computer Simulation
2023-10-31
|
Journal article
Contributors:
Timo P. Gros;
Joschka Groß;
Daniel Höller;
Jörg Hoffmann;
Michaela Klauck;
Hendrik Meerkamp;
Nicola J. Müller;
Lukas Schaller;
Verena Wolf
Source:
check_circle
Crossref
2022
|
Book chapter
Contributors:
Timo P. Gros;
Holger Hermanns;
Jörg Hoffmann;
Michaela Klauck;
Maximilian A. Köhl;
Verena Wolf
Source:
check_circle
Crossref
Source:
check_circle
Crossref
Quantitative Evaluation of Systems - 18th International Conference,
QEST 2021, Paris, France, August 23-27, 2021, Proceedings
2021
|
Conference paper
Source:
Michaela Klauck
Source:
check_circle
Crossref
Quantitative Evaluation of Systems - 18th International Conference,
QEST 2021, Paris, France, August 23-27, 2021, Proceedings
2021
|
Conference paper
Source:
Michaela Klauck
Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, TACAS 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, ETAPS
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part II
2021
|
Conference paper
Source:
Michaela Klauck
Source:
Michaela Klauck
grade
Preferred source
(of
2)
Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part I
2020
|
Conference paper
Source:
Michaela Klauck
Formal Techniques for Distributed Objects, Components, and Systems
- 40th IFIP WG 6.1 International Conference, FORTE 2020, Held
as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
2020, Proceedings
2020
|
Conference paper
Source:
Michaela Klauck
Trustworthy AI - Integrating Learning, Optimization and Reasoning
- First International Workshop, TAILOR 2020, Virtual Event, September
4-5, 2020, Revised Selected Papers
2020
|
Conference paper
Source:
Michaela Klauck
The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, IAAI 2020, The Tenth AAAI Symposium on Educational
Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA,
February 7-12, 2020
2020
|
Conference paper
URI:
https://aaai.org/ojs/index.php/AAAI/article/view/7083
Source:
Michaela Klauck
grade
Preferred source
(of
2)
Leveraging Applications of Formal Methods, Verification and Validation:
Tools and Trends - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part IV
2020
|
Conference paper
Source:
Michaela Klauck
Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part II
2020
|
Conference paper
Source:
Michaela Klauck
Leveraging Applications of Formal Methods, Verification and Validation:
Tools and Trends - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part IV
2020
|
Conference paper
Source:
Michaela Klauck
Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part III
2019
|
Conference paper
Source:
Michaela Klauck
grade
Preferred source
(of
2)
Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, TACAS 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, ETAPS
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
I
2019
|
Conference paper
Source:
Michaela Klauck
grade
Preferred source
(of
2)
Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June
24-29, 2018
2018
|
Conference paper
URI:
https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17740
Source:
Michaela Klauck
grade
Preferred source
(of
2)
Proceedings of the 2017 CHI Conference on Human Factors in Computing
Systems, Denver, CO, USA, May 06-11, 2017, Extended Abstracts
2017
|
Conference paper
Source:
Michaela Klauck
grade
Preferred source
(of
2)