According to our database1, Dimitris Vekris
Legend:Book In proceedings Article PhD thesis Other
Verification of EB3 specifications using CADP.
Formal Asp. Comput., 2016
A tool based on traffic traces and stochastic monotonicity to analyze data centers and their energy consumption.
EAI Endorsed Trans. Energy Web, 2016
XBorne 2016: A Brief Introduction.
Proceedings of the Computer and Information Sciences - 31st International Symposium, 2016
Verification of EB3 Specifications Using CADP.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
Efficient Operational Semantics for for Verification of Temporal Properties.
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013
Linked Data for the masses - using open source infrastructure and the inbound/outbound Linked Data approach to bring added value to end user applications.
Proceedings of the 5th International Conference on Semantic Systems, 2009