Bureau 314, Inria Bât. B, Haute Borne 33 (0)3 59 35 87 69
Bureau 224, Bâtiment M3, Cité Scientifique 33 (0)3 20 33 59 01
Comprendre l’impact des politiques de publications de nouvelles versions dans les processus de développement de logiciels Soutenue le 26 février 2021
Traçabilité des Exigences et Vérification par Observateurs pour les Logiciels Critiques des Systèmes Ferroviaires Soutenue le 18 septembre 2015
Reconfiguration dynamique sûre des applications comportant des options fonctionnelles Soutenue le 11 juillet 2024
Une approche basée sur les lignes de produits logiciels pour la configuration et adaptation des environnements multi-nuages Soutenue le 5 juin 2018
français
English
