Logic Model Checking of Time-Periodic Real-Time Systems
Evaluation of High-Temperature Martensitic Steels for Heavy-Duty Diesel Piston Applications
Certified Information Flow Analysis of Service Implementations
Health Management Systems Engineering and Integration
Digital Twin For Fatigue Analysis
Numerical Investigations on Development of Scramjet Combustor
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
Joining of Nylon Using Friction Stir Welding (FSW) Techniques
Using Knowledge Exchange Workshops to analyze the DLR Software Engineering Community
On-Board Data Analysis and Real-Time Information System
Function-Based API for Gas Turbine Engine Performance Programs