A Tool for JSON Schema Witness Generation. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Francesco Falleni; Giorgio Ghelli; Cristiano Landi; Carlo Sartiani; Stefanie Scherzinger (EDBT, 2021)

A Test Suite for JSON Schema Containment. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Yunchen Ding; Michael Fruth; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (ER Demos/Posters, 2021)

Witness Generation for JSON Schema. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (Proc. VLDB Endow., 2022)

Optimistic Data Generation for JSON Schema. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo (Trans. Large Scale Data Knowl. Centered Syst., 2024)

Data Generation for JSON Schema. (Génération de Données pour JSON Schema). - Lyes Attouche (2024)

Validation of Modern JSON Schema: Formalization and Complexity. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (Proc. ACM Program. Lang., 2024)

JTutor: JSON Schema Validation Explained. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Kachimsirikwuo Caleb Imo; Stefan Klessinger; Carlo Sartiani; Stefanie Scherzinger (DBPL, 2025)

Elimination of annotation dependencies in validation for Modern JSON Schema. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Stefan Klessinger; Carlo Sartiani; Stefanie Scherzinger (CoRR, 2025)