Model Checking Memory-Related Properties of Hardware/Software Co-designs. - Marcel Pockrandt; Paula Herber; Verena Klös; Sabine Glesner (IESS, 2013)

Adaptive Knowledge Bases in Self-Adaptive System Design. - Verena Klös; Thomas Göthel; Sabine Glesner (EUROMICRO-SEAA, 2015)

Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions. - Thomas Göthel; Verena Klös; Björn Bartels (EAI Endorsed Trans. Self Adapt. Syst., 2015)

Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems. - Verena Klös; Thomas Göthel; Sabine Glesner (FAS*W@SASO/ICCAC, 2016)

A multi-robot search using LEGO mindstorms: an embedded software design project. - Paula Herber; Verena Klös (SIGBED Rev., 2016)

Runtime Management and Quantitative Evaluation of Changing System Goals. - Verena Klös; Thomas Göthel; Adrian Lohr; Sabine Glesner (SEAA, 2017)

Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops. - Verena Klös; Thomas Göthel; Sabine Glesner (FAS*W@SASO/ICCAC, 2017)

Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning. - Verena Klös; Thomas Göthel; Sabine Glesner (SEAA, 2018)

Comprehensible Decisions in Complex Self-Adaptive Systems. - Verena Klös; Thomas Göthel; Sabine Glesner (Software Engineering, 2018)

Comprehensible and dependable self-learning self-adaptive systems. - Verena Klös; Thomas Göthel; Sabine Glesner (J. Syst. Archit., 2018)

Runtime management and quantitative evaluation of changing system goals in complex autonomous systems. - Verena Klös; Thomas Göthel; Sabine Glesner (J. Syst. Softw., 2018)

Fault-Tolerance by Graceful Degradation for Car Platoons. - M. Baha E. Zarrouki; Verena Klös; Markus Grabowski; Sabine Glesner (ASD@DATE, 2019)

Towards Self-Explainable Cyber-Physical Systems. - Mathias Blumreiter; Joel Greenyer; Francisco Javier Chiyah Garcia; Verena Klös; Maike Schwammberger; Christoph Sommer 001; Andreas Vogelsang; Andreas Wortmann 001 (MoDELS (Companion), 2019)

Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems. - Florian Ziesche; Verena Klös; Sabine Glesner (DATE, 2021)

Weights-varying MPC for Autonomous Vehicle Guidance: a Deep Reinforcement Learning Approach. - M. Baha E. Zarrouki; Verena Klös; Nikolas Heppner; Simon Schwan; Robert Ritschel; Rick Voßwinkel (ECC, 2021)

Welcome to the First International Workshop on Requirements Engineering for Explainable Systems (RE4ES). - Wasja Brunotte; Larissa Chazette; Verena Klös; Eric Knauss; Timo Speith; Andreas Vogelsang (RE Workshops, 2021)

Cases for Explainable Software Systems: Characteristics and Examples. - Mersedeh Sadeghi; Verena Klös; Andreas Vogelsang (RE Workshops, 2021)

Safe, intelligent and explainable self-adaptive systems. - Verena Klös (2021)

TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. - Paul Kogel; Verena Klös; Sabine Glesner (ICFEM, 2022)

Requirements on Explanations: A Quality Framework for Explainability. - Larissa Chazette; Verena Klös; Florian Herzog; Kurt Schneider (RE, 2022)

Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES). - Verena Klös; Mersedeh Sadeghi; Maike Schwammberger (RE Workshops, 2022)

Quo Vadis, Explainability? - A Research Roadmap for Explainability Engineering. - Wasja Brunotte; Larissa Chazette; Verena Klös; Timo Speith (REFSQ, 2022)

From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. - Maike Schwammberger; Verena Klös (FMAS/ASYDE@SEFM, 2022)

Learning Mealy Machines with Local Timers. - Paul Kogel; Verena Klös; Sabine Glesner (ICFEM, 2023)

A Goal-Oriented Specification Language for Reinforcement Learning. - Simon Schwan; Verena Klös; Sabine Glesner (MDAI, 2023)

Welcome to the Third International Workshop on Requirements Engineering for Explainable Systems (RE4ES). - Jakob Droste; Verena Klös; Mersedeh Sadeghi; Maike Schwarnmberger; Timo Speith (REW, 2023)

The X Factor: On the Relationship between User eXperience and eXplainability. - Hannah Deters; Jakob Droste; Anne Hess; Verena Klös; Kurt Schneider; Timo Speith; Andreas Vogelsang (NordiCHI, 2024)

Template Decision Diagrams for Meta Control and Explainability. - Clemens Dubslaff; Verena Klös; Juliane Päßler (xAI (2), 2024)

A Model-oriented Reasoning Framework for Privacy Analysis of Complex Systems. - Sebastian Rehms; Stefan Köpsell; Verena Klös; Florian Tschorsch (CoRR, 2024)

Enabling Manual-Controllable Compilation for Dataflow CGRAs. - Felix Böseler; Jörg Walter 001; Verena Klös (IPDPS (Workshops), 2025)

Effective Explanations for Belief-Desire-Intention Robots: When and What to Explain. - Cong Wang; Roberto Calandra; Verena Klös (CoRR, 2025)