Vasileios Germanos

18 papers B 1C 3Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
An Iot Architecture for Enhancing Safety in Supply Chain Systems.
Concurr. Comput. Pract. Exp.
Wen Zeng, Nicholas Kit Lam Wan, Vasileios Germanos, Yuqi Jia, Leandros Maglaras, Carlos Molina-Jiménez
2024 C conf
A Business Plan for Data Security and Privacy Services.
ICIS
Wen Zeng, Abigail Smith, Moira Carroll-Mayer, Vasileios Germanos, François Siewe
2024 C conf
An IoT Architecture for Enhancing Safety in Supply Chain Systems.
ICIS
Wen Zeng, Nicholas Kit Lam Wan, Vasileios Germanos, Yuqi Jia, Leandros Maglaras, Carlos Molina-Jiménez
2024 J jnl
Mapping Petri Nets onto a Calculus of Context-Aware Ambients.
Softw.
François Siewe, Vasileios Germanos, Wen Zeng
2024 C conf
Predicting Illnesses from Medical Sensors Readings using Artificial Intelligence Model.
ICIS
Wen Zeng, Haydar A Jawad, Wenxuan Wang, Vasileios Germanos, François Siewe, Carlos Molina-Jiménez
2022 J jnl
Model-based risk assessment evaluation.
Secur. Priv.
Vasileios Germanos, Wen Zeng
2021 J jnl
Mapping of the Security Requirements of GDPR and NISD.
EAI Endorsed Trans. Security Safety
Najmudin Saqib, Vasileios Germanos, Wen Zeng, Leandros Maglaras
2020 B conf
Analysing Petri Nets in a Calculus of Context-Aware Ambients.
COMPSAC
François Siewe, Vasileios Germanos, Wen Zeng
2020 J jnl
Is E-voting Systems based on Blockchain Technology Efficient in Nigeria General Elections?
EAI Endorsed Trans. Security Safety
Friday Ehi Ikuero, Vasileios Germanos, Laurence Brooks, Wen Zeng
2020 — conf
Quantitative Reaction Systems.
PNSE@Petri Nets
Wen Zeng, Vasileios Germanos
2019 — conf
Benefit and Cost of Cloud Computing Security.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Wen Zeng, Vasileios Germanos
2019 — conf
Modelling Hybrid Cyber Kill Chain.
PNSE@Petri Nets/ACSD
Wen Zeng, Vasileios Germanos
2016 — conf
Formal Verification of Robotics Navigation Algorithms.
CSE/EUC/DCABES
Vasileios Germanos, Emanuele Lindo Secco
2016 J jnl
Formal verification of secure information flow in cloud computing.
J. Inf. Secur. Appl.
Wen Zeng, Maciej Koutny, Paul Watson, Vasileios Germanos
2015 J jnl
Diagnosability under Weak Fairness.
ACM Trans. Embed. Comput. Syst.
Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon
2015 — —
Model checking of mobile systems and diagnosability of weakly fair systems.
Vasileios Germanos
2015 J jnl
Modelling and Analysis Mobile Systems Using \pi -calculus (EFCP).
Trans. Petri Nets Other Model. Concurr.
Victor Khomenko, Vasileios Germanos
2014 — conf
Diagnosability under Weak Fairness.
ACSD
Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon