Alphabets de grandes tailles  Alphabets infinis  Analyse numérique  Analyse statique  Apprentissage automatique  Architecture  Automate  Automates mathématiques, Théorie des  Automates sur les mots infinis  Automates temporisés  Automates temporisés paramétrés  Automates temporisés probabilistes  Automobile  Automobiles -- Conception et construction  Autostabilisation  Bibliothèque OCaml  Boite vitesses  Circuits de commutation  Commande basée sur l'abstraction  Commande par commutation  Commutation, Théorie de la  Convergence  Domaine abstrait  Dynamique holomorphe  Effets  Ensembles invariants  Hybridisation  Interprétation abstraite  Invariant  Langages rationnels  Langages reguliers  Langages synchrones  Logiciels -- Vérification  Logiciels  Markov, Processus de  Modulaire  Modélisation des données  Méthodes compositionnelles  Méthodes formelles  OCaml  Objective Caml  Optimisation  Optimisation mathématique  Ordinateurs -- Programmation  Ordonnancement  Ordonnancement  Polytopes  Probabilités  Programmation logique  Programmation par contraintes  Programmes logico-numériques  Propriété de Wazewski  Protocoles de c ommunication  Réduction de modèle  Réseaux en anneaux  Surveillance  Synthèse compositionnelle  Synthèse de contrôle  Synthèse de paramètres  Systèmes commutés  Systèmes complexes  Systèmes continus  Systèmes dynamiques  Systèmes hybride  Systèmes hybrides  Systèmes à commutations  Systèmes à paramètres répartis  Théorie de l'indice de Conley  Théorie du contrôle  Traitement réparti  Véhicules autonomes  Vérification  Vérification de circuits  Vérification déductive  Why3  Zonotopes complexes  Équations aux dérivées partielles  

Laurent Fribourg dirige actuellement la thèse suivante :

Automatique
En préparation depuis le 01-10-2016
Thèse en préparation


Laurent Fribourg a dirigé les 9 thèses suivantes :

Sciences appliquées
Soutenue en 1994
Thèse soutenue

Sciences appliquées
Soutenue en 1991
Thèse soutenue


Laurent Fribourg a été président de jury des 3 thèses suivantes :


Laurent Fribourg a été rapporteur de la thèse suivante :


Laurent Fribourg a été membre de jury des 2 thèses suivantes :

Mathématiques et Informatique
Soutenue le 10-10-2017
Thèse soutenue