| |
| 2009 | ||
|---|---|---|
| 2 | EE | Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu: Model-Checking the Linux Virtual File System. VMCAI 2009: 74-88 |
| 2006 | ||
| 1 | EE | Jan Tobias Mühlberg, Gerald Lüttgen: Blasting Linux Code. FMICS/PDMC 2006: 211-226 |
| 1 | Andy Galloway | [2] |
| 2 | Gerald Lüttgen | [1] [2] |
| 3 | Radu Siminiceanu | [2] |