Durchgängiger Aufbau von Simulationsumgebungen für vernetzte Funktionen
Automated Driver Scheduling for Vehicle Delivery
Understanding of Drivers Speed Decisions to Improve Traffic Management on Highways of the Future
Design and Implementation of a Plant Morphology Modeling System Based on Evolutionary Strategy
Programming Microcontroller via Hierarchical Finite State Machine
A Congested Route Discrimination Scheme Through the Analysis of Moving Object Trajectories
An Instrumentation-Based Approach to Controller Model Validation
Towards Verification of Model Transformations Via Goal-Directed Certification
Modeling with the Timing Definition Language (TDL)
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Towards Model-Driven Development of Hard Real-Time Systems
Generating Sound and Resource-Aware Code from Hybrid Systems Models
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software