Véronique Benzaken

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 7

Top Topics

Relational Data Model

User Defined Functions

Top Venues

Publications

Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Translating canonical SQL to imperative code in Coq. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Translating Canonical SQL to Imperative Code in Coq. CoRR (2022)
Véronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rébecca Zucchini
A Coq formalization of data provenance. CPP (2021)
Véronique Benzaken, Evelyne Contejean
A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra. CPP (2019)
Véronique Benzaken, Evelyne Contejean, Chantal Keller, Eunice Martins
A Coq Formalisation of SQL's Execution Engines. ITP (2018)
Véronique Benzaken, Giuseppe Castagna, Laurent Daynès, Julien Lopez, Kim Nguyen, Romain Vernoux
Language-Integrated Queries: a BOLDR Approach. WWW (Companion Volume) (2018)
Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava
Certifying Standard and Stratified Datalog Inference Engines in SSReflect. ITP (2017)
Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken
A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. ESOP (2015)
Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava
A Coq Formalization of the Relational Data Model. ESOP (2014)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
Optimizing XML querying using type-based document projection. ACM Trans. Database Syst. 38 (1) (2013)
Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon
Static and dynamic semantics of NoSQL languages. POPL (2013)
Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon
Static and dynamic semantics of NoSQL languages CoRR (2013)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
Optimizing XML querying using type-based document projection CoRR (2011)
Véronique Benzaken, Jean-Daniel Fekete, Pierre-Luc Hemery, Wael Khemiri, Ioana Manolescu
EdiFlow: Data-intensive interactive workflows for visual analytics. ICDE (2011)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon
Pattern by example: type-driven visual programming of XML queries. PPDP (2008)
Alain Frisch, Giuseppe Castagna, Véronique Benzaken
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. J. ACM 55 (4) (2008)
Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou
Structured Materialized Views for XML Queries. VLDB (2007)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon
Pattern by Example: type-driven visual programming of XML queries. BDA (2007)
Ioana Manolescu, Véronique Benzaken, Andrei Arion, Yannis Papakonstantinou
Structured Materialized Views for XML Queries. BDA (2006)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
Type-Based XML Projection. VLDB (2006)
Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou, Ravi Vijay
Algebra-Based Identification of Tree Patterns in XQuery. FQAS (2006)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
Type-Based XML Projection. BDA (2006)
Véronique Benzaken, Giuseppe Castagna, Cédric Miachon
A Full Pattern-Based Paradigm for XML Query Processing. PADL (2005)
Andrei Arion, Véronique Benzaken, Ioana Manolescu, Ravi Vijay
ULoad: Choosing the Right Storage for Your XML Application. VLDB (2005)
Andrei Arion, Véronique Benzaken, Ioana Manolescu
XML Access Modules: Towards Physical Data Independence in XML Databases. XIME-P (2005)
Véronique Benzaken, Giuseppe Castagna, Cédric Miachon
CQL: a pattern-based query language for XML. BDA (2004)
Véronique Benzaken, Giuseppe Castagna, Alain Frisch
CDuce: an XML-centric general-purpose language. ICFP (2003)
Véronique Benzaken, Marwan Burelle, Giuseppe Castagna
Information Flow Security for XML Transformations. ASIAN (2003)
Giuseppe Castagna, Véronique Benzaken, Alain Frisch
CDuce: an XML-centric general-purpose language. SIGPLAN Notices (2003)
Alain Frisch, Giuseppe Castagna, Véronique Benzaken
Semantic Subtyping. LICS (2002)
Fanny Wattez, Sophie Cluet, Véronique Benzaken, Guy Ferran, Christian Fiegel
Benchmarking Queries over Trees: Learning the Hard Truth the Hard Way. SIGMOD Conference (2000)
Véronique Benzaken, Serenella Cerrito, Sébastien Praud
Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique. Proc. 15èmes Journées Bases de Données Avancées, BDA (1999)
Véronique Benzaken, Xavier Schaefer
Static Management of Integrity in Object-Oriented Databases: Design and Implementation. EDBT (1998)
Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann
M-net Calculus Based Semantics for Triggers. ICATPN (1998)
Véronique Benzaken, Xavier Schaefer
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. ECOOP (1997)
Véronique Benzaken, Xavier Schaefer
Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. POS (1996)
Véronique Benzaken, Xavier Schaefer
Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. BDA (1996)
Véronique Benzaken, Anne Doucet
Thémis: A Database Programming Language Handling Integrity Constraints VLDB J. 4 (3) (1995)
Véronique Benzaken
Object Store Engineering 2. POS (1994)
Véronique Benzaken, Anne Doucet, Xavier Schaefer
Integrity constraint checking optimization based on abstract interpretation. BDA (1994)
Véronique Benzaken, Anne Doucet
Thémis: a database programming language with integrity constraints. DBPL (1993)
Véronique Benzaken, Anne Doucet, P.-Y. Policella
Définition et Gestion de Constraintes d'Intégrité dans le Language Thémis. BDA (1993)
Véronique Benzaken, Christophe Lécluse, Philippe Richard
Enforcing Integrity Constraints in Database Programming Languages. POS (1992)
Véronique Benzaken, Anne Doucet
Enforcement tests generation for integrity constraints cheching based on simplification methods in object-oriented database systems. BDA (1992)
Véronique Benzaken
Schema Manipulation and Optimisation POS (1992)
Véronique Benzaken
Un modèle d'évaluation de stratégies de regroupement dans un SGBDOO. BDA (1990)
Véronique Benzaken
An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System. ICDT (1990)
Véronique Benzaken, Claude Delobel
. POS (1990)
Véronique Benzaken, Claude Delobel
Regroupement d'objets sur disque dans un système de bases de données. BDA (1989)
Véronique Benzaken, Claude Delobel, J. B. Ndala
Gestionnaires de mémoires et d'objets. BDA (1988)
François Bancilhon, Gilles Barbedette, Véronique Benzaken, Claude Delobel, Sophie Gamerman, Christophe Lécluse, Patrick Pfeffer, Philippe Richard, Fernando Vélez
The Design and Implementation of O2, an Object-Oriented Database Systems. OODBS (1988)