Lyes Attouche

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Query Containment

Data Generation

Generation Process

Top Venues

Proc. ACM Program. Lang.

Proc. VLDB Endow.

Publications

Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Validation of Modern JSON Schema: Formalization and Complexity. Proc. ACM Program. Lang. 8 (POPL) (2024)
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo
Optimistic Data Generation for JSON Schema. Trans. Large Scale Data Knowl. Centered Syst. (2024)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Validation of Modern JSON Schema: Formalization and Complexity. CoRR (2023)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Witness Generation for JSON Schema. CoRR (2022)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Witness Generation for JSON Schema. Proc. VLDB Endow. 15 (13) (2022)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Francesco Falleni, Giorgio Ghelli, Cristiano Landi, Carlo Sartiani, Stefanie Scherzinger
A Tool for JSON Schema Witness Generation. EDBT (2021)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Yunchen Ding, Michael Fruth, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
A Test Suite for JSON Schema Containment. ER Demos/Posters (2021)