Christos Stergiou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2011–2018
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | INFOCOM | Security and privacy of big data for social networking services in cloud. | Christos Stergiou, Kostas E. Psannis, Theofanis Xifilidis, Andreas P. Plageras, Brij B. Gupta |
| 2017 | INDIN | Solutions for inter-connectivity and security in a smart hospital building. | Andreas P. Plageras, Kostas E. Psannis, Brij B. Gupta, Christos Stergiou, Byung-Gyu Kim, Yutaka Ishibashi |
| 2015 | CAV | Automatic Completion of Distributed Protocols with Symmetry. | Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa |
| 2013 | EMSOFT | On the schedulability of real-time discrete-event systems. | Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee |
| 2011 | ISSTA | Testing concurrent programs on relaxed memory models. | Jacob Burnim, Koushik Sen, Christos Stergiou |
| 2011 | TACAS | Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models. | Jacob Burnim, Koushik Sen, Christos Stergiou |