2015 | DisMonTest

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…

Continue Reading2015 | DisMonTest

2016 | AlgoReCell

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:…

Continue Reading2016 | AlgoReCell

2016 | ELEFFAN

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 :…

Continue Reading2016 | ELEFFAN

2018 | EPiPA

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…

Continue Reading2018 | EPiPA