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
8 2019 Benefit and cost of cloud computing security W Zeng, V Germanos
Harnessed Causality: Essays Dedicated to Maciej Koutny on the Occasion of …, 2018
8 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 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 Modelling and Analysis Mobile Systems Using V Khomenko, V Germanos
Transactions on Petri Nets and Other Models of Concurrency X, 153-175, 2015
3 2015 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 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
2020 Quantitative Reaction Systems W Zeng, V Germanos
PNSE@Petri Nets 2020, 2020
2020 
Victor KhomenkoSchool of Computing, Newcastle UniversityE-mail confirmado em ncl.ac.uk
