D. Kleidermacher

ARINC 653 and IMA-compliant high robustness file systems

D. Kleidermacher, M. Wolf, D. Kleidermacher, 2008, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference.

Using static analysis to improve communications infrastructure

D. Kleidermacher, M. Wolf, D. Kleidermacher, 2008, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference.

MILS virtualization for Integrated Modular Avionics

D. Kleidermacher, M. Wolf, 2008, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference.