Verena Klös

41 papers A 2B 6C 4Misc 1Journal 8Unranked 19
YearRankTypeTitle / Venue / Authors
2025 C conf
A Formal Model Transformation from Data Flow Models to IEC 61499 Models.
ETFA
Malte Grave, Markus Meingast, Verena Klös, Alois Zoitl, Lisa Sonnleithner, Jörg Walter
2025 B conf
Effective Explanations for Belief-Desire-Intention Robots: When and What to Explain.
RO-MAN
Cong Wang, Roberto Calandra, Verena Klös
2025 J jnl
Effective Explanations for Belief-Desire-Intention Robots: When and What to Explain.
CoRR
Cong Wang, Roberto Calandra, Verena Klös
2025 — conf
Enabling Manual-Controllable Compilation for Dataflow CGRAs.
IPDPS (Workshops)
Felix Böseler, Jörg Walter, Verena Klös
2025 — conf
Explainability in Self-Adaptive Systems: A Systematic Literature Review.
SEAA (2)
Raphael Straub, Florian Sihler, Ali Torbati, Cong Wang, Raffaela Groner, Verena Klös, Matthias Tichy
2025 B conf
Exploring Explainability Requirements for Self-adaptive Systems.
SEAA
Cong Wang, Ali Torbati, Verena Klös
2025 — conf
Information Inference Diagrams: Complementing Privacy and Security Analyses Beyond Data Flows.
APF
Sebastian Rehms, Stefan Köpsell, Verena Klös, Florian Tschorsch
2025 — conf
Legal Requirements, Trust Issues and Engineering Challenges - A Multi-disciplinary Case for User-Specific Explainability.
xAI (4)
Merle Fairhurst, Katharina Kaesling, Verena Klös
2025 — conf
Towards Autonomous Goal Management: A Decision Theoretic Approach and Key Challenges.
ACSOS-C
Ivo Fagundes David de Oliveira, Verena Klös
2024 J jnl
A Model-oriented Reasoning Framework for Privacy Analysis of Complex Systems.
CoRR
Sebastian Rehms, Stefan Köpsell, Verena Klös, Florian Tschorsch
2024 — conf
Template Decision Diagrams for Meta Control and Explainability.
xAI (2)
Clemens Dubslaff, Verena Klös, Juliane Päßler
2024 Misc conf
The X Factor: On the Relationship between User eXperience and eXplainability.
NordiCHI
Hannah Deters, Jakob Droste, Anne Hess, Verena Klös, Kurt Schneider, Timo Speith, Andreas Vogelsang
2023 B conf
A Goal-Oriented Specification Language for Reinforcement Learning.
MDAI
Simon Schwan, Verena Klös, Sabine Glesner
2023 C conf
Learning Mealy Machines with Local Timers.
ICFEM
Paul Kogel, Verena Klös, Sabine Glesner
2023 — conf
Welcome to the Third International Workshop on Requirements Engineering for Explainable Systems (RE4ES).
REW
Jakob Droste, Verena Klös, Mersedeh Sadeghi, Maike Schwarnmberger, Timo Speith
2022 — conf
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata.
FMAS/ASYDE@SEFM
Maike Schwammberger, Verena Klös
2022 B conf
Quo Vadis, Explainability? - A Research Roadmap for Explainability Engineering.
REFSQ
Wasja Brunotte, Larissa Chazette, Verena Klös, Timo Speith
2022 A conf
Requirements on Explanations: A Quality Framework for Explainability.
RE
Larissa Chazette, Verena Klös, Florian Herzog, Kurt Schneider
2022 C conf
TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter.
ICFEM
Paul Kogel, Verena Klös, Sabine Glesner
2022 — conf
Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES).
RE Workshops
Verena Klös, Mersedeh Sadeghi, Maike Schwammberger
2021 A conf
Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems.
DATE
Florian Ziesche, Verena Klös, Sabine Glesner
2021 — conf
Cases for Explainable Software Systems: Characteristics and Examples.
RE Workshops
Mersedeh Sadeghi, Verena Klös, Andreas Vogelsang
2021 J jnl
Cases for Explainable Software Systems: Characteristics and Examples.
CoRR
Mersedeh Sadeghi, Verena Klös, Andreas Vogelsang
2021 — —
Safe, intelligent and explainable self-adaptive systems.
Verena Klös
2021 — conf
Weights-varying MPC for Autonomous Vehicle Guidance: a Deep Reinforcement Learning Approach.
ECC
M. Baha E. Zarrouki, Verena Klös, Nikolas Heppner, Simon Schwan, Robert Ritschel, Rick Voßwinkel
2021 — conf
Welcome to the First International Workshop on Requirements Engineering for Explainable Systems (RE4ES).
RE Workshops
Wasja Brunotte, Larissa Chazette, Verena Klös, Eric Knauss, Timo Speith, Andreas Vogelsang
2019 — conf
Fault-Tolerance by Graceful Degradation for Car Platoons.
ASD@DATE
M. Baha E. Zarrouki, Verena Klös, Markus Grabowski, Sabine Glesner
2019 — conf
Towards Self-Explainable Cyber-Physical Systems.
MoDELS (Companion)
Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann
2019 J jnl
Towards Self-Explainable Cyber-Physical Systems.
CoRR
Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann
2018 B conf
Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning.
SEAA
Verena Klös, Thomas Göthel, Sabine Glesner
2018 C conf
Comprehensible Decisions in Complex Self-Adaptive Systems.
Software Engineering
Verena Klös, Thomas Göthel, Sabine Glesner
2018 J jnl
Comprehensible and dependable self-learning self-adaptive systems.
J. Syst. Archit.
Verena Klös, Thomas Göthel, Sabine Glesner
2018 J jnl
Runtime management and quantitative evaluation of changing system goals in complex autonomous systems.
J. Syst. Softw.
Verena Klös, Thomas Göthel, Sabine Glesner
2017 — conf
Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops.
FAS*W@SASO/ICCAC
Verena Klös, Thomas Göthel, Sabine Glesner
2017 B conf
Runtime Management and Quantitative Evaluation of Changing System Goals.
SEAA
Verena Klös, Thomas Göthel, Adrian Lohr, Sabine Glesner
2016 J jnl
A multi-robot search using LEGO mindstorms: an embedded software design project.
SIGBED Rev.
Paula Herber, Verena Klös
2016 — conf
Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems.
FAS*W@SASO/ICCAC
Verena Klös, Thomas Göthel, Sabine Glesner
2015 — conf
A Multi-Robot Search Using LEGO Mindstorms - An Embedded Software Design Project.
WESE
Paula Herber, Verena Klös
2015 — conf
Adaptive Knowledge Bases in Self-Adaptive System Design.
EUROMICRO-SEAA
Verena Klös, Thomas Göthel, Sabine Glesner
2015 J jnl
Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions.
EAI Endorsed Trans. Self Adapt. Syst.
Thomas Göthel, Verena Klös, Björn Bartels
2013 — conf
Model Checking Memory-Related Properties of Hardware/Software Co-designs.
IESS
Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner