| |
| 2008 | ||
|---|---|---|
| 3 | EE | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou: A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. COMPSAC 2008: 12-19 |
| 2007 | ||
| 2 | EE | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. SAFECOMP 2007: 238-251 |
| 2006 | ||
| 1 | EE | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. ISPA 2006: 317-328 |
| 1 | Nikolaos Alexiou | [3] |
| 2 | Stylianos Basagiannis | [1] [2] [3] |
| 3 | Panagiotis Katsaros | [1] [2] [3] |