| Search strategies for floating point constraint systems H Zitoun, C Michel, M Rueher, L Michel Principles and Practice of Constraint Programming: 23rd International …, 2017 | 20 | 2017 |
| Search strategies for solving constraint systems over floats for program verification H Zitoun < bound method Organization. get_name_with_acronym of< Organization: TEL …, 2018 | 4 | 2018 |
| Vers des interfaces graphiques flexibles de configuration S Urli, G Perez, H Zitoun, M Blay-Fornarino, P Collet, P Renevier-Gonin Journée Lignes de Produits 2012, 2012 | 4 | 2012 |
| FASHION: Functional and Attack Graph Secured HybrId Optimization of Virtualized Networks D Callahan, T Curry, H Davidson, H Zitoun, B Fuller, L Michel IEEE Transactions on Dependable and Secure Computing 20 (4), 3093-3109, 2022 | 3 | 2022 |
| Sub-domain selection strategies for floating point constraint systems H Zitoun, C Michel, M Rueher, L Michel | 2 | 2018 |
| An efficient constraint based framework forhandling floating point SMT problems H Zitoun, C Michel, L Michel, M Rueher arXiv preprint arXiv:2002.12441, 2020 | | 2020 |
| Bringing freedom in variable choice when searching counter-examples in floating point programs H Zitoun, C Michel, L Michel, M Rueher arXiv preprint arXiv:2002.12447, 2020 | | 2020 |
| Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes H Zitoun Université Côte d'Azur, 2018 | | 2018 |
| Stratégies de sélection de sous-domaines pour les systemes de contraintes sur les flottants H Zitoun, C Michel, M Rueher, L Michel JFPC 2018, 147, 0 | | |
| Stratégies de recherche pour les systemes de contraintes sur les flottants⇤ H Zitoun, CMMRL Michel | | |
