Axe : SciLex Sujet : Scilex-3 From high-level to low-level certification Directrice de thèse: Catherine Dubois Doctorante : Amélie Ledein Co-encadrant : Valentin Blot Laboratoire gestionnaire : Inria SIF Autres partenaires : LSV, SAMOVAR Début : octobre…
Axe : Scilex Sujet : Scilex-1 Security of systems Directrice de thèse :Lirida Naviner Encadrants :Florian Brandner, Mihail Asavoae Laboratoire gestionnaire : LTCI (Télécom Paris) Autres partenaires : SATI (Université Paris-Saclay),…
Axe : SciLex, IID Sujet : IID-1 Machine learning, Scilex-2 Continuous versus discrete systems Directeurs de thèse : Sergio Mover Laboratoire gestionnaire : LIX Autre partenaire : U2IS Doctorant : Début…
Axe : SciLex Sujet : Scilex-1 Security of systems, Scilex-2 Continuous versus discrete systems Directeurs de thèse : Stefan Haar Laboratoire gestionnaire : Inria SIF Autres partenaires : LSV, IBISC…
Axe : SciLex - Software Reliability and SecuritySujet : Algorithmic properties of rotor walks in graphs, and related decision modelsDirecteurs de thèse : Pierre Coucheney, DAVID et David Auger, DAVIDInstitution…
Axe : Scilex / Comex Directeurs de thèse : Matthieu RambaudLaboratoire gestionnaire : LTCIAutres partenaires : Inria SaclayDoctorant : Angelo SaadehDébut : 2019
Axe : SciLexSujet : Safely using external provers in proof assistantsDirecteurs : Frédéric BLANQUI, INRIA et Guillaume BUREL, SAMOVARInstitutions : Inria, LSVDoctorant : Mohamed Yacine El HaddadDébut : 01/01/2018Productions scientifiques…
Axe :ScilexSujet : compositional controller synthesis for hybrid systemsDirecteurs de thèse : Antoine GIRARD (L2S), Laurent FRIBOURG (LSV).Institution :Laboratoire des signaux et systèmes (L2S), Laboratoire de spécification et vérification (LSV).Doctorant…
Modèles et algorithmes pour la prédiction de stratégies de reprogrammation cellulaire Axe :SciLexSujet : Modèles et algorithmes pour la prédiction de stratégies de reprogrammation cellulaireDirecteurs :Stefan Haar,LSV & Loic Paulevé, LRIDébut:…
Axe : SciLexSujet : Stabilité(s): liens entre l'arithmétique flottante et l'analyse numériqueDirecteurs : Sylvie Boldo, Inria et Alexandre Chapoutot, ENSTA ParisTechInstitutions : Inria et ENSTA ParisTechLaboratoire Gestionnaire : InriaDoctorant :…