Items where Author is "Germanos, Vasileios"

Article

Zeng, Wen and Koutny, Maciej and Watson, Paul and Germanos, Vasileios (2016) Formal Verification of Secure Information Flow in Cloud Computing. Journal of Information Security and Applications, 27-28. pp. 103-116. ISSN 2214-2126

Khomenko, Victor and Germanos, Vasileios (2015) Modelling and Analysis Mobile Systems Using �pi-calculus (EFCP). Transactions on Petri Nets and Other Models of Concurrency X, 9410. pp. 153-175. ISSN 0302-9743

Book Section

Germanos, Vasileios and Secco, Emanuele Lindo (2016) Formal Verification of Robotics Navigation Algorithms. In: 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES). IEEE, Paris, pp. 177-180. ISBN 9781509035939

Conference or Workshop Item

Germanos, Vasileios and Haar, Stefan and Khomenko, Victor and Schwoon, Stefan (2014) Diagnosability under Weak Fairness. In: 2014 14th International Conference on Application of Concurrency to System Design, 23-27 June 2014, Tunis La Marsa.