Accéder directement au contenu

Véronique Benzaken

41
Documents

Présentation

Publications

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

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 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

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

Language-Integrated Queries: a BOLDR Approach

Véronique Benzaken , Giuseppe Castagna , Laurent Daynes , Julien Lopez , Kim Nguyen
WWW 2018 - International World Wide Web Conference, Apr 2018, Lyon, France. pp.1-16, ⟨10.1145/3184558.3185973⟩
Communication dans un congrès hal-01717995v2
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
Image document

A Core Calculus for XQuery 3.0

Giuseppe Castagna , Hyeonseung Im , Kim Nguyễn , Véronique Benzaken
ESOP ’15 : 24th European Symposium on Programming, 2015, London, United Kingdom. ⟨10.1007/978-3-662-46669-8_10⟩
Communication dans un congrès hal-01104872v1

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
Image document

Static and dynamic semantics of NoSQL languages

Véronique Benzaken , Giuseppe Castagna , Kim Nguyễn , Jérôme Siméon
POPL, Jan 2013, Rome, Italy. pp.101-114, ⟨10.1145/2429069.2429083⟩
Communication dans un congrès hal-00797956v1
Image document

Provenance Management in the EdiFlow VA Workflow

Jean-Daniel Fekete , Wael Khemiri , Ioana Manolescu , Veronique Benzaken
CHI Workshop on Analytic Provenance: Process+Interaction+Insight, May 2011, Held in conjunction with the ACM Conference on Human Factors in Computing Systems (CHI), Vancouver,, United States
Communication dans un congrès hal-00690156v1
Image document

EdiFlow: data-intensive interactive workflows for visual analytics

Veronique Benzaken , Jean-Daniel Fekete , Pierre-Luc Hémery , Wael Khemiri , Ioana Manolescu
International conference on Data Engineering, IEEE, Apr 2011, Hannover, Germany
Communication dans un congrès inria-00532552v1
Image document

EdiFlow: data-intensive interactive workflows for visual analytics

Véronique Benzaken , Jean-Daniel Fekete , Wael Khemiri , Ioana Manolescu
Journées Bases de Données Avancées, Oct 2010, Toulouse, France
Communication dans un congrès inria-00539718v2
Image document

ReaViz: Reactive Workflows for Visual Analytics

Ioana Manolescu , Wael Khemiri , Véronique Benzaken , Jean-Daniel Fekete
Data Management & Visual Analytics, Jun 2009, Berlin, Germany
Communication dans un congrès hal-00699063v1
Image document

Reactive workflows for visual analytics

Ioana Manolescu , Wael Khemiri , Veronique Benzaken , Jean-Daniel Fekete
Journées Bases de Données Avancées, Oct 2009, Naumur, Belgium
Communication dans un congrès inria-00425666v1

Pattern by example: type-driven visual programming of XML queries

Véronique Benzaken , Giuseppe Castagna , Dario Colazzo , Cédric Miachon
PPDP: ACM SIGPLAN Conference on Principles and practice of declarative programming, 2008, Spain. pp.131-142, ⟨10.1145/1389449.1389466⟩
Communication dans un congrès hal-00336118v1

Pattern by Example: type-driven visual programming of XML queries

Véronique Benzaken , Giuseppe Castagna , Dario Colazzo , Cédric Miachon
23èmes Journées Bases de Données Avancées, Oct 2007, France
Communication dans un congrès hal-00695245v1

Type-Based XML Projection

Véronique Benzaken , Giuseppe Castagna , Dario Colazzo , Kim Nguyen
2006, pp.271-282
Communication dans un congrès hal-00152588v1

A Full Pattern-based Paradigm for XML Query Processing

Véronique Benzaken , Giuseppe Castagna , Cédric Miachon
2005, pp.235-252
Communication dans un congrès hal-00152591v1

Information flow security for XML transformations

Véronique Benzaken , Marwan Burelle , Giuseppe Castagna
2003, pp.33-53
Communication dans un congrès hal-00152613v1

CDuce: an XML-Centric General-Purpose Language

Véronique Benzaken , Giuseppe Castagna , Alain Frisch
2003, pp.51-63
Communication dans un congrès hal-00152619v1

Vérification statique de contraintes d'intégrité dynamiques: une approche sémantique

Véronique Benzaken , Serena Cerrito , Sébastien Praud
Bases de Données Avancées, 1999, France. pp.283 - 301
Communication dans un congrès hal-00707622v1

Static management of integrity constraint in object-oriented database systems: design and implementation

Véronique Benzaken , Xavier Schaefer
International Conference on Extended Data Base Technology, 1998, Spain. pp.1
Communication dans un congrès hal-00707670v1

Static Integrity constraint management in object-oriented database programming languages via predicate transformers

Véronique Benzaken , Xavier Schaefer
European Conference on Object-Oriented Programming, 1997, Finland. pp.1
Communication dans un congrès hal-00707962v1

Ensuring efficiently the integrity of a persistent object store via abstract interpretation

Véronique Benzaken , Xavier Schaefer
International Workshop on Persistent Object Systems, 1996, United States. pp.1
Communication dans un congrès hal-00708011v1

Integrity constraint checking optimization based on abstract interpretation

Véronique Benzaken , Anne Doucet , Xavier Schaefer
PRC BD3, 1994, France. pp.1
Communication dans un congrès hal-00708038v1

Thémis, a database programming language with integrity constraints

Véronique Benzaken , Anne Doucet
Data Base Programming Language (DBPL), Aug 1993, New York, United States
Communication dans un congrès hal-01501816v1

Définition et gestion de contraintes d'intégrité dans le langage Thémis

Véronique Benzaken , Anne Doucet , P.y Policella
PRC BD3, 1993, France. pp.1
Communication dans un congrès hal-00708926v1

XML Typechecking

Giuseppe Castagna , Véronique Benzaken , Haruo Hosoya , Benjamin C. Pierce , Stijn Vansummeren
The Encyclopedia of Database Systems, Springer, pp.3646-3650, 2009
Chapitre d'ouvrage hal-00434495v1

Bases de données orientées objets: origines et principes

Véronique Benzaken , Anne Doucet
Collection Acquis Avancés de l'Informatique, Armand-Colin, pp.1, 1993
Chapitre d'ouvrage hal-00708918v1