Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Rennes 1 (4)
  • Grenoble Alpes (2)
  • Cachan, Ecole normale supérieure (1)
  • Lorient (1)
  • Paris 6 (1)
  • Paris Saclay (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (10)

    Disciplines :

    Fullscreen

    Ecoles Doctorales :

    Valider et fermer
    • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
    • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
    • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
    • École doctorale Informatique, télécommunications et électronique (Paris) (1)
    • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
    • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
    • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

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

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Haddad Serge (3)
    • Legay Axel (3)
    • Bensalem Saddek (2)
    • Bertrand Nathalie (1)
    • Borne Isabelle (1)
    • Bozga Dorel Marius (1)
    • Buisson Jérémy (1)
    • Caillaud Benoît (1)
    • Genitrini Antoine (1)
    • Peschanski Frédéric (1)
    • Soria Michèle (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (10)
    • Sciences de l'ingénieur (1)

    Domaines :

    Fullscreen

    ...la the`se :Acce´le´ration pour le Model Checking StatistiqueThe`se pre´sente´e et soutenue a` Cachan...

    Accéder en ligne
    Informatique

    Soutenue le 19-11-2014
    thèse soutenue

    ...,la réduction peut malgré tout conduire à un modèle encore trop large.0.1.4 Model checking statistique...

    Accéder en ligne
    Informatique

    Soutenue le 26-11-2018
    thèse soutenue

    ...performance dans SRT-BIP, nous exploronsl’utilisation du model checking statistique (SMC) pour l’analyse d...

    Accéder en ligne

    ...performance de ce modèle, nous nousbasons sur du model checking statistique que nous améliorons à l’aide d...

    Accéder en ligne

    ...chemins dans ces systèmes et ainsi fournir une brique e cace et non biaisée dans lecadre du model checking...

    Accéder en ligne
    Informatique

    Soutenue le 21-11-2018
    thèse soutenue
    Informatique

    Soutenue le 24-09-2018
    thèse soutenue

    .... (Accélérations pourle model checking statistique). PhD thesis, École normale supérieure deCachan, France, 2014...

    Accéder en ligne

    Résultats 1 à 10