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…

Continuer la lecture 2018 | EPiPA

2016 | Compositional controller synthesis for hybrid systems

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…

Continuer la lecture 2016 | Compositional controller synthesis for hybrid systems

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

Continuer la lecture 2016 | AlgoReCell