Wen Zeng Professor Maciej Koutny Professor Paul Watson Vasileios Germanos
| Formal Verification of Secure Information Flow in Cloud Computing | 2016 |
|
Vasileios Germanos Dr Victor Khomenko
| Diagnosability under Weak Fairness | 2015 |
|
Vasileios Germanos Dr Victor Khomenko
| Diagnosability under Weak Fairness | 2014 |
|