Follow
Lyes Attouche
Lyes Attouche
Université Paris Dauphine
Verified email at dauphine.eu
Title
Cited by
Cited by
Year
A tool for JSON schema witness generation
L Attouche, MA Baazizi, D Colazzo, F Falleni, G Ghelli, C Landi, C Sartiani, ...
24th International Conference on Extending Database Technology, 694-697, 2021
122021
Validation of modern JSON schema: Formalization and complexity
L Attouche, MA Baazizi, D Colazzo, G Ghelli, C Sartiani, S Scherzinger
Proceedings of the ACM on Programming Languages 8 (POPL), 1451-1481, 2024
82024
Witness generation for JSON Schema
L Attouche, MA Baazizi, D Colazzo, G Ghelli, C Sartiani, S Scherzinger
arXiv preprint arXiv:2202.12849, 2022
82022
A test suite for JSON schema containment
L Attouche, MA Baazizi, D Colazzo, Y Ding, M Fruth, G Ghelli, C Sartiani, ...
ER Posters/Demo 2021-40th International Conference on Conceptual Modeling, 2021
42021
Optimistic data generation for JSON schema
L Attouche, MA Baazizi, D Colazzo
Transactions on Large-Scale Data-and Knowledge-Centered Systems LVI: Special …, 2024
12024
Example Generation for JSON Schema
L Attouche
Actes de la conférence BDA 2021, 101, 2021
12021
Un Outil de Génération de Témoins pour les schémas JSON A Tool for JSON Schema Witness Generation
L Attouche, MA Baazizi, D Colazzo, F Falleni, G Ghelli, C Landi, C Sartiani, ...
Actes de la conférence BDA 2021, 76, 2021
12021
Data Generation for JSON Schema
L Attouche
Université Paris sciences et lettres, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–8