Vasileios Germanos

Modelling Hybrid Cyber Kill Chain

Wen Zeng, Vasileios Germanos, Vasileios Germanos, 2019, PNSE@Petri Nets/ACSD.

Benefit and Cost of Cloud Computing Security

Vasileios Germanos, Wen Zeng, Vasileios Germanos, 2019, 2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI).

Diagnosability under Weak Fairness

Victor Khomenko, Vasileios Germanos, Stefan Haar, 2014, 2014 14th International Conference on Application of Concurrency to System Design.

Formal verification of secure information flow in cloud computing

Maciej Koutny, Paul Watson, Wen Zeng, 2016, J. Inf. Secur. Appl..

Modelling and Analysis Mobile Systems Using \pi -calculus (EFCP)

Victor Khomenko, Vasileios Germanos, 2015, Trans. Petri Nets Other Model. Concurr..

Diagnosability under Weak Fairness

Victor Khomenko, Vasileios Germanos, Stefan Haar, 2014, ACSD.

Model checking of mobile systems and diagnosability of weakly fair systems

Vasileios Germanos, Vasileios Germanos, 2015 .

Formal Verification of Robotics Navigation Algorithms

Emanuele Lindo Secco, Vasileios Germanos, 2016, 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES).

Quantitative Reaction Systems

Wen Zeng, Vasileios Germanos, 2020, PNSE@Petri Nets.

Analysing Petri Nets in a Calculus of Context-Aware Ambients

Vasileios Germanos, Francois Siewe, Wen Zeng, 2020, 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC).

Mapping of the Security Requirements of GDPR and NISD

Leandros Maglaras, Wen Zeng, Vasileios Germanos, 2020 .