Ceci est une ancienne révision du document !
Research
Topics
Security Policies (languages, inference).
-
Web services (specification, composition),
COMPAS project, ANR JCJC servicemosaic project.
Constraint programming, constraint languages, constraint based verification.
Typing of constraint programming languages, subtyping constraints.
Publications
Software
SATMiner: Software for finding interesting pattern using constraint programming and SAT backend.
TCLP: A typing softer for contraint logic languages and
CHR.