Ιδρυματικό Αποθετήριο Ακαδημαϊκής Έρευνας
Πανεπιστήμιο Μακεδονίας
Πλοήγηση ανά συγγραφέα Basagiannis, Stylianos
Αποτελέσματα 1 έως 5 από 5
Ημερομηνία Έκδοσης | Τίτλος | Συγγραφέας(εις) |
2017 | Energy-efficiency analysis under QoS constraints using formal methods: A study on EPONs | Petridou, Sophia; Basagiannis, Stylianos; Mamatas, Lefteris |
2018 | Formal Methods for Energy-Efficient EPONs | Petridou, Sophia; Basagiannis, Stylianos; Mamatas, Lefteris |
Ιου-2016 | Formal security analysis of near field communication using model checking | Alexiou, Nikolaos; Basagiannis, Stylianos; Petridou, Sophia |
Ιου-2011 | Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach | Basagiannis, Stylianos; Petridou, Sophia; Alexiou, Nikolaos; Papadimitriou, Georgios I.; Katsaros, Panagiotis |
Μαρ-2013 | Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks | Petridou, Sophia; Basagiannis, Stylianos; Roumeliotis, Manos |