| 2008 | ||
|---|---|---|
| 2 | Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya: Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution. FM 2008: 406-410 | |
| 2007 | ||
| 1 | Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar: Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. SAFECOMP 2007: 28-39 | |
| 1 | Jens-Uwe Bußer | [1] |
| 2 | Jorge Cuéllar | [1] |
| 3 | Mingyan Li | [1] [2] |
| 4 | David von Oheimb | [1] |
| 5 | Radha Poovendran | [1] |
| 6 | Richard Robinson | [1] [2] |
| 7 | Krishna Sampigethaya | [1] [2] |