| ID | tartler12hotdep |
| Typ | inProceedings - Artikel in einem Konferenzband |
| Autor | Reinhard Tartler |
| Anil Kurmus | |
| Andreas Ruprecht | |
| Bernhard Heinloth | |
| Valentin Rothberg | |
| Daniela Dorneanu | |
| Rüdiger Kapitza | |
| Wolfgang Schröder-Preikschat | |
| Daniel Lohmann | |
| IBR Autor(en) | Prof. Dr. Rüdiger Kapitza, Dr. Anil Kurmus |
| IBR Gruppe(n) | DS (Prof. Kapitza) |
| Projekt | tclouds |
| Editor | USENIX |
| Titel | Automatic OS Kernel TCB Reductionby Leveraging Compile-Time Configurability |
| Buchtitel | Proceedings of the 8th Workshop on Hot Topics in System Dependability (HotDep '12) |
| Jahr | 2012 |
| Ort | Hollywood, CA, USA |
| URL | http://www4.cs.fau.de/Publications/2012/tartler_12_hotdep.pdf |