10 citations · 12 across the 6 of their papers we have counts for
7 papers
Bringing freedom in variable choice when searching counter-examples in floating point programs
Heytem Zitoun, Claude Michel, Laurent Michel +1
Program verification techniques typically focus on finding counter-examples that violate properties of a program. Constraint programming offers a convenient way to verify programs…
An efficient constraint based framework forhandling floating point SMT problems
Heytem Zitoun, Claude Michel, Laurent Michel +1
This paper introduces the 2019 version of \us{}, a novel Constraint Programming framework for floating point verification problems expressed with the SMT language of SMTLIB. SMT so…
FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks
Devon Callahan, Timothy Curry, Hazel Davidson +3
Maintaining a resilient computer network is a delicate task with conflicting priorities. Flows should be served while controlling risk due to attackers. Upon publication of a vulne…
DOCSDN: Dynamic and Optimal Configuration of Software-Defined Networks
Timothy Curry, Devon Callahan, Benjamin Fuller +1
Networks are designed with functionality, security, performance, and cost in mind. Tools exist to check or optimize individual properties of a network. These properties may conflic…
Domain Views for Constraint Programming
Pascal Van Hentenryck, Laurent Michel
Views are a standard abstraction in constraint programming: They make it possible to implement a single version of each constraint, while avoiding to create new variables and const…
A Microkernel Architecture for Constraint Programming
Laurent Michel, Pascal Van Hentenryck
This paper presents a microkernel architecture for constraint programming organized around a number of small number of core functionalities and minimal interfaces. The architecture…