Modellbasierte Entwicklung innovativer Fahrzeugkonzepte für die Mobilität der Zukunft
Development of hierarchical testing workflows to support virtual verification of technical systems
Modellbasierte Optimierung von mechatronischen Systemen für sicherheitsrelevante Fahrzeuganwendungen
"Verifikationsoptimierte Systemarchitekturen" : Schlussbericht zum F&E Vorhaben 50 YH 1625
"Verifikationsoptimierte Systemarchitekturen" : Schlussbericht zum F&E Vorhaben 50 YH 1625
Synthese und Konzeptionierung domänenübergreifender Antriebssysteme
Automatic Exploration of Automotive E/E Architectures
Ein modellbasierter Ansatz zur integralen Systementwicklung im Gesamtfahrzeug
Elektrische Schwarmeinheit mit externer Energieversorgung
Heterogeneous Verification of an Autonomous Curiosity Rover
On the Usefulness of Clause Strengthening in Parallel SAT Solving