Follow
Zitoun Heytem
Zitoun Heytem
research associate, university of connecticut
Verified email at i3s.unice.fr - Homepage
Title
Cited by
Cited by
Year
Search strategies for floating point constraint systems
H Zitoun, C Michel, M Rueher, L Michel
Principles and Practice of Constraint Programming: 23rd International …, 2017
202017
Search strategies for solving constraint systems over floats for program verification
H Zitoun
< bound method Organization. get_name_with_acronym of< Organization: TEL …, 2018
42018
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
42012
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
32022
Sub-domain selection strategies for floating point constraint systems
H Zitoun, C Michel, M Rueher, L Michel
22018
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
The system can't perform the operation now. Try again later.
Articles 1–10