Verena Klös

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 25

Top Topics

Graceful Degradation

Embedded Software

Requirements Engineering

Top Venues

FAS*W@SASO/ICCAC

Publications

Sebastian Rehms, Stefan Köpsell, Verena Klös, Florian Tschorsch
A Model-oriented Reasoning Framework for Privacy Analysis of Complex Systems. CoRR (2024)
Paul Kogel, Verena Klös, Sabine Glesner
Learning Mealy Machines with Local Timers. ICFEM (2023)
Jakob Droste, Verena Klös, Mersedeh Sadeghi, Maike Schwarnmberger, Timo Speith
Welcome to the Third International Workshop on Requirements Engineering for Explainable Systems (RE4ES). REW (2023)
Simon Schwan, Verena Klös, Sabine Glesner
A Goal-Oriented Specification Language for Reinforcement Learning. MDAI (2023)
Paul Kogel, Verena Klös, Sabine Glesner
TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. ICFEM (2022)
Verena Klös, Mersedeh Sadeghi, Maike Schwammberger
Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES). RE Workshops (2022)
Wasja Brunotte, Larissa Chazette, Verena Klös, Timo Speith
Quo Vadis, Explainability? - A Research Roadmap for Explainability Engineering. REFSQ (2022)
Larissa Chazette, Verena Klös, Florian Herzog, Kurt Schneider
Requirements on Explanations: A Quality Framework for Explainability. RE (2022)
Maike Schwammberger, Verena Klös
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. FMAS/ASYDE@SEFM (2022)
Florian Ziesche, Verena Klös, Sabine Glesner
Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems. DATE (2021)
Wasja Brunotte, Larissa Chazette, Verena Klös, Eric Knauss, Timo Speith, Andreas Vogelsang
Welcome to the First International Workshop on Requirements Engineering for Explainable Systems (RE4ES). RE Workshops (2021)
Mersedeh Sadeghi, Verena Klös, Andreas Vogelsang
Cases for Explainable Software Systems: Characteristics and Examples. RE Workshops (2021)
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. ECC (2021)
Mersedeh Sadeghi, Verena Klös, Andreas Vogelsang
Cases for Explainable Software Systems: Characteristics and Examples. CoRR (2021)
Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann
Towards Self-Explainable Cyber-Physical Systems. CoRR (2019)
M. Baha E. Zarrouki, Verena Klös, Markus Grabowski, Sabine Glesner
Fault-Tolerance by Graceful Degradation for Car Platoons. ASD@DATE (2019)
Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann
Towards Self-Explainable Cyber-Physical Systems. MoDELS (Companion) (2019)
Verena Klös, Thomas Göthel, Sabine Glesner
Comprehensible and dependable self-learning self-adaptive systems. J. Syst. Archit. (2018)
Verena Klös, Thomas Göthel, Sabine Glesner
Comprehensible Decisions in Complex Self-Adaptive Systems. Software Engineering (2018)
Verena Klös, Thomas Göthel, Sabine Glesner
Runtime management and quantitative evaluation of changing system goals in complex autonomous systems. J. Syst. Softw. 144 (2018)
Verena Klös, Thomas Göthel, Sabine Glesner
Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning. SEAA (2018)
Verena Klös, Thomas Göthel, Sabine Glesner
Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops. FAS*W@SASO/ICCAC (2017)
Verena Klös, Thomas Göthel, Adrian Lohr, Sabine Glesner
Runtime Management and Quantitative Evaluation of Changing System Goals. SEAA (2017)
Verena Klös, Thomas Göthel, Sabine Glesner
Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems. FAS*W@SASO/ICCAC (2016)
Paula Herber, Verena Klös
A multi-robot search using LEGO mindstorms: an embedded software design project. SIGBED Rev. 14 (1) (2016)
Verena Klös, Thomas Göthel, Sabine Glesner
Adaptive Knowledge Bases in Self-Adaptive System Design. EUROMICRO-SEAA (2015)
Paula Herber, Verena Klös
A Multi-Robot Search Using LEGO Mindstorms - An Embedded Software Design Project. WESE (2015)
Thomas Göthel, Verena Klös, Björn Bartels
Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions. EAI Endorsed Trans. Self Adapt. Syst. 1 (1) (2015)
Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner
Model Checking Memory-Related Properties of Hardware/Software Co-designs. IESS (2013)