Greek

 

Publications

M. Gelastou. "Formal Methods for modeling and verifying an ad hoc network protocol", Master Thesis in Computer Science, University of Cyprus, June 2007 pdf

M. Gelastou , Ch. Georgiou, and A. Philippou. "Formal methods for specifying and verifying distributed algorithms - Process Algebras vs I/O Automata". Technical Report TR-07-04, University of Cyprus, 2007 pdf

M. Gelastou , Ch. Georgiou, and A. Philippou. "On the Application of Formal Methods for Specifying and Verifying Distributed Algorithms". Submitted for publication pdf