26 citations · 64 across the 9 of their papers we have counts for
10 papers
Generic Analysis of Model Product Lines via Constraint Lifting
Andreas Bayha, Vincent Aravantinos
Engineering a product-line is more than just describing a product-line: to be correct, every variant that can be generated must satisfy some constraints. To ensure that all such va…
From Specifications to Behavior: Maneuver Verification in a Semantic State Space
Klemens Esterle, Vincent Aravantinos, Alois Knoll
To realize a market entry of autonomous vehicles in the foreseeable future, the behavior planning system will need to abide by the same rules that humans follow. Product liability…
What the Constant Velocity Model Can Teach Us About Pedestrian Motion Prediction
Christoph Schöller, Vincent Aravantinos, Florian Lay +1
Pedestrian motion prediction is a fundamental task for autonomous robots and vehicles to operate safely. In recent years many complex approaches based on neural networks have been…
Traceability of Deep Neural Networks
Vincent Aravantinos, Frederik Diehl
[Context.] The success of deep learning makes its usage more and more tempting in safety-critical applications. However such applications have historical standards (e.g., DO178, IS…
Formalization of Complex Vectors in Higher-Order Logic
Sanaz Khan-Afshar, Vincent Aravantinos, Osman Hasan +1
Complex vector analysis is widely used to analyze continuous systems in many disciplines, including physics and engineering. In this paper, we present a higher-order-logic formaliz…
Formal Analysis of Optical Systems
Sanaz Khan-Afshar, Umair Siddique, Mohamed Yousri Mahmoud +4
Optical systems are becoming increasingly important by resolving many bottlenecks in today's communication, electronics, and biomedical systems. However, given the continuous natur…