-
Stéphanie Riaud, since 2011.
Topic : Code obfuscation.
-
André Oliveira Maroneze, since 2010.
Topic : Certified compilation and WCET.
With Isabelle Puaut.
-
Benoît Robillard, 2007-2010.
Topic: Formal verification and optimization of register allocation.
With Éric Soutif (CNAM).
-
Vincent Laporte.
Topic: Static analysis of x86 assembly.
2011, with Guillaume Hiet and David Pichardie.
-
Hristo Hristov.
Topic: Java obfuscation techniques.
2011.
-
Stéphanie Riaud.
Topic: Introducing code obfuscation in a C compiler.
2011.
-
Benoît Robillard.
Topic: Formal verification of a register allocation algorithm. 2007,
with Éric Soutif.
-
Sonia Ksouri.
Topic: Separation logic and rely/guarantee. 2007, with Marc Shapiro.
-
Thomas Moniot. Topic: Formal semantics of a realistic subset of C. 2006.
- Maxime Bargiel.
Topic: automatic enrichment of formal glossaries. 2006, with Marc Frappier.
- Zaynah Dargaye.
Topic: Formal semantics and pre-compilation of a subset of C. 2005, with Xavier Leroy.
- Agnès Gonnet.
Topic: Validation in Coq of glossaries. 2005.
- François Armand. Topic: Certification in Coq of a compiler. 2004.
- Mourad Naouari.
Topic: Reverse-engineering of databases transactions. 2004, with Régine Laleau.
- Thibaut Tourneur. Topic: Data flow analysis certified in Coq. 2003.
- Nathalie Ly.
Topic: Implementation of mechanisms for reusing formal specification components.
2003, with Régine Laleau.
- Frédéric Gervais.
Topic: Reuse of formal specification components (in B).
2002, with Régine Laleau (LACL).
- Audrey Moulin.
Topic: Automating data migration programs.
1998.
- Romain Vassallo.
Topic: Evolution of a program comprehension tool.
1995.
- Nathalie Dubois, Pousith Sayarath.
Topic: A pointer analysis for specializing Fortran programs.
1995.
- Frédéric Paumier, Hubert Parisot.
Topic: An interprocedural analysis for specializing Fortran programs.
1994.
- Skander Korrab.
Topic: Representing programs in the Centaur environment. 1993.