Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Rennes 1 (10)
  • Grenoble 1 (6)
  • Grenoble (5)
  • Grenoble INPG (5)
  • Paris 7 (4)
  • Université de Lorraine (4)
  • Grenoble Alpes (3)
  • Besançon (2)
  • Bordeaux (2)
  • Cachan, Ecole normale supérieure (2)
  • Nancy 1 (2)
  • Nantes (2)
  • Nice (2)
  • Paris 11 (2)
  • Paris Saclay (2)
  • Paris Sciences et Lettres (2)
  • Toulouse 3 (2)
  • Toulouse, INPT (2)
  • Belfort-Montbéliard (1)
  • Bordeaux 1 (1)
  • Cergy-Pontoise (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • ENSMP (1)
  • Lille 1 (1)
  • Lorient (1)
  • Lyon, INSA (1)
  • Orléans (1)
  • Paris 6 (1)
  • Paris, CNAM (1)
  • Paris, ENMP (1)
  • Toulouse, ISAE (1)
  • Université Libanaise (Liban) (1)
  • Université des Sciences et de la Technologie d'Oran. Mohamed Boudiaf (Algérie) (1)
  • Université du Minho (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (53)
  • Sciences appliquées (3)
  • Sciences et techniques (2)
  • Automatique (1)
  • Automatique et informatique appliquée (1)
  • Automatique et productique (1)
  • Automatique, Productique (1)
  • Chimie (1)
  • Informatique et applications (1)
  • Informatique temps réel, robotique et automatique (1)
  • Informatique. Systèmes et communications (1)
  • Sciences de l'ingénieur (1)
  • Sciences et technologies de l'information et de la communication (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)
  • Sûreté de logiciel et calcul de haute performance (1)
  • Traitement du signal et des télécommunications (1)
  • Électronique, électrotechnique, automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (8)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (4)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (3)
  • Mathématiques et Informatique (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • IAEM Lorraine (1)
  • Sciences Mathématiques de Paris Centre (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (53)
  • anglais (16)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Ouabdesselam Farid (3)
  • Parissis Ioannis (3)
  • Bouajjani Ahmed (2)
  • Frehse Goran (2)
  • Halbwachs Nicolas (2)
  • Jensen Thomas (2)
  • Maler Oded (2)
  • Merz Stephan (2)
  • Mountassir Hassan (2)
  • Méry Dominique (2)
  • André Charles (1)
  • Arlat Jean (1)
  • Aït-Ameur Yamine (1)
  • Aït-Sadoune Idir (1)
  • Babau Jean-Philippe (1)
  • Banâtre Jean-Pierre (1)
  • Barbot Jean-Pierre (1)
  • Bensalem Saddek (1)
  • Benyettou Mohammed (1)
  • Bhargavan Karthikeyan (1)
  • Blazy Sandrine (1)
  • Bousquet Lydie du (1)
  • Caspi Paul (1)
  • Cassez Franck (1)
  • Chailloux Emmanuel (1)
  • Consel Charles (1)
  • Couvreur Jean-Michel (1)
  • Dang Thao (1)
  • Darondeau Philippe (1)
  • Delmas Rémi (1)
  • Dery-Pinna Anne-Marie (1)
  • Donzeau-Gouge Viguié Véronique (1)
  • Fabre Jean-Charles (1)
  • Fernandez Jean-Claude (1)
  • Figueira Diego (1)
  • Gaudel Marie-Claude (1)
  • Gechter Franck Joseph Aimé (1)
  • Genet Thomas (1)
  • Girault Alain (1)
  • Graf Susanne (1)
  • Grimaud Gilles (1)
  • Groz Roland (1)
  • Gruer Juan Pablo (1)
  • Gustedt Jens (1)
  • Guéguen Hervé (1)
  • Haddad Serge (1)
  • Hajjar Mohammad (1)
  • Irigoin François (1)
  • Jeannet Bertrand (1)
  • Julliand Jacques (1)
  • Laprie Jean-Claude (1)
  • Lauer Michaël (1)
  • Le Guernic Paul (1)
  • Leroy Vincent (1)
  • Lesage Jean-Jacques (1)
  • Lescanne Pierre (1)
  • Lévy Jean-Jacques (1)
  • Marché Claude (1)
  • Mauny Michel (1)
  • Montmain Jacky (1)
  • Muscholl Anca (1)
  • Oquendo Flavio (1)
  • Pivan Jean-Yves (1)
  • Pommereau Franck (1)
  • Potet Marie-Laure (1)
  • Pouzet Marc (1)
  • Protzenko Jonathan (1)
  • Quinton Patrice (1)
  • Raynaud Yves (1)
  • Riveill Michel (1)
  • Roux Olivier (1)
  • Roux Olivier Henri (1)
  • Salaün Gwen (1)
  • Schwarz Jean-Jacques (1)
  • Sifakis Joseph (1)
  • Sighireanu Mihaela (1)
  • Simone Robert de (1)
  • Simplot-Ryl David (1)
  • Sutre Gregoire (1)
  • Talpin Jean-Pierre (1)
  • Trilling Laurent (1)
  • Walukiewicz Igor (1)
  • Weil Pascal (1)
  • Wiels Virginie (1)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (53)
  • Sciences de l'ingénieur (13)
  • Sciences de la nature et mathématiques (3)
  • Technologie (Sciences appliquées) (3)
  • Informatique, information, généralités (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Physique (1)
  • Chimie, minéralogie, cristallographie (1)
  • Sciences de la vie, biologie, biochimie (1)

Domaines :

Fullscreen
Sciences appliquées

Soutenue en 1995
thèse soutenue
Informatique

Soutenue le 15-02-2013
thèse soutenue

...COMME FORMALISME POUR LES PROPRIÉTÉS DE SÛRETÉ 5AttenteErreurI : ensemble des événements d...

Accéder en ligne
Sciences et technologies de l'information et de la communication

Soutenue en 2010
thèse soutenue

Résultats 1 à 10