Heytem Zitoun

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 5

Top Topics

Search Strategies

Enterprise Network

Top Venues

IEEE Trans. Dependable Secur. Comput.

University of Côte d'Azur, Nice, France (PHD)

Education History

University of Côte d'Azur, Nice, France

PHD

Publications

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) (2023)
Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher
An efficient constraint based framework forhandling floating point SMT problems. CoRR (2020)
Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher
Bringing freedom in variable choice when searching counter-examples in floating point programs. CoRR (2020)
Devon Callahan, Timothy Curry, Daniel Davidson, Heytem Zitoun, Benjamin Fuller, Laurent Michel
FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks. CoRR (2019)
Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel
Search Strategies for Floating Point Constraint Systems. CP (2017)