Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (8)
  • Grenoble (3)
  • Paris Sciences et Lettres (3)
  • Paris Est (2)
  • Paris Saclay (2)
  • Côte d'Azur (1)
  • Nancy 1 (1)
  • Orléans (1)
  • Paris 6 (1)
  • Paris, CNAM (1)
  • Paris, ENST (1)
  • Rennes 1 (1)
  • Rennes, École normale supérieure (1)
  • Università degli studi (Bologne, Italie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (23)
  • Informatique et réseaux (1)
  • Mathématiques et informatique (1)
  • Sciences appliquées (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (11)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (2)
  • Sciences Mathématiques de Paris Centre (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (2)
  • Pétrot Frédéric (2)
  • Bozga Dorel Marius (1)
  • Cachera David (1)
  • Cohen Albert Henri (1)
  • Falcone Yliès Carlo (1)
  • Finance Jean-Pierre (1)
  • Gava Frédéric (1)
  • Genitrini Antoine (1)
  • Gössler Gregor (1)
  • Hains Gaétan (1)
  • Henrio Ludovic (1)
  • Hirschowitz Tom (1)
  • Kaiser Claude (1)
  • Laneve Cosimo (1)
  • Lang Frédéric (1)
  • Leroy Vincent (1)
  • Loulergue Frédéric (1)
  • Mateescu Radu (1)
  • Miné Antoine (1)
  • Mounier Laurent (1)
  • Moy Matthieu (1)
  • Peschanski Frédéric (1)
  • Pichardie David (1)
  • Pommereau Franck (1)
  • Raynal Michel (1)
  • Salaün Gwen (1)
  • Sangiorgi Davide (1)
  • Soria Michèle (1)
  • Stefani Jean-Bernard (1)
  • Termier Alexandre (1)
  • Vukolić Marko (1)
  • Zappa Nardelli Francesco (1)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (24)
  • Mathématiques (2)
  • Sciences de la vie, biologie, biochimie (1)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

26 thèses pour "Concurrent program"

..., FRAMA-CAssisted Concurrent Program Verification by Code andSpecification Transformation...

Accéder en ligne
Informatique

En préparation depuis le 01-10-2014
 thèse en cours de préparation
Soutenance prévue le 26-02-2019

...executiontrace of a concurrent program [WKGG09, WCGY09, WLGG10].• detecting serializability violations and...

Accéder en ligne

...orafter another.Given an execution of a concurrent program, call and return actions in a same threadwork...

Accéder en ligne

...of memory atany point.The non-determinism of concurrent program executions makes information flow...

Accéder en ligne

Résultats 1 à 10