Sofia Petridou
Lecturer
Department Of Applied Informatics
University of Macedonia
Macedonia
Biography
Sofia Petridou is currently working as Lecturer at University of Macedonia.
Research Interest
Networking
Publications
-
S. Basagiannis, S. Petridou, N. Alexiou, G. Papadimitriou and P. Katsaros, "Quantitative Analysis Of A Certified E-Mail Protocol In Mobile Environments: A Probabilistic Model Checking Approach", Computers & Security, Vol. 30, No. 4, pp. 257-272, Jun. 2011.
-
C. Liaskos, S. Petridou and G. Papadimitriou, "Towards Realizable, Low-Cost Broadcast Systems for Dynamic Environments", IEEE/ACM Transactions on Networking, Vol. 19, No. 2, pp. 383-392, Apr. 2011.
-
S. Petridou, S. Basagiannis and M. Roumeliotis, "Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks", IEEE Systems Journal, Vol. 7, No. 1, pp. 4-12, Mar. 2013.
