Christos Ploutarchou

Email:

University Of Cyprus
Education

Ph.D. in Computer Science

University of Cyprus, Sep 2011 - Present

MSc. in Internet Computing

Thesis title: Enchancing the TEMPO toolkit to support Java TCP Sockets Enchaning the TEMPO toolkit to support Java TCP Sockets

University of Cyprus, June 2011

BSc. in Computer Science

Thesis Title: Configuring a wireless local area network IEEE 802.11g connectivity using hybrid devices

University of Nicosia, June 2008

Research Interests
Design, Analysis, Verification, and Implementation of Algorithms
Parallel and Distributed Computing
Methods for distributed code derivation
Design and analysis of parallel algorithms
Publications

Chryssis Georgiou, Peter M. Musial, and Christos Ploutarchou, Tempo-toolkit: Tempo to Java Translation Module, in Proc. of the 12th IEEE International Symposium on Network Computing and Applications (NCA 2013), Cambridge, MA, 2013. Enchaning the TEMPO toolkit to support Java TCP Sockets

Useful Links

How to use the TEMPO toolkit (video demonstration)

Veromodo

Using Timed Input/Output Automata to Implement Distributed Systems - Poster Presentation

Last modified on Saturday, September 07, 2013