| |
| * | 2008 | |
|---|---|---|
| 2 | Theocharis Tsigkritis, George Spanoudakis: Diagnosing Runtime Violations of Security & Dependability Properties. SEKE 2008: 661-666 | |
| 2007 | ||
| 1 | EE | Theofrastos Koulouris, George Spanoudakis, Theocharis Tsigkritis: Towards a Framework for Dynamic Verification of Peer-to-Peer Systems. ICIW 2007: 2 |
| 1 | Theofrastos Koulouris | [1] |
| 2 | George Spanoudakis | [1] [2] |