Résultats 1 à 7

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (4)
  • Bourgogne Franche-Comté (2)
  • Bordeaux (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (7)

    Disciplines :

    Fullscreen

    Ecoles Doctorales :

    Valider et fermer
    • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (4)
    • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (1)
    • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
    • École doctorale de mathématiques et informatique (Talence, Gironde) (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

    Valider et fermer
    • anglais (4)
    • français (1)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Kouchnarenko Olga (2)
    • Bensalem Saddek (1)
    • Bousquet Lydie du (1)
    • Dadeau Frédéric (1)
    • Falcone Yliès (1)
    • Falcone Yliès Carlo (1)
    • Ledru Yves (1)
    • Mosbah Mohamed (1)
    • Méhaut Jean-François (1)
    • Rollet Antoine (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (7)

      Domaines :

      Fullscreen

      ...(online), au moment mêmeoù l’exécution a lieu. Ainsi, la vérification à lexécution a pour vocation d...

      Accéder en ligne

      Combinaison de tests et de vérification pour les CPS adaptatifs

      par Jean-philippe Gros sous la direction de Olga Kouchnarenko et de Frédéric Dadeau. - Bourgogne Franche-Comté

      Informatique

      En préparation depuis le 01-10-2017
       thèse en cours de préparation

      Vérification interactive de propriétés à l'exécution

      par Raphaël Jakse sous la direction de Jean-François Méhaut et de Yliès Falcone. - Grenoble Alpes

      Informatique

      En préparation depuis le 17-11-2016
       thèse en cours de préparation

      Résultats 1 à 7