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
Function-Based API for Gas Turbine Engine Performance Programs
Using Knowledge Exchange Workshops to analyze the DLR Software Engineering Community
Task modelling and model validation for car driving
PySimulator – A Simulation and Analysis Environment in Python with Plugin Infrastructure
On-Board Data Analysis and Real-Time Information System
How Few? Bayesian Statistics in Injury Biomechanics
Online and offline security policy assessment
Simulation Analysis of Light Off-Road Vehicle's Body Frame during Airdropping
Digital Annex of Diagnostic Trouble Code Definitions and Failure Type Byte Definitions
Controlling Infrastructure Costs: Right-Sizing the Mission Control Facility
Function-Based API for Gas Turbine Engine Performance Programs