Suivre
Zitoun Heytem
Zitoun Heytem
research associate, university of connecticut
Adresse e-mail validée de i3s.unice.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Search strategies for floating point constraint systems
H Zitoun, C Michel, M Rueher, L Michel
Principles and Practice of Constraint Programming: 23rd International …, 2017
182017
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
Sub-domain selection strategies for floating point constraint systems
H Zitoun, C Michel, M Rueher, L Michel
22018
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, 2022
12022
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–9