Ghiles Ziat

According to our database, Ghiles Ziat authored at least 6 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types.

Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin Pépin, Catherine Dubois

CoRR, 2022

2021

Automated Random Testing of Numerical Constrained Types.

Ghiles Ziat, Matthieu Dien, Vincent Botbol

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Constraint-based Verification of Formation Control.

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2019

A combination of abstract interpretation and constraint programming. (Une combinaison d'interprétation abstraite et de programmation par contraintes).

Ghiles Ziat

PhD thesis, 2019

Combination of Boxes and Polyhedra Abstractions for Constraint Solving.

Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Finding Solutions by Finding Inconsistencies.

Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné

Proceedings of the Principles and Practice of Constraint Programming, 2018