Logic Model Checking of Time-Periodic Real-Time Systems
Certified Information Flow Analysis of Service Implementations
Health Management Systems Engineering and Integration
Scientific Developers v/s Static Analysis Tools: Vision and Position Paper
Using Knowledge Exchange Workshops to analyze the DLR Software Engineering Community
Task modelling and model validation for car driving