Search Strategies for Floating Point Constraint Systems. - Heytem Zitoun; Claude Michel; Michel Rueher; Laurent Michel (CP, 2017)

Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes. (Search strategies for solving constraint systems over floats for program verification). - Heytem Zitoun (2018)

FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks. - Devon Callahan; Timothy Curry; Daniel Davidson; Heytem Zitoun; Benjamin Fuller 001; Laurent Michel (CoRR, 2019)

An efficient constraint based framework forhandling floating point SMT problems. - Heytem Zitoun; Claude Michel; Laurent Michel; Michel Rueher (CoRR, 2020)

Bringing freedom in variable choice when searching counter-examples in floating point programs. - Heytem Zitoun; Claude Michel; Laurent Michel; Michel Rueher (CoRR, 2020)

FASHION: Functional and Attack Graph Secured HybrId Optimization of Virtualized Networks. - Devon Callahan; Timothy Curry; Hazel Davidson; Heytem Zitoun; Benjamin Fuller 001; Laurent Michel (IEEE Trans. Dependable Secur. Comput., 2023)