Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Heytem Zitoun

> Home > Persons

Person information

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

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/CallahanCDZFM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/CallahanCDZFM23
Devon Callahan, Timothy Curry, Hazel Davidson, Heytem Zitoun, Benjamin Fuller, Laurent Michel:
FASHION: Functional and Attack Graph Secured HybrId Optimization of Virtualized Networks. IEEE Trans. Dependable Secur. Comput. 20(4): 3093-3109 (2023)
2020
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-12441
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-12441
Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher:
An efficient constraint based framework forhandling floating point SMT problems. CoRR abs/2002.12441 (2020)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-12447
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-12447
Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher:
Bringing freedom in variable choice when searching counter-examples in floating point programs. CoRR abs/2002.12447 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-07921
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-07921
Devon Callahan, Timothy Curry, Daniel Davidson, Heytem Zitoun, Benjamin Fuller, Laurent Michel:
FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks. CoRR abs/1910.07921 (2019)
2018
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Zitoun18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Zitoun18
Heytem Zitoun:
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). University of Côte d'Azur, Nice, France, 2018
2017
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ZitounMRM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ZitounMRM17
Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel:
Search Strategies for Floating Point Constraint Systems. CP 2017: 707-722

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.