Dimitris Vekris

Verification of EB3 Specifications Using CADP

Radu Mateescu, Catalin Dima, Frédéric Lang, 2013, IFM.

Efficient Operational Semantics for for Verification of Temporal Properties

Catalin Dima, Dimitris Vekris, 2013, FSEN.

Verification of $${{EB}^3}$$EB3 specifications using CADP

Radu Mateescu, Catalin Dima, Frédéric Lang, 2016, Formal Aspects of Computing.

XBorne 2016: A Brief Introduction

Youssef Ait El Mahjoub, Jean-Michel Fourneau, Franck Quessette, 2016, ISCIS.

Translating EB3 to LNT for verification with CADP

Radu Mateescu, Catalin Dima, Frédéric Lang, 2012 .

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, Dimitris Vekris, Aristotelis Zosakis, 2009, I-SEMANTICS.

Efficient Operational Semantics for EB 3 for Verification of Temporal Properties

Catalin Dima, Dimitris Vekris, 2013 .