Vasileios Germanos

According to our database, Vasileios Germanos authored at least 12 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Model-based risk assessment evaluation.

Vasileios Germanos, Wen Zeng

Secur. Priv., 2022

2021

Mapping of the Security Requirements of GDPR and NISD.

Najmudin Saqib, Vasileios Germanos, Wen Zeng, Leandros A. Maglaras

EAI Endorsed Trans. Security Safety, 2021

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

Analysing Petri Nets in a Calculus of Context-Aware Ambients.

François Siewe, Vasileios Germanos, Wen Zeng

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

Quantitative Reaction Systems.

Wen Zeng, Vasileios Germanos

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

2019

Benefit and Cost of Cloud Computing Security.

Wen Zeng, Vasileios Germanos

Proceedings of the 2019 IEEE SmartWorld, 2019

Modelling Hybrid Cyber Kill Chain.

Wen Zeng, Vasileios Germanos

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

2016

Formal verification of secure information flow in cloud computing.

Wen Zeng, Maciej Koutny, Paul Watson, Vasileios Germanos

J. Inf. Secur. Appl., 2016

Formal Verification of Robotics Navigation Algorithms.

Vasileios Germanos, Emanuele Lindo Secco

Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015

Model checking of mobile systems and diagnosability of weakly fair systems.

Vasileios Germanos

PhD thesis, 2015

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

Victor Khomenko, Vasileios Germanos

Trans. Petri Nets Other Model. Concurr., 2015

Diagnosability under Weak Fairness.

Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon

ACM Trans. Embed. Comput. Syst., 2015