![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Verena Klös
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2021
- [b1]Verena Klös:
Safe, intelligent and explainable self-adaptive systems. Technical University of Berlin, Germany, 2021
Journal Articles
- 2018
- [j4]Verena Klös, Thomas Göthel, Sabine Glesner:
Comprehensible and dependable self-learning self-adaptive systems. J. Syst. Archit. 85-86: 28-42 (2018) - [j3]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: 314-327 (2018) - 2016
- [j2]Paula Herber, Verena Klös:
A multi-robot search using LEGO mindstorms: an embedded software design project. SIGBED Rev. 14(1): 61-70 (2016) - 2015
- [j1]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): e5 (2015)
Conference and Workshop Papers
- 2023
- [c22]Paul Kogel
, Verena Klös, Sabine Glesner:
Learning Mealy Machines with Local Timers. ICFEM 2023: 47-64 - [c21]Simon Schwan, Verena Klös, Sabine Glesner:
A Goal-Oriented Specification Language for Reinforcement Learning. MDAI 2023: 169-180 - [c20]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: 307-308 - 2022
- [c19]Paul Kogel
, Verena Klös, Sabine Glesner:
TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. ICFEM 2022: 227-243 - [c18]Verena Klös, Mersedeh Sadeghi, Maike Schwammberger
:
Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES). RE Workshops 2022: 81-82 - [c17]Larissa Chazette, Verena Klös, Florian Herzog, Kurt Schneider:
Requirements on Explanations: A Quality Framework for Explainability. RE 2022: 140-152 - [c16]Wasja Brunotte
, Larissa Chazette, Verena Klös, Timo Speith
:
Quo Vadis, Explainability? - A Research Roadmap for Explainability Engineering. REFSQ 2022: 26-32 - [c15]Maike Schwammberger
, Verena Klös:
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. FMAS/ASYDE@SEFM 2022: 20-37 - 2021
- [c14]Florian Ziesche, Verena Klös, Sabine Glesner:
Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems. DATE 2021: 1304-1309 - [c13]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: 119-125 - [c12]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: 157-158 - [c11]Mersedeh Sadeghi
, Verena Klös, Andreas Vogelsang
:
Cases for Explainable Software Systems: Characteristics and Examples. RE Workshops 2021: 181-187 - 2019
- [c10]M. Baha E. Zarrouki, Verena Klös, Markus Grabowski, Sabine Glesner:
Fault-Tolerance by Graceful Degradation for Car Platoons. ASD@DATE 2019: 1:1-1:15 - [c9]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: 543-548 - 2018
- [c8]Verena Klös, Thomas Göthel, Sabine Glesner:
Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning. SEAA 2018: 89-96 - [c7]Verena Klös, Thomas Göthel, Sabine Glesner:
Comprehensible Decisions in Complex Self-Adaptive Systems. Software Engineering 2018: 215-216 - 2017
- [c6]Verena Klös, Thomas Göthel, Adrian Lohr, Sabine Glesner:
Runtime Management and Quantitative Evaluation of Changing System Goals. SEAA 2017: 226-233 - [c5]Verena Klös, Thomas Göthel, Sabine Glesner:
Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops. FAS*W@SASO/ICCAC 2017: 13-18 - 2016
- [c4]Verena Klös, Thomas Göthel, Sabine Glesner:
Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems. FAS*W@SASO/ICCAC 2016: 106-111 - 2015
- [c3]Paula Herber, Verena Klös:
A Multi-Robot Search Using LEGO Mindstorms - An Embedded Software Design Project. WESE 2015: 2:1-2:8 - [c2]Verena Klös, Thomas Göthel, Sabine Glesner:
Adaptive Knowledge Bases in Self-Adaptive System Design. EUROMICRO-SEAA 2015: 472-478 - 2013
- [c1]Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner:
Model Checking Memory-Related Properties of Hardware/Software Co-designs. IESS 2013: 92-103
Informal and Other Publications
- 2024
- [i3]Sebastian Rehms, Stefan Köpsell, Verena Klös, Florian Tschorsch:
A Model-oriented Reasoning Framework for Privacy Analysis of Complex Systems. CoRR abs/2405.08356 (2024) - 2021
- [i2]Mersedeh Sadeghi, Verena Klös, Andreas Vogelsang:
Cases for Explainable Software Systems: Characteristics and Examples. CoRR abs/2108.05980 (2021) - 2019
- [i1]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 abs/1908.04698 (2019)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint