4 papers
Reasoning-supported Robustness Validation of Automotive E/E Components
Jan Novacek, Alexander Viehl, Oliver Bringmann +1
This paper presents an ontology-supported approach to tackle the complexity of the Robustness Validation (RV) process of automotive electrical/electronic (E/E) components. The appr…
Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
David Knothe, Oliver Bringmann
Verified compilers aim to guarantee that compilation preserves the observable behavior of source programs. While small-step semantics are widely used in such compilers, they are no…
A Comprehensive Safety Metric to Evaluate Perception in Autonomous Systems
Georg Volk, Jörg Gamerdinger, Alexander von Bernuth +1
Complete perception of the environment and its correct interpretation is crucial for autonomous vehicles. Object perception is the main component of automotive surround sensing. Va…
CoLD Fusion: A Real-time Capable Spline-based Fusion Algorithm for Collective Lane Detection
Jörg Gamerdinger, Sven Teufel, Georg Volk +1
Comprehensive environment perception is essential for autonomous vehicles to operate safely. It is crucial to detect both dynamic road users and static objects like traffic signs o…