Dimitris Vekris

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 2

Top Topics

Operational Semantics

Reactive Systems

Bounded Model Checking

Top Venues

Formal Aspects Comput.

Publications

Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
specifications using CADP. Formal Aspects Comput. 28 (1) (2016)
Jean-Michel Fourneau, Youssef Ait El Mahjoub, Franck Quessette, Dimitris Vekris
XBorne 2016: A Brief Introduction. ISCIS (2016)
Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
Specifications Using CADP. IFM (2013)
Dimitris Vekris, Catalin Dima
Efficient Operational Semantics for for Verification of Temporal Properties. FSEN (2013)
George Anadiotis, Panos Andriopoulos, Dimitris Vekris, Aristotelis Zosakis
Linked Data for the masses - using open source infrastructure and the inbound/outbound Linked Data approach to bring added value to end user applications. I-SEMANTICS (2009)