Résultats 1 à 6

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Besançon (2)
  • Paris 6 (2)
  • East China normal university (Shanghai) (1)
  • Pau (1)
  • Université Abdelhamid Mehri - Constantine 2 (Constantine, Algérie) (1)
  • Université de Paris (2019-....) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)

    Disciplines :

    Fullscreen

    Ecoles Doctorales :

    Valider et fermer
    • École doctorale Informatique, télécommunications et électronique de Paris (2)
    • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
    • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (1)
    • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

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

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Kordon Fabrice (2)
    • Mountassir Hassan (2)
    • Belala Faiza (1)
    • Chouali Samir (1)
    • Hameurlain Nabil (1)
    • Hammad Ahmed (1)
    • He Jifeng (1)
    • Tatibouet Bruno (1)
    • Touili Tayssir (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (6)

      Domaines :

      Fullscreen

      6 thèses pour "Propriétés LTL"

      Improving the model checking of stutter-invariant LTL properties

      par Ala Eddine Ben Salem sous la direction de Fabrice Kordon - Paris 6

      Informatique

      Soutenue le 25-09-2014
      thèse soutenue
      Accéder en ligne

      Formal and incremental verification of SysML for the design of component-based system

      par Oscar Carrillo Rozo sous la direction de Hassan Mountassir et de Samir Chouali. - Besançon

      Informatique

      Soutenue le 17-12-2015
      thèse soutenue

      ..., Exigences, Propriétés LTL, Prome-la/SPIN, Ptolemy, MIOWorkbench...

      Accéder en ligne

      Combining SysML and SystemC to Simulate and Verify Complex Systems

      par Abbas Abdulazeez Abdulhameed sous la direction de Hassan Mountassir, Bruno Tatibouet et de Ahmed Hammad. - Besançon

      Informatique

      Soutenue le 04-03-2016
      thèse soutenue

      ...C,Simulation, Vérification, Exigences, Propriétés LTL,Model-Checking, Promela/SPIN, STATE tool,UPPAAL....

      Accéder en ligne

      Model checking self modifying code

      par Xin Ye sous la direction de Tayssir Touili et de Jifeng He. - Université de Paris (2019-....)

      Informatique

      Soutenue le 30-09-2019
      thèse soutenue
      Accéder en ligne

      Contribution aux tests de vacuité pour le model checking explicite

      par Etienne Renault sous la direction de Fabrice Kordon - Paris 6

      Informatique

      Soutenue le 05-12-2014
      thèse soutenue

      ...decoulantdes proprietes ltl. Les automates de Buchi permettent de decrire des executions (!-mots...

      Accéder en ligne

      Formalisation et évaluation de stratégies d’élasticité multi-couches dans le Cloud

      par Khaled Khebbeb sous la direction de Nabil Hameurlain et de Faiza Belala. - Pau

      Informatique

      Soutenue le 29-06-2019
      thèse soutenue

      ...(horizontale/verticale) et endonnant une des quatre proprietes LTL a veri er :4 etats 5 possibilites de...

      Accéder en ligne

      Résultats 1 à 6