Dimitris Vekris

According to our database, Dimitris Vekris authored at least 5 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Verification of EB³ specifications using CADP.

Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu

Formal Aspects Comput., 2016

A tool based on traffic traces and stochastic monotonicity to analyze data centers and their energy consumption.

Marziyeh Bayati, Mohammed Dahmoune, Jean-Michel Fourneau, Nihal Pekergin, Dimitrios Vekris

EAI Endorsed Trans. Energy Web, 2016

XBorne 2016: A Brief Introduction.

Jean-Michel Fourneau, Youssef Ait El Mahjoub, Franck Quessette, Dimitris Vekris

Proceedings of the Computer and Information Sciences - 31st International Symposium, 2016

2013

Efficient Operational Semantics for for Verification of Temporal Properties.

Dimitris Vekris, Catalin Dima

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2009

Linked Data for the masses - using open source infrastructure and the inbound/outbound Linked Data approach to bring added value to end user applications.

George Anadiotis, Panos Andriopoulos, Dimitris Vekris, Aristotelis Zosakis

Proceedings of the 5th International Conference on Semantic Systems, 2009