Automatic instantiation for railway interlocking systems
Generation of counterexamples for Multi-Object Systems
Enhancing ACC stop&go with digital map information
A formal approach for deriving collective from individual risk in railway systems
Real-time detection of pathological traffic situations via AIS
Multiple software product lines in automotive software development
Regionales Content Providing in der Verkehrstelematik
Automated dispatching of train operations using discrete optimisation method
Logische Analyse offener Kommunikationsarchitekturen für Kraftfahrzeuge
CANopen vernetzte Zusatzgeräte für Sonderfahrzeuge
Prototyping-Plattform - jetzt offen für Serienwerkzeuge
76.5 GHz radar sensor for safety relevant dynamic data acquisition in vehicles
Meeting hard real-time requirements in distributed systems
Nutzung von projektiven Texturen auf einer GPU zur Distanzmessung für automotive Sensorsimulationen
Mehrstufiger Softwaretestprozess in der modellbasierten Funktionsentwicklung
A distributed system architecture for scalable sensor data processing ATC systems