Follow
Verena Klös
Verena Klös
TU Dresden, Centre for Tactile Internet with Human-in-the-Loop (CeTI)
Verified email at tu-dresden.de
Title
Cited by
Cited by
Year
Adaptive knowledge bases in self-adaptive system design
V Klös, T Göthel, S Glesner
2015 41st Euromicro Conference on Software Engineering and Advanced …, 2015
412015
Towards self-explainable cyber-physical systems
M Blumreiter, J Greenyer, FJC Garcia, V Klös, M Schwammberger, ...
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
372019
Comprehensible and dependable self-learning self-adaptive systems
V Klös, T Göthel, S Glesner
Journal of systems architecture 85, 28-42, 2018
262018
Quo vadis, explainability?–A research roadmap for explainability engineering
W Brunotte, L Chazette, V Klös, T Speith
International Working Conference on Requirements Engineering: Foundation for …, 2022
202022
Cases for explainable software systems: Characteristics and examples
M Sadeghi, V Klös, A Vogelsang
2021 IEEE 29th International Requirements Engineering Conference Workshops …, 2021
172021
Runtime management and quantitative evaluation of changing system goals in complex autonomous systems
V Klös, T Göthel, S Glesner
Journal of Systems and Software 144, 314-327, 2018
172018
Weights-varying mpc for autonomous vehicle guidance: a deep reinforcement learning approach
B Zarrouki, V Klös, N Heppner, S Schwan, R Ritschel, R Voßwinkel
2021 European Control Conference (ECC), 119-125, 2021
162021
Formal models for analysing dynamic adaptation behaviour in real-time systems
V Klös, T Göthel, S Glesner
2016 IEEE 1st International Workshops on Foundations and Applications of …, 2016
122016
Requirements on explanations: a quality framework for explainability
L Chazette, V Klös, F Herzog, K Schneider
2022 IEEE 30th International Requirements Engineering Conference (RE), 140-152, 2022
102022
Anomaly detection and classification to enable self-explainability of autonomous systems
F Ziesche, V Klös, S Glesner
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2021
82021
Parameterisation and optimisation patterns for MAPE-K feedback loops
V Klöes, T Göthel, S Glesner
2017 IEEE 2nd International Workshops on Foundations and Applications of …, 2017
82017
Automatic analysis and abstraction for model checking HW/SW co-designs modeled in SystemC
T Liebrenz, V Klös, P Herber
ACM SIGAda Ada Letters 36 (2), 9-17, 2017
82017
Modular design and verification of distributed adaptive real-time systems based on refinements and abstractions
T Göthel, V Klös, B Bartels
EAI Endorsed Transactions on Self-Adaptive Systems 1 (1), 2015
82015
Model checking memory-related properties of hardware/software co-designs
M Pockrandt, P Herber, V Klös, S Glesner
Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 …, 2013
82013
Runtime management and quantitative evaluation of changing system goals
V Klös, T Göthel, A Lohr, S Glesner
2017 43rd Euromicro Conference on Software Engineering and Advanced …, 2017
72017
Runtime Management and Quantitative Evaluation of Changing System Goals
V Klös, T Göthel, A Lohr, S Glesner
43rd Euromicro Conference on Software Engineering and Advanced Applications …, 2017
72017
From specification models to explanation models: An extraction and refinement process for timed automata
M Schwammberger, V Klös
arXiv preprint arXiv:2209.14034, 2022
62022
A multi-robot search using LEGO mindstorms: an embedded software design project
P Herber, V Klös
ACM SIGBED Review 14 (1), 61-70, 2017
62017
Welcome to the first international workshop on requirements engineering for explainable systems (RE4ES)
W Brunotte, L Chazette, V Klos, E Knauss, T Speith, A Vogelsang
2021 IEEE 29th International Requirements Engineering Conference Workshops …, 2021
52021
Comprehensible decisions in complex self-adaptive systems
V Klös, T Göthel, S Glesner
Gesellschaft für Informatik, 2018
52018
The system can't perform the operation now. Try again later.
Articles 1–20