research
∙
02/27/2020
Bringing freedom in variable choice when searching counter-examples in floating point programs
Program verification techniques typically focus on finding counter-examp...
share
research
∙
02/27/2020
An efficient constraint based framework forhandling floating point SMT problems
This paper introduces the 2019 version of , a novel Constraint Programmi...
research
∙
10/17/2019
FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks
Maintaining a resilient computer network is a delicate task with conflic...
research
∙
02/15/2019
DOCSDN: Dynamic and Optimal Configuration of Software-Defined Networks
Networks are designed with functionality, security, performance, and cos...
research
∙
01/21/2014
Domain Views for Constraint Programming
Views are a standard abstraction in constraint programming: They make it...
research
∙
01/21/2014
