Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (4)
  • Rennes 1 (4)
  • Toulouse, ISAE (4)
  • Université de Lorraine (4)
  • Nice (3)
  • Paris, CNAM (3)
  • Toulouse 1 (3)
  • Toulouse 3 (3)
  • Belfort-Montbéliard (2)
  • Besançon (2)
  • Evry, Institut national des télécommunications (2)
  • Grenoble Alpes (2)
  • Nantes (2)
  • Paris 6 (2)
  • Paris Est (2)
  • Paris, ENSAM (2)
  • Toulouse, INPT (2)
  • Aix-Marseille (1)
  • Angers (1)
  • Artois (1)
  • Bordeaux (1)
  • Bourgogne Franche-Comté (1)
  • Cachan, Ecole normale supérieure (1)
  • Dijon (1)
  • Ecole centrale de Lille (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble INPG (1)
  • Littoral (1)
  • Lyon, INSA (1)
  • Montpellier 2 (1)
  • Paris 11 (1)
  • Paris 13 (1)
  • Paris 7 (1)
  • Paris 9 (1)
  • Paris Sciences et Lettres (1)
  • Paris, ENST (1)
  • Rouen, INSA (1)
  • Sorbonne Paris Cité (1)
  • Toulouse 2 (1)
  • Toulouse, INSA (1)
  • Universität Postdam (Allemagne) (1)
  • Universität des Saarlandes (1)
  • Université Libanaise (Liban) (1)
  • Université Savoie Mont Blanc (1)
  • Université de Sfax. Faculté des sciences (1)
  • Université de Sherbrooke (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (1)
  • Université de la Manouba (1)
  • Université du Luxembourg (1)
  • Valenciennes (1)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (1)
  • École Polytechnique de Montréal (1)
  • École nationale d'ingénieurs de Tunis (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (34)
  • Sciences appliquées (3)
  • Sciences du langage (2)
  • Automatique et informatique appliquée (1)
  • Automatique et informatique industrielle (1)
  • Automatique et productique (1)
  • Automatique, Traitement du signal et des images, Génie informatique (1)
  • Didactique des disciplines (1)
  • Génie industriel (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et réseaux (1)
  • Informatique et télécommunications (1)
  • Informatique, données, IA (1)
  • Informatique. Automatique et informatique des systèmes industriels et humains (1)
  • Mathématiques appliquées (1)
  • Mathématiques et Informatique (1)
  • Mathématiques/Informatique (1)
  • Micro-électronique (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Pathologie humaine (1)
  • Productique (1)
  • Réseaux, information et communications (1)
  • Réseaux, télécoms, systèmes et architecture (1)
  • Sciences appliquées. Informatique (1)
  • Sciences de gestion (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et techniques (1)
  • Sciences et technologies industrielles (1)
  • Sciences économiques (1)
  • Signal, Image, Automatique (1)
  • Sureté de logiciel et calcul de haute performance (1)
  • Systèmes automatiques et microélectroniques (1)
  • Systèmes embarqués (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Traitement du signal et télécommunications (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (4)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale Systèmes (Toulouse) (3)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (1)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • Informatique, Automatique, Electronique-Electrotechnique, Mathématiques (1)
  • MathSTIC (Nantes) (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques, Informatique, Télécommunications de Toulouse (1)
  • SCIENCES POUR L'INGENIEUR (1)
  • Sciences Mathématiques de Paris Centre (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Informatique, télécommunications et électronique (Paris) (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 Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (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 technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (53)
  • anglais (8)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Amblard Maxime (2)
  • Barkaoui Kamel (2)
  • Cavalli Ana (2)
  • Seguin Christel (2)
  • Silberztein Max (2)
  • Adreit Françoise (1)
  • Ait ameur Yamine (1)
  • Andreu David (1)
  • Attiogbé Christian (1)
  • Aufaure Marie-Aude (1)
  • Baile Serge (1)
  • Barthet Marie-France (1)
  • Bassetto Samuel (1)
  • Basseur Matthieu (1)
  • Ben Hadj-Alouane Néjib (1)
  • Ben Hamadou Abdelmajid (1)
  • Benferhat Salem (1)
  • Bensana Éric (1)
  • Benzekri Abdelmalek (1)
  • Bertaux Aurélie (1)
  • Berthomieu Bernard (1)
  • Berthomieu Claude (1)
  • Bouissou Marc (1)
  • Bouzeghoub Mokrane (1)
  • Brunel Julien (1)
  • Caminada Alexandre (1)
  • Cholvy Laurence (1)
  • Choppy Christine (1)
  • Claramunt Christophe (1)
  • Couveignes Jean-Marc (1)
  • Cruz Christophe (1)
  • Cuppens Frédéric (1)
  • Cérin Christophe (1)
  • Danger Jean-Luc (1)
  • Darouach Mohamed (1)
  • Drira Khalil (1)
  • El-Koursi El-Miloudi (1)
  • Estève Daniel (1)
  • Frappier Marc (1)
  • Gechter Franck Joseph Aimé (1)
  • Godary Karen (1)
  • Gondran Michel (1)
  • Gout Christian (1)
  • Groote Philippe de (1)
  • Gruer Juan Pablo (1)
  • Guilley Sylvain (1)
  • Guéguen Hervé (1)
  • Hajjar Mohammad (1)
  • Hao Jin-Kao (1)
  • Haurat Alain (1)
  • Iliadis Athanassios (1)
  • Jannin Pierre (1)
  • Jemni Mohamed (1)
  • Jenn Éric (1)
  • Juanole Guy (1)
  • Klaudel Hanna (1)
  • Kolski Christophe (1)
  • Kordon Fabrice (1)
  • Kouchnarenko Olga (1)
  • Laarouchi Youssef (1)
  • Laleau Régine (1)
  • Lassabe Frédéric (1)
  • Le Guernic Paul (1)
  • Lesage Jean-Jacques (1)
  • Mabed Hakim (1)
  • Mammar Amel (1)
  • Merz Stephan (1)
  • Minier Marine (1)
  • Monteil Thierry (1)
  • Montmain Jacky (1)
  • Moreau-Gaudry Alexandre (1)
  • Mourlin Fabrice (1)
  • Naccache David (1)
  • Palanque Philippe (1)
  • Peschanski Frédéric (1)
  • Pollet Yann (1)
  • Ramat Eric (1)
  • Ronfard Rémi (1)
  • Roux Olivier F. (1)
  • Rumelhard Guy (1)
  • Schaub Torsten (1)
  • Schmitt Alan (1)
  • Siadat Ali (1)
  • Siegel Anne (1)
  • Simone Robert de (1)
  • Singh Neeraj (1)
  • Solaiman Basel (1)
  • Stefani Jean-bernard (1)
  • Stolf Patricia (1)
  • Thomas Marie-Claude (1)
  • Ubeda Stéphane (1)
  • VIGNES SYLVIE (1)
  • Val Thierry (1)
  • Vallespir Bruno (1)
  • Vercouter Laurent (1)
  • Verfaillie Gérard (1)
  • Vernadat François B. (1)
  • Vianou Antoine (1)
  • Voos Holger (1)
  • Voros Sandrine (1)
  • Waeselynck Hélène (1)
  • Weidenbach Christoph (1)
  • Wiels Virginie (1)
  • Yim Pascal (1)
  • Zacharewicz Grégory (1)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (44)
  • Sciences de l'ingénieur (12)
  • Informatique, information, généralités (5)
  • Mathématiques (3)
  • Physique (3)
  • Langues et linguistique (2)
  • Sciences de la vie, biologie, biochimie (2)
  • Technologie (Sciences appliquées) (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Economie (1)
  • Education et enseignement (1)
  • Commerce, communications, transports (1)
  • Autres langues (1)
  • Sciences de la nature et mathématiques (1)
  • Médecine et santé (1)
  • Gestion et organisation de l'entreprise (1)

Domaines :

Fullscreen

71 thèses pour "Modélisation formelle"

Modèlisation formelle et statistique du dialogue

par Chuyuan Li sous la direction de Maxime Amblard - Université de Lorraine

Informatique

En préparation depuis le 30-09-2019
 thèse en cours de préparation
Réseaux, télécoms, systèmes et architecture

Soutenue le 09-06-2015
thèse soutenue

Modélisation formelle de système de détection d'intrusions

par Lionel Nganyewou Tidjon sous la direction de Amel Mammar et de Marc Frappier. - Paris Saclay

Informatique, données, IA

En préparation depuis le 01-05-2017
 thèse en cours de préparation
Sureté de logiciel et calcul de haute performance

Soutenue le 20-06-2014
thèse soutenue

Modélisation formelle de systèmes cyber-physiques par le raffinement et la preuve

par Guillaume Dupont sous la direction de Yamine Ait ameur et de Neeraj Singh. - Toulouse, INPT

Informatique

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

Résultats 1 à 10