Safe software development for a video-based train detection system in accordance with EN 50128
Timing Verifikation von AUTOSAR Softwarearchitekturen
Specification of Distributed Computing for Small Satellite Control
Composable Coordination for Service Robots: A Model-Driven Approach
A coordination perspective of agility in automotive product development
Validating Machine Learning-based Highly Automated Driving Functions by Diversity
Bayesian optimization in robot learning : automatic controller tuning and sample-efficient methods