Accéder directement au contenu

Véronique Benzaken

10
Documents

Présentation

Publications

"evelyne-contejean"
Image document

A Coq formalization of data provenance

Véronique Benzaken , Sarah Cohen-Boulakia , Évelyne Contejean , Chantal Keller , Rébecca Zucchini
Certified Programs and Proofs, ACM, Jan 2021, Virtual Event, Denmark. ⟨10.1145/3437992.3439920⟩
Communication dans un congrès hal-03380459v1
Image document

Vers une formalisation en Coq de la provenance de données

Véronique Benzaken , Sarah Cohen-Boulakia , Évelyne Contejean , Chantal Keller , Rébecca Zucchini
31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.72-87
Communication dans un congrès hal-03080066v1
Image document

A Coq Mechanised Formal Semantics for Realistic SQL Queries

Véronique Benzaken , Évelyne Contejean
CPP 19, ACM, Jan 2019, Cascais, Portugal. pp.249-261, ⟨10.1145/3293880.3294107⟩
Communication dans un congrès hal-01955433v1
Image document

SQL à l'épreuve de Coq Une sémantique formelle pour SQL

Véronique Benzaken , Evelyne Contejean
Journées Francophones des Langages Applicatifs (JFLA), Jan 2019, Les Rousses, France
Communication dans un congrès hal-01952023v1
Image document

A Coq formalisation of SQL's execution engines

Véronique Benzaken , Évelyne Contejean , Chantal Keller , Eunice Martins
ITP 2018 - International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.88-107, ⟨10.1007/978-3-319-94821-8_6⟩
Communication dans un congrès hal-01716048v1
Image document

Certifying Standard and Stratified Datalog Inference Engines in SSReflect

Véronique Benzaken , Évelyne Contejean , Stefania Dumbrava
International Conference on Interective Theorem Proving, 2017, Brasilia, Brazil
Communication dans un congrès hal-01745566v1

A Coq Formalization of the Relational Data Model

Véronique Benzaken , Évelyne Contejean , Stefania Dumbrava
ESOP - 23rd European Symposium on Programming, Apr 2014, Grenoble, France
Communication dans un congrès hal-00924156v1