- Durand, A. Byzantine consensus and blockchain: Models unification and new protocols, IP Paris, Nov.21
- Donat-Bouillud, P. Models, Analysis and Execution of Audio Graphs in Interactive Multimedia Systems, Sorbonne Université, Dec.19
- Moreira, J. Evaluation de la qualité d’expérience des services audiovisuels en mobilité: apport de l’immersion sonore, CNAM, Jul.19
- Legouverneur, G. Silver Games : Etude des facteurs humains dans le développement de jeux vidéo adaptés
aux personnes agées, Université Paris Descartes, Nov.14
- Millon, E. Analyse de sécurité de logiciels système par typage statique :
Application au noyau Linux, Université Pierre et Marie Curie, Jul.14
- Soulan, S. Développement de la scatterométrie dynamique
pour le suivi en temps réel de procédés : application à la
microélectronique, Université Joseph Fourier-Grenoble I, Dec.08
- Hornof, L. Analyses statiques pour la spécialisation
effective de programmes réalistes, IRISA, Rennes I, Jul.97
- Miniussi, A. Amélioration des Performances d'un Système
de Compilation d'Equations, Bordeaux I, Jun.97
- Fontalbe, P. Evaluation Partielle Symbolique, Université
Paris 6, Avr.96
- Bennani, N. Proposition d'un modèle de programmation et
d'implémentation parallèle d'un langage fonctionnel sans
variables, Lille, Nov.94
- Dehbonei, B. Génération de Code et Analyse
Interprocédurale au sein d'un Environnement de Programmation
Parallèle, Paris 6, Dec.90 (Co-Certifier)