A novel online functional testing methodology Début : 2015Axe :SciLex 1Sujet : A novel online functional testing methodology based on a fully distributedcontinuous monitoring approach applied to communicating systems.Directeurs :Stéphane…
Début : Automne 2015 Axe : SciLex Sujet : conception d’outils d’analyse, optimisations et structures de données efficaces pour OCaml Directors : Sylvain CONCHON, Fabrice LE FESSANT, Michel MAUNY Institution…
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 : 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…
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…
MODEling and STeering BRain Oscillations based on in vivo Optogenetics Data Axe : Axe SciLex: Continuous and discrete systems: models and verification Sujet : MODEling and STeering BRain Oscillations based on…
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 :…
Axe : SciLex Sujet : Scilex-3 From high-level to low-level certification Directrice de thèse: Catherine Dubois Co-encadrant : Valentin Blot Doctorante : Amélie Ledein Laboratoire gestionnaire : Inria SIF Autres…
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 Security Sujet : Algorithmic properties of rotor walks in graphs, and related decision models Directeurs de thèse : Pierre Coucheney, DAVID et David…