Logic Model Checking of Time-Periodic Real-Time Systems
Certified Information Flow Analysis of Service Implementations
Scientific Developers v/s Static Analysis Tools: Vision and Position Paper
Function-Based API for Gas Turbine Engine Performance Programs
Task modelling and model validation for car driving
Using Knowledge Exchange Workshops to analyze the DLR Software Engineering Community
PySimulator – A Simulation and Analysis Environment in Python with Plugin Infrastructure
Digital Annex of Diagnostic Trouble Code Definitions and Failure Type Byte Definitions
How Few? Bayesian Statistics in Injury Biomechanics
Simulation Analysis of Light Off-Road Vehicle's Body Frame during Airdropping
Online and offline security policy assessment
Controlling Infrastructure Costs: Right-Sizing the Mission Control Facility
Function-Based API for Gas Turbine Engine Performance Programs
An Operations Concept for Integrated Model-Centric Engineering at JPL
Image fusion and decision in a context of multisource images
The intelligent user interface for NASA's advanced information management systems
Testability Design of the PHM System for Aero-Engines
A system management methodology for building successful resource management systems