Diagnosability under Weak Fairness. - Vasileios Germanos; Stefan Haar; Victor Khomenko; Stefan Schwoon (ACM Trans. Embed. Comput. Syst., 2015)

Modelling and Analysis Mobile Systems Using pi -calculus (EFCP). - Victor Khomenko; Vasileios Germanos (Trans. Petri Nets Other Model. Concurr., 2015)

Model checking of mobile systems and diagnosability of weakly fair systems. - Vasileios Germanos (2015)

Formal Verification of Robotics Navigation Algorithms. - Vasileios Germanos; Emanuele Lindo Secco (CSE/EUC/DCABES, 2016)

Formal verification of secure information flow in cloud computing. - Wen Zeng; Maciej Koutny; Paul Watson 001; Vasileios Germanos (J. Inf. Secur. Appl., 2016)

Modelling Hybrid Cyber Kill Chain. - Wen Zeng; Vasileios Germanos (PNSE@Petri Nets/ACSD, 2019)

Benefit and Cost of Cloud Computing Security. - Wen Zeng; Vasileios Germanos (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2019)

Quantitative Reaction Systems. - Wen Zeng; Vasileios Germanos (PNSE@Petri Nets, 2020)

Analysing Petri Nets in a Calculus of Context-Aware Ambients. - François Siewe; Vasileios Germanos; Wen Zeng (COMPSAC, 2020)

Is E-voting Systems based on Blockchain Technology Efficient in Nigeria General Elections? - Friday Ehi Ikuero; Vasileios Germanos; Laurence Brooks; Wen Zeng (EAI Endorsed Trans. Security Safety, 2020)

Mapping of the Security Requirements of GDPR and NISD. - Najmudin Saqib; Vasileios Germanos; Wen Zeng; Leandros Maglaras (EAI Endorsed Trans. Security Safety, 2021)

Model-based risk assessment evaluation. - Vasileios Germanos; Wen Zeng (Secur. Priv., 2022)

Predicting Illnesses from Medical Sensors Readings using Artificial Intelligence Model. - Wen Zeng; Haydar A Jawad; Wenxuan Wang; Vasileios Germanos; François Siewe; Carlos Molina-Jiménez (ICIS, 2024)

A Business Plan for Data Security and Privacy Services. - Wen Zeng; Abigail Smith; Moira Carroll-Mayer; Vasileios Germanos; François Siewe (ICIS, 2024)

An IoT Architecture for Enhancing Safety in Supply Chain Systems. - Wen Zeng; Nicholas Kit Lam Wan; Vasileios Germanos; Yuqi Jia; Leandros Maglaras; Carlos Molina-Jiménez (ICIS, 2024)