Abstraction  Abstraction compositionnelle  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 numérique  Commande par commutation  Commutation, Théorie de la  Contrat d’assume-guarantee  Contrôle symbolique  Convergence  Domaine abstrait  Données massives  Dynamique holomorphe  Effets  Ensembles invariants  Foncteur  Fraude Bancaire  Fraude bancaire  Hybridisation  Ingénierie des Connaissances  Interprétation abstraite  Invariant  Langages rationnels  Langages reguliers  Langages synchrones  Logiciels -- Vérification  Logiciels  Markov, Processus de  Modulaire  Modélisation des données  Morphisme  Méthodes formelles  OCaml  Objective Caml  Optimisation  Optimisation mathématique  Ordinateurs -- Programmation  Ordonnancement  Ordonnancement  Polytopes  Probabilités  Processus Dynamiques  Programmation logique  Programmation par contraintes  Programmes logico-numériques  Propriété de Wazewski  Protocoles de c ommunication  Réduction de modèle  Réification  Réseaux en anneaux  Surveillance  Synthèse compositionelle de contrôleurs  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 cyber-physiques  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 des Catégories  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 a dirigé les 10 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 des 2 thèses suivantes :


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

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