Recherche
Présentation générale L’axe “ModélisationetVérification” s’intéresse à la modélisation, la vérification et le test des systèmes informatiques
Conformément aux dispositions de l’article 6 III-1 de la loi n° 2004-575 du 21 juin 2004 pour la confiance dans l’économie numérique, le présent site
Le modèle des réseaux multicouches reconnaît que la complexité des relations entre les entités de systèmes complexes issus du monde réel est mieux
Maudeline Marlier soutiendra sa thèse (co-tutelle avec Inria Saclay), le 03 mars 2024 à 14h, en salle Ada Lovelace (Inria). L’intitulé de sa thèse est
Subba Reddy Oota soutiendra sa thèse intitulée : "Modèles neurocomputationnels de la compréhension du langage : caractérisation des similarités et des
Cindy Becher (département I&S) soutiendra sa thèse intitulée : « Désambiguïsation de la visualisation et de la manipulation d'objets 3D virtuels
Célia Tassadit Ait Kaci soutiendra sa thèse intitulée : «Analyse statique et dynamique pour la détection d’erreurs de concurrence d’accès mémoire
Vincent Martin soutiendra sa thèse intitulée : «Nouveaux biomarqueurs vocaux pour la détection automatique de la somnolence»
Chahrazed Ksouri soutiendra sa thèse intitulée : « Mobilité intelligente et routage dans l’Internet des véhicules basé sur une infrastructure
Lors de la 28ème édition de la conférence ISCC 2023, en juillet dernier, Sabri Khamari a obtenu le prix "Best Student Short Paper & Poster Award".