Software and Embedded Systems Engineering
Forschung
Unsere Forschungsschwerpunkte liegen in den Bereichen:
- Software Engineering eingebetteter Systeme
- Qualitätssicherung eingebetteter Systeme
- Entwurf eingebetteter Systeme
Diese Seite befindet sich derzeit im Aufbau. Eine detaillierte Übersicht über unsere Forschungsaktivitäten finden Sie hier in Kürze.
Aktuelle Veröffentlichungen (Auswahl)
2023
Schwan,
Simon;
Klös,
Verena;
Glesner,
Sabine
A Goal-Oriented Specification Language for Reinforcement Learning
In Torra, Vicenç and Narukawa, Yasuo, Editor, Modeling Decisions for Artificial Intelligence, Seite 169–180
In Torra, Vicenç and Narukawa, Yasuo, Editor
Herausgeber: Springer Nature Switzerland, Cham
2023
A Goal-Oriented Specification Language for Reinforcement Learning
In Torra, Vicenç and Narukawa, Yasuo, Editor, Modeling Decisions for Artificial Intelligence, Seite 169–180
In Torra, Vicenç and Narukawa, Yasuo, Editor
Herausgeber: Springer Nature Switzerland, Cham
2023
- ISBN
- 978-3-031-33498-6
2022
Schwammberger,
Maike;
Klös,
Verena
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata
In Matt Luckcuck and Marie Farrell, Editor, Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022Band371ausEPTCS, Seite 20–37
In Matt Luckcuck and Marie Farrell, Editor
2022
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata
In Matt Luckcuck and Marie Farrell, Editor, Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022Band371ausEPTCS, Seite 20–37
In Matt Luckcuck and Marie Farrell, Editor
2022
Brunotte,
Wasja;
Chazette,
Larissa;
Klös,
Verena;
Speith,
Timo
Quo Vadis, Explainability? - A Research Roadmap for Explainability Engineering
In Vincenzo Gervasi and Andreas Vogelsang, Editor, Requirements Engineering: Foundation for Software Quality - 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, ProceedingsBand13216ausLecture Notes in Computer Science, Seite 26–32
In Vincenzo Gervasi and Andreas Vogelsang, Editor
Herausgeber: Springer
2022
Quo Vadis, Explainability? - A Research Roadmap for Explainability Engineering
In Vincenzo Gervasi and Andreas Vogelsang, Editor, Requirements Engineering: Foundation for Software Quality - 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, ProceedingsBand13216ausLecture Notes in Computer Science, Seite 26–32
In Vincenzo Gervasi and Andreas Vogelsang, Editor
Herausgeber: Springer
2022
Chazette,
Larissa;
Klös,
Verena;
Herzog,
Florian;
Schneider,
Kurt
Requirements on Explanations: A Quality Framework for Explainability
30th IEEE International Requirements Engineering Conference, RE 2022, Melbourne, Australia, August 15-19, 2022, Seite 140–152
Herausgeber: IEEE
2022
Requirements on Explanations: A Quality Framework for Explainability
30th IEEE International Requirements Engineering Conference, RE 2022, Melbourne, Australia, August 15-19, 2022, Seite 140–152
Herausgeber: IEEE
2022
Kogel,
Paul;
Klös,
Verena;
Glesner,
Sabine
TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter
In Riesco, Adrian and Zhang, Min, Editor, Formal Methods and Software Engineering, Seite 227–243
In Riesco, Adrian and Zhang, Min, Editor
Herausgeber: Springer International Publishing, Cham
2022
TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter
In Riesco, Adrian and Zhang, Min, Editor, Formal Methods and Software Engineering, Seite 227–243
In Riesco, Adrian and Zhang, Min, Editor
Herausgeber: Springer International Publishing, Cham
2022
- ISBN
- 978-3-031-17244-1
Klös,
Verena;
Sadeghi,
Mersedeh;
Schwammberger,
Maike
Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES)
30th IEEE International Requirements Engineering Conference Workshops, RE 2022 - Workshops, Melbourne, Australia, August 15-19, 2022, Seite 81–82
Herausgeber: IEEE
2022
Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES)
30th IEEE International Requirements Engineering Conference Workshops, RE 2022 - Workshops, Melbourne, Australia, August 15-19, 2022, Seite 81–82
Herausgeber: IEEE
2022
2021
Klös,
Verena;
Kogel,
Paul;
Glesner,
Sabine
Experiences from a multidisciplinary student project with simulated robots and digital project work
Blended Learning in Engineering Education: challenging, enlightening – and lasting?,
SEFI 49th Annual Conference
In Hans-Ulrich Heiß, Hannu-Matti Järvinen, Annette Mayer, Alexandra Schulz, Editor
September 2021
Experiences from a multidisciplinary student project with simulated robots and digital project work
Blended Learning in Engineering Education: challenging, enlightening – and lasting?,
SEFI 49th Annual Conference
In Hans-Ulrich Heiß, Hannu-Matti Järvinen, Annette Mayer, Alexandra Schulz, Editor
September 2021
Ziesche,
Florian;
Klös,
Verena;
Glesner,
Sabine
Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems
Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021, Seite 1304–1309
Herausgeber: IEEE
2021
Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems
Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021, Seite 1304–1309
Herausgeber: IEEE
2021
Sadeghi,
Mersedeh;
Klös,
Verena;
Vogelsang,
Andreas
Cases for Explainable Software Systems: Characteristics and Examples
In Tao Yue and Mehdi Mirakhorli, Editor, 29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021, Seite 181–187
In Tao Yue and Mehdi Mirakhorli, Editor
Herausgeber: IEEE
2021
Cases for Explainable Software Systems: Characteristics and Examples
In Tao Yue and Mehdi Mirakhorli, Editor, 29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021, Seite 181–187
In Tao Yue and Mehdi Mirakhorli, Editor
Herausgeber: IEEE
2021
Sadeghi,
Mersedeh;
Klös,
Verena;
Vogelsang,
Andreas
Cases for Explainable Software Systems: Characteristics and Examples
CoRR, abs/2108.05980
2021
Cases for Explainable Software Systems: Characteristics and Examples
CoRR, abs/2108.05980
2021
Klös,
Verena
Safe, intelligent and explainable self-adaptive systems
Technical University of Berlin, Germany
2021
Safe, intelligent and explainable self-adaptive systems
Technical University of Berlin, Germany
2021
Zarrouki,
M. Baha E.;
Klös,
Verena;
Heppner,
Nikolas;
Schwan,
Simon;
Ritschel,
Robert;
Voßwinkel,
Rick
Weights-varying MPC for Autonomous Vehicle Guidance: a Deep Reinforcement Learning Approach
2021 European Control Conference, ECC 2021, Virtual Event / Delft, The Netherlands, June 29 - July 2, 2021, Seite 119–125
Herausgeber: IEEE
2021
Weights-varying MPC for Autonomous Vehicle Guidance: a Deep Reinforcement Learning Approach
2021 European Control Conference, ECC 2021, Virtual Event / Delft, The Netherlands, June 29 - July 2, 2021, Seite 119–125
Herausgeber: IEEE
2021
Brunotte,
Wasja;
Chazette,
Larissa;
Klös,
Verena;
Knauss,
Eric;
Speith,
Timo;
Vogelsang,
Andreas
Welcome to the First International Workshop on Requirements Engineering for Explainable Systems (RE4ES)
In Tao Yue and Mehdi Mirakhorli, Editor, 29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021, Seite 157–158
In Tao Yue and Mehdi Mirakhorli, Editor
Herausgeber: IEEE
2021
Welcome to the First International Workshop on Requirements Engineering for Explainable Systems (RE4ES)
In Tao Yue and Mehdi Mirakhorli, Editor, 29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021, Seite 157–158
In Tao Yue and Mehdi Mirakhorli, Editor
Herausgeber: IEEE
2021
