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
Performance Analysis of Complex Engineering Frameworks
Task modelling and model validation for car driving