Formal verification of secure information flow in cloud computing W Zeng, M Koutny, P Watson, V Germanos Journal of Information Security and Applications 27, 103-116, 2016 | 36 | 2016 |
Diagnosability under weak fairness V Germanos, S Haar, V Khomenko, S Schwoon ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-19, 2015 | 30 | 2015 |
Diagnosability under Weak Fairness V Germanos, S Haar, V Khomenko, S Schwoon 14th International Conference on Application of Concurrency to System Design …, 2014 | 30 | 2014 |
Modelling Hybrid Cyber Kill Chain W Zeng, V Germanos PNSE@Petri Nets 2019, 2019 | 13 | 2019 |
Benefit and cost of cloud computing security W Zeng, V Germanos 2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced …, 2019 | 9 | 2019 |
Benefit and cost of cloud computing security W Zeng, V Germanos Harnessed Causality: Essays Dedicated to Maciej Koutny on the Occasion of …, 2018 | 9 | 2018 |
Formal verification of robotics navigation algorithms V Germanos, EL Secco 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and …, 2016 | 5 | 2016 |
Is E-voting Systems based on Blockchain Technology Efficient in Nigeria General Elections? F Ehi-Ikuero, V Germanos, L Brooks, W Zeng EAI Endorsed Transactions on Security and Safety 8 (25), 2021 | 4 | 2021 |
Modelling and Analysis Mobile Systems Using -calculus (EFCP) V Khomenko, V Germanos Transactions on Petri Nets and Other Models of Concurrency X, 153-175, 2015 | 4 | 2015 |
Mapping of the Security Requirements of GDPR and NISD N Saqib, V Germanos, W Zeng, L Maglaras EAI Endorsed Transaction on Security and Safety 7 (24), 2020 | 3 | 2020 |
Analysing Petri Nets in a Calculus of Context-aware Ambients F Siewe, V Germanos, W Zeng 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 2020 | 1 | 2020 |
Model checking of mobile systems and diagnosability of weakly fair systems V Germanos Newcastle Uniersity, 2015 | 1 | 2015 |
Model‐based risk assessment evaluation V Germanos, W Zeng Security and Privacy, e240, 2022 | | 2022 |
Quantitative Reaction Systems W Zeng, V Germanos PNSE@Petri Nets 2020, 2020 | | 2020 |