Verena Klös

According to our database, Verena Klös authored at least 29 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Model-oriented Reasoning Framework for Privacy Analysis of Complex Systems.

Sebastian Rehms, Stefan Köpsell, Verena Klös, Florian Tschorsch

CoRR, 2024

Template Decision Diagrams for Meta Control and Explainability.

Clemens Dubslaff, Verena Klös, Juliane Päßler

Proceedings of the Explainable Artificial Intelligence, 2024

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

Proceedings of the 13th Nordic Conference on Human-Computer Interaction, 2024

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

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

A Goal-Oriented Specification Language for Reinforcement Learning.

Simon Schwan, Verena Klös, Sabine Glesner

Proceedings of the Modeling Decisions for Artificial Intelligence, 2023

Learning Mealy Machines with Local Timers.

Paul Kogel, Verena Klös, Sabine Glesner

Proceedings of the Formal Methods and Software Engineering, 2023

2022

From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata.

Maike Schwammberger, Verena Klös

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

Quo Vadis, Explainability? - A Research Roadmap for Explainability Engineering.

Wasja Brunotte, Larissa Chazette, Verena Klös, Timo Speith

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022

Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES).

Verena Klös, Mersedeh Sadeghi, Maike Schwammberger

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

Requirements on Explanations: A Quality Framework for Explainability.

Larissa Chazette, Verena Klös, Florian Herzog, Kurt Schneider

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter.

Paul Kogel, Verena Klös, Sabine Glesner

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Safe, intelligent and explainable self-adaptive systems.

Verena Klös

PhD thesis, 2021

Cases for Explainable Software Systems: Characteristics and Examples.

Mersedeh Sadeghi, Verena Klös, Andreas Vogelsang

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 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

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 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

Proceedings of the 2021 European Control Conference, 2021

Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems.

Florian Ziesche, Verena Klös, Sabine Glesner

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2019

Towards Self-Explainable Cyber-Physical Systems.

Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Fault-Tolerance by Graceful Degradation for Car Platoons.

M. Baha E. Zarrouki, Verena Klös, Markus Grabowski, Sabine Glesner

Proceedings of the Workshop on Autonomous Systems Design, 2019

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

Comprehensible and dependable self-learning self-adaptive systems.

Verena Klös, Thomas Göthel, Sabine Glesner

J. Syst. Archit., 2018

Comprehensible Decisions in Complex Self-Adaptive Systems.

Verena Klös, Thomas Göthel, Sabine Glesner

Proceedings of the Software Engineering und Software Management 2018, 2018

Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning.

Verena Klös, Thomas Göthel, Sabine Glesner

Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

2017

Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops.

Verena Klös, Thomas Göthel, Sabine Glesner

Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Runtime Management and Quantitative Evaluation of Changing System Goals.

Verena Klös, Thomas Göthel, Adrian Lohr, Sabine Glesner

Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

2016

A multi-robot search using LEGO mindstorms: an embedded software design project.

Paula Herber, Verena Klös

SIGBED Rev., 2016

Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems.

Verena Klös, Thomas Göthel, Sabine Glesner

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

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

Adaptive Knowledge Bases in Self-Adaptive System Design.

Verena Klös, Thomas Göthel, Sabine Glesner

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2013

Model Checking Memory-Related Properties of Hardware/Software Co-designs.

Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013