A formal approach for deriving collective from individual risk in railway systems
Automatic instantiation for railway interlocking systems
Generation of counterexamples for Multi-Object Systems
Enhancing ACC stop&go with digital map information
Real-time detection of pathological traffic situations via AIS
Multiple software product lines in automotive software development
Automated dispatching of train operations using discrete optimisation method
Regionales Content Providing in der Verkehrstelematik
Logische Analyse offener Kommunikationsarchitekturen für Kraftfahrzeuge