Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Cachan, Ecole normale supérieure (12)
  • Grenoble 1 (7)
  • Rennes 1 (6)
  • Toulouse 3 (6)
  • Grenoble INPG (4)
  • Lyon, INSA (4)
  • Paris Est (4)
  • Reims (4)
  • Toulouse, ENSAE (4)
  • Bordeaux (3)
  • Nantes (3)
  • Paris 6 (3)
  • Toulouse, INPT (3)
  • Université Paris-Saclay (ComUE) (3)
  • Aix-Marseille (2)
  • Clermont-Ferrand 2 (2)
  • Paris, CNAM (2)
  • université Paris-Saclay (2)
  • Aix-Marseille 1 (1)
  • Angers (1)
  • Bordeaux 1 (1)
  • Ecole centrale de Lille (1)
  • Ecole centrale de Nantes (1)
  • Ecole nationale d'ingénieurs de Tunis (1)
  • Evry, Institut national des télécommunications (1)
  • Evry-Val d'Essonne (1)
  • Faculté des Sciences de Tunis (1)
  • Grenoble (1)
  • Lorient (1)
  • Montpellier (1)
  • Paris Sciences et Lettres (1)
  • Sorbonne Paris Cité (1)
  • Sorbonne université (1)
  • Sydney, University of New South Wales (1)
  • Télécom Bretagne (1)
  • Université Grenoble Alpes (ComUE) (1)
  • Université de Lorraine (1)
  • Université de Mons (1)
  • Université de Yaoundé I (1)
  • Université libre de Bruxelles (1970-....) (1)
  • Vandoeuvre-les-Nancy, INPL (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (56)
  • Automatique. Productique (3)
  • InformatiqueInformatique (3)
  • Programmation et systèmes (3)
  • Automatique et informatique appliquée (2)
  • Informatique fondamentale et parallélisme (2)
  • Sureté de logiciel et calcul de haute performance (2)
  • ATS - Automatique et Traitement de Signal (1)
  • Automatique et productique (1)
  • Automatique, Traitement du signal et des images, Génie Informatique (1)
  • Automatique, génie informatique, traitement du signal et images (1)
  • Informatique et applications (1)
  • Informatique et télécommunications (1)
  • Mathématiques (1)
  • Mathématiques. Informatique (1)
  • Robotique (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • Réseaux, télécoms, systèmes et architecture (1)
  • SYAM - Systèmes Automatiques et Micro-Électroniques (1)
  • Sciences - STS (1)
  • Sciences et techniques (1)
  • Signal, Image, Automatique (1)
  • Stic (1)
  • Systèmes informatiques et systèmes embarqués (1)
  • Traitement du signal et télécommunications (1)
  • Électronique Électrotechnique Automatique (1)
  • Électronique, électrotechnique, automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (6)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (5)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (4)
  • École doctorale Informatique, télécommunications et électronique de Paris (3)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (3)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (2)
  • Ecole doctorale Sciences du Numérique et de lu2019Ingénieur (1)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (1)
  • I2S - Information, Structures, Systèmes (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences de la matière (Rennes) (1)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (1)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (51)
  • anglais (37)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Maler Oded (5)
  • Fribourg Laurent (4)
  • Babau Jean-Philippe (3)
  • Bodeveix Jean-Paul (3)
  • Boniol Frédéric (3)
  • Filali Mamoun (3)
  • Mourlin Fabrice (3)
  • Barkaoui Kamel (2)
  • Bensalem Saddek (2)
  • Bouyer-Decitre Patricia (2)
  • Bozga Dorel Marius (2)
  • Bérard Béatrice (2)
  • Cordier Marie-Odile (2)
  • Jéron Thierry (2)
  • Klaudel Hanna (2)
  • Lime Didier (2)
  • Niebert Peter (2)
  • Roux Olivier F. (2)
  • Roux Olivier Henri (2)
  • Toguyeni Abdoul Karim Armand (2)
  • Toumani Farouk (2)
  • Walukiewicz Igor (2)
  • Alla Hassane Lotfi (1)
  • André Etienne (1)
  • Asarin Eugène (1)
  • Augé-Blum Isabelle (1)
  • Bastide Rémi (1)
  • Benatallah Boualem (1)
  • Berruet Pascal (1)
  • Brihaye Thomas (1)
  • Carre menetrier Veronique (1)
  • Cavalli Ana (1)
  • Coulette Bernard (1)
  • Courtiat Jean-Pierre (1)
  • Crestani Didier (1)
  • Dague Philippe (1)
  • De Sainte-Catherine Myriam (1)
  • Dhaussy Philippe (1)
  • Doyen Laurent (1)
  • Encrenaz Emmanuelle (1)
  • Faure Jean-Marc (1)
  • Fernandez Jean-Claude (1)
  • Ferrier Jean-Louis (1)
  • Fotso Laure Pauline (1)
  • Fouchal Hacène (1)
  • Fraboul Christian (1)
  • Féraud Louis (1)
  • Gascuel Chantal (1)
  • Gastin Paul (1)
  • Georgantas Nikolaos (1)
  • Ghazel Mohamed (1)
  • Godary Karen (1)
  • Guermouche Nawal (1)
  • Guéguen Hervé (1)
  • Haar Stefan (1)
  • Haddad Serge (1)
  • Herbreteau Frédéric (1)
  • Issarny Valérie (1)
  • Jacquemard Florent (1)
  • Jard Claude (1)
  • Lang Frédéric (1)
  • Laroussinie François (1)
  • Le Gall Pascale (1)
  • Lesage Jean-Jacques (1)
  • Lugiez Denis (1)
  • Mammeri Zoubir (1)
  • Manamanni Noureddine (1)
  • Marange Pascale (1)
  • Marchand Hervé (1)
  • Marcé Lionel (1)
  • Markey Nicolas (1)
  • Massart Thierry (1)
  • Mignotte Anne (1)
  • Monmege Benjamin (1)
  • Monteil Thierry (1)
  • Montmain Jacky (1)
  • Moreaux Patrice (1)
  • Mosbah Mohamed (1)
  • Naud Olivier (1)
  • Ober Iulian Sorin (1)
  • Oquendo Flavio (1)
  • Padois Vincent (1)
  • Percebois Christian (1)
  • Perrin Dominique (1)
  • Perrin NIcolas (1)
  • Peschanski Frédéric (1)
  • Petrucci Laure (1)
  • Philippot Alexandre (1)
  • Pouzet Marc (1)
  • Pétin Jean-François (1)
  • Rebeuf Xavier (1)
  • Reynier Pierre-Alain (1)
  • Robbana Riadh (1)
  • Rollet Antoine (1)
  • Rueda Camilo (1)
  • Scharbarg Jean-Luc (1)
  • Schwarz Jean-Jacques (1)
  • Seguin Christel (1)
  • Sifakis Joseph (1)
  • Simeu-Abazi Zineb (1)
  • Simonot-Lion Françoise (1)
  • Strecker Martin (1)
  • Terrier François (1)
  • Tripakis Stavros (1)
  • Ye Lina (1)
  • Zaïdi Fatiha (1)
  • Zezulka Frantisek (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (71)
  • Sciences de l'ingénieur (17)
  • Informatique, information, généralités (4)
  • Mathématiques (2)
  • Technologie (Sciences appliquées) (2)
  • Sciences de la nature et mathématiques (1)
  • Physique (1)
  • Sciences de la vie, biologie, biochimie (1)

Domaines :

Fullscreen

91 thèses pour "Automates temporisés"

Informatique

Soutenue le 06-06-2012
thèse soutenue

.... . . . . . . . (DR), LaBRI, CNRS & Univ. Bordeaux . . . . . . Directeur2016iiiTitle Vérification d'automates...

Accéder en ligne

...beloved Agathe for her continuous support.34RésuméLes automates temporisés sont un formalisme qui permet...

Accéder en ligne

...(pouvant être représentées pardes automates temporisés). Ainsi, deux mécanismes d...

Accéder en ligne

Résultats 1 à 10