Géraldine Pichot Research scientist at INRIA Project team SERENA 2 rue Simone Iff CS 42112, 75589 Paris Cedex 12 Phone: (+33) 1 80 49 42 35 Email: Geraldine.Pichot@inria.fr From october 2010 to august 2015, member of the INRIA project team SAGE.