Follow
Vasileios Germanos
Vasileios Germanos
Senior Lecturer in Computer Science, De Montfort University
Verified email at dmu.ac.uk
Title
Cited by
Cited by
Year
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
362016
Diagnosability under weak fairness
V Germanos, S Haar, V Khomenko, S Schwoon
ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-19, 2015
302015
Diagnosability under Weak Fairness
V Germanos, S Haar, V Khomenko, S Schwoon
14th International Conference on Application of Concurrency to System Design …, 2014
302014
Modelling Hybrid Cyber Kill Chain
W Zeng, V Germanos
PNSE@Petri Nets 2019, 2019
132019
Benefit and cost of cloud computing security
W Zeng, V Germanos
2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced …, 2019
82019
Benefit and cost of cloud computing security
W Zeng, V Germanos
Harnessed Causality: Essays Dedicated to Maciej Koutny on the Occasion of …, 2018
82018
Formal verification of robotics navigation algorithms
V Germanos, EL Secco
2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and …, 2016
52016
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
42021
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
32020
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
32015
Model checking of mobile systems and diagnosability of weakly fair systems
V Germanos
Newcastle Uniersity, 2015
12015
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
The system can't perform the operation now. Try again later.
Articles 1–14