We stand with Ukraine  

Heytem Zitoun

Orcid: 0000-0001-8462-781X

Affiliations:
  • University of Côte d'Azur, Nice, France (PhD 2018)


According to our database1, Heytem Zitoun authored at least 6 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
FASHION: Functional and Attack Graph Secured HybrId Optimization of Virtualized Networks.
[BibTeX]
[DOI]
Devon Callahan
,
Timothy Curry
,
Hazel Davidson
,
Heytem Zitoun
,
Benjamin Fuller
,
Laurent Michel
IEEE Trans. Dependable Secur. Comput., 2023

2020
Bringing freedom in variable choice when searching counter-examples in floating point programs.
[BibTeX]
[DOI]
Heytem Zitoun
,
Claude Michel
,
Laurent Michel
,
Michel Rueher
CoRR, 2020

An efficient constraint based framework forhandling floating point SMT problems.
[BibTeX]
[DOI]
Heytem Zitoun
,
Claude Michel
,
Laurent Michel
,
Michel Rueher
CoRR, 2020

2019
FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks.
[BibTeX]
[DOI]
Devon Callahan
,
Timothy Curry
,
Daniel Davidson
,
Heytem Zitoun
,
Benjamin Fuller
,
Laurent Michel
CoRR, 2019

2018
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).
[BibTeX]
[DOI]
Heytem Zitoun
PhD thesis, 2018

2017
Search Strategies for Floating Point Constraint Systems.
[BibTeX]
[DOI]
Heytem Zitoun
,
Claude Michel
,
Michel Rueher
,
Laurent Michel
Proceedings of the Principles and Practice of Constraint Programming, 2017


  Loading...