Schedule
Keynotes
- Mohammad Reza Mousavi: Conformance Testing as a Tool for Designing Connected Vehicle Functions
- Holger Giese: Challenges for Engineering Smart Cyber-Physical Systems
- Holger Hermanns: Foundations of Perspicuous Software Systems
Position Talks
30 minutes per person, of which 15 minutes should be the presentation time, and 15 minutes should be time for discussion.
Monday
- Dimitri Bohlender: Explainable Restart-Behaviour of Reactive Systems Software (Abstract, Slides)
- Lars Luthmann and Malte Lochau: Model-based Testing Strategies for Configurable Software with Unbounded Parametric Real-Time Constraints (Abstract, Slides)
- Andreas Wortmann: Towards Modeling Languages for Explainable Robotics (Abstract, Slides)
- Nico Hochgeschwender: Improving the Explainability of Autonomous and Intelligent Systems with Conversational Interfaces (Abstract)
- Thomas Vogel: Explainable Quality Assurance of Behavioral Requirements (Abstract)
- Markus Borg: Explainability First! Cousteauing the Depths of Neural Networks to Argue Safety (Abstract, Slides)
- Maike Schwammberger: Distributed Controllers for Provably Live and Safe Car Manoeuvres on Freeways and in Urban Traffic (Abstract, Slides)
- Jesper Karlsson: Formal-methods based motion-planning for mobility-on-demand and its application on fleets of autonomous vehicles – an ES4CPS problem (Abstract)
- Christoph Sommer: Multi-Technology and Multi-Level Cooperative Mobile Systems in Smart Cities of Tomorrow (Abstract)
Tuesday
- Ilias Gerostathopoulos: Automated Experimentation for Online Learning and Adaptation (Abstract, Slides)
- Christopher Gerking: Explainability of Cyber-Physical Security Threats (Abstract)
- Narges Khakpour: Security Explainability Challenges in Cyber-Physical Systems (Abstract)
- Francisco Javier Chiyah Garcia: Explainable Autonomy through Natural Language (Abstract, Slides)
- Claudio Menghi: Strategy Patterns for Multi-Agent CPS (Abstract)
- Andreas Vogelsang: Towards Explainable RE Tools (Abstract, Slides)
- Simos Gerasimou: Safety Assurance of Cyber-Physical Systems: Mind the Gap (Abstract)
- Verena Klös: Explainable Self-Learning Self-Adaptive Systems (Abstract, Slides)
- Mathias Blumreiter: Refining incomplete models through system observations with NuSMV (Abstract)
- Maximilian Köhl: Explainable Automotive Emissions (Abstract)
Wednesday
- Joel Greenyer: Towards Explainable Controller Synthesis and Reinforcement Learning for Cyber-Physical Systems (Abstract)