Prof. Dr. Verena Klös
Prof. Dr. Verena Klös
Curriculum Vitae
Education
03/2020 | Doctoral degree in Computer Science, TU Berlin, Thesis: Safe, Intelligent and Explainable Self-Adaptive Systems |
09/2012 | Master in Computer Science, TU Berlin, Thesis: Analysis and Transformation of the Memory Structure of Hardware/Software Co-Designs |
12/2010 | Bachelor in Computer Science, TU Berlin |
Professional Experience
since 05/2024 | Professor at the Department of Computing Science at the Carl von Ossietzky Universität Oldenburg, Germany; head of research group Embedded Hardware-Software Systems |
02/2023 - 05/2024 | Juniorprofessor (W1) for Computer Science, in particular Tactile Computing, Centre for Tactile Internet with Human-in-the Loop (CeTI), TU Dresden |
03/2020 - 01/2023 | Postdoctoral researcher with teaching assignment |
10/2012 - 03/2020 | Reseach assistant with teaching assignment |
10/2009 - 09/2012 | Student teaching assistant, TU Berlin |
List of Publications
Journals:
- Verena Klös, Thomas Göthel, and Sabine Glesner. Comprehensible and dependable self-learning self-adaptive systems. Journal of Systems Architecture - Embedded Systems Design, 85-86:28-42, 2018.
- Verena Klös, Thomas Göthel, and Sabine Glesner. Runtime management and quantitative evaluation of changing system goals in complex autonomous systems. Journal of Systems and Software, 144: 314-327, 2018.
- Paula Herber and Verena Klös. A multi-robot search using LEGO mindstorms: an embedded software design project. SIGBED Review, 14(1):61-70, 2016.
- Thomas Göthel, Verena Klös, and Björn Bartels. Modular design and verification of distributed adaptive real-time systems based on refinements and abstractions. EAI Endorsed Trans. Self-Adaptive Systems, 1(1):e5, 2015.
Conferences:
- Clemens Dubslaff, Verena Klös, Juliane Päßler. Template Decision Diagrams for Meta Control and Explainability. xAI 2024: 219-242, 2024.
- Kogel, Paul, Verena Klös, and Sabine Glesner. Learning Mealy Machines with Local Timers. ICFEM 2023: 47-64, 2023.
- Simon Schwan, Verena Klös, Sabine Glesner. A Goal-Oriented Specification Language for Reinforcement Learning. International Conference on Modeling Decisions for Artificial Intelligence 2023: 169-180, 2023.
- Paul Kogel, Verena Klös, Sabine Glesner, TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. ICFEM 2022: 227-243, 2022.
- Larissa Chazette, Verena Klös, Florian Herzog, Kurt Schneider. Requirements on Explanations: A Quality Framework for Explainability. RE 2022: 140-152, 2022.
- Wasja Brunotte, Larissa Chazette, Verena Klös, Timo Speith. Quo Vadis, Explainability? - A Research Roadmap for Explainability Engineering. REFSQ 2022: 26-32, 2022.
- M. Baha E. Zarrouki, Verena Klös, Nikolas Heppner, Simon Schwan, Robert Ritschel, Rick Voßwinkel. Weights-varying MPC for Autonomous Vehicle Guidance: a Deep Reinforcement Learning Approach. European Control Conference (ECC), pages 119-125, 2021.
- Verena Klös, Paul Kogel, Sabine Glesner. Experiences from a multidisciplinary student project with simulated robots and digital project work. European Society for Engineering Education (SEFI) Annual Conference, pages 974-982, 2021. https://www.sefi.be/proceedings/
- Florian Ziesche, Verena Klös and Sabine Glesner. Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems. 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 1304-1309, 2021.
- Verena Klös, Thomas Göthel, and Sabine Glesner. Be prepared: Learning environment profiles for proactive rule-based production planning. In 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pages 89-96, 2018.
- Verena Klös, Thomas Göthel, Adrian Lohr, and Sabine Glesner. Runtime management and quantitative evaluation of changing system goals. In 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pages 226-233, 2017.
Distinguished Paper Award. - Verena Klös, Thomas Göthel, and Sabine Glesner. Adaptive knowledge bases in self-adaptive system design. In 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pages 472-478, 2015.
- Marcel Pockrandt, Paula Herber, Verena Klös, and Sabine Glesner. Model checking memory-related properties of hardware/software co-designs. In Embedded Systems: Design, Analysis and Verification - 4th IFIP TC 10 International Embedded Systems Symposium (IESS) Proceedings, pages 92-103, 2013.
Workshops:
- Maike Schwammberger, Verena Klös. From Specification Models to Explanation Models:
An Extraction and Refinement Process for Timed Automata. FMAS/ASYDE@SEFM 2022: 20-37, 2022. - Sadeghi, Mersedeh, Verena Klös, and Andreas Vogelsang. Cases for explainable software systems: Characteristics and examples. At First International Workshop on Requirements Engineering for Explainable Systems (RE4ES), RE Workshops 2021: 181-187, 2021.
- M. Blumreiter, J. Greenyer, F. J. Chiyah Garcia, V. Klös, M. Schwammberger, C. Sommer, A. Vogelsang, and A. Wortmann. Towards self-explainable cyber-physical systems. In 2019
ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), The 14th International Workshop on Models@run.time,
pages 543-548. IEEE, Sep. 2019 - M. Baha E. Zarrouki, Verena Klös, Markus Grabowski, and Sabine Glesner. Fault tolerance by graceful degradation for car platoons. In Workshop on Autonomous Systems Design (ASD), pages 1:1-1:15, 2019.
- Mathias Blumreiter, Joel Greenyer, Francisco J Chiyah Garcia, Jesper Karlsson, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann.
Self-explainable cyber-physical systems. Explainable Software for Cyber-Physical Systems (ES4CPS), GI-Dagstuhl Seminar 19023, page 8, 2019. arXiv:1904.11851 - Verena Klös. Explainable self-learning self-adaptive systems. Explainable Software for Cyber-Physical Systems (ES4CPS), GI-Dagstuhl Seminar 19023, page 46, 2019.
- Verena Klös, Thomas Göthel, and Sabine Glesner. Comprehensible decisions in complex self-adaptive systems. In Software Engineering and Software Management 2018, symposium of the GI-group Software engineering, SE 2018, pages 215-216, 2018.
- Verena Klös, Thomas Göthel, and Sabine Glesner. Parameterization and optimization patterns for MAPE-K feedback loops. In 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, pages 13-18, 2017.
- Liebrenz, Timm, Verena Klös, and Paula Herber. Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC. ACM SIGAda Ada Letters 36.2 (2017): 9-17.
- Verena Klös, Thomas Göthel, and Sabine Glesner. Formal models for analyzing dynamic adaptation behavior in real-time systems. In 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), pages 106-111, 2016.
- Paula Herber and Verena Klös. A multi-robot search using LEGO mindstorms - an embedded software design project. In Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015, pages 2:1-2:8, 2015
Phd-Thesis:
- Verena Klös. Safe, intelligent and explainable self-adaptive systems, TU Berlin, DepositOnce (10.14279/depositonce-11143), 2021.
Lectures
Winter term 2024 / 2025
2.01.203
Embedded Systems I
2.01.358
Explainable Cyber-Physical Systems
2.01.801-X
Forschungsseminar Hardware/Software-Systeme
Summer term 2024