AUTOSAR  Abstraction hiérarchique  Algorithme distribué  Automates mathématiques, Théorie des  Automates probabilistes  Automates programmables  Automates temporisés  Blocage  Boucles inobservables  Calculabilité  Caractérisation logique d'un ensemble d'exécutions  Commande automatique  Complexité  Concurrence  Contraintes temporelles paramétrisées  Contrôle  Décidabilité  Dépliages  Dépliages avec contraintes  Flux de données  Fonctions calculables -- Informatique  Génie logiciel  Horloges partagées  Implantation sur architecture distribuée  Ingénierie des systèmes  Interprétation abstraite  Jeux temporisés  Logiciels -- Vérification  Logiciels  Logique informatique  MATLAB  MATLAB/SIMULINK  Markov decision process  Markov, Processus de  Model-Checking  Model-Checking statistique  Model-checking  Modularité  Modélisation par contraintes  Mots synchronisants  Mu-calcul  Multi-cœurs  Méthodes formelles  Méthodes formelles  Observations partielles  Ordonnancement  Ordonnancement temps-réel  Ordres partiels  Paramètres  Petri, Réseaux de  Procédés de fabrication -- Automatisation  Programmation par contraintes  Protection de l'information  Robots mobiles  Réseaux d'automates temporisés  Réseaux de Petri  Réseaux de Petri temporels  Résolution de problème -- Informatique  Résolution par contraintes  SDF>G  Simulink  Simulink  Siphon  Supervision  Synthèse d'algorithmes  Synthèse de contrôleurs  Systemes concurents  Systèmes de production automatisés  Systèmes de transitions temporisés  Systèmes dynamiques  Systèmes embarqués  Systèmes hybrides  Systèmes informatiques -- Mesures de sûreté  Systèmes répartis temps réel  Systèmes temps-réel distribués  Systèmes à paramètres répartis  Sémantique selon la théorie des jeux  Temps réel  Théorie des jeux  Traitement réparti  Verification  Véhicule autonome  Véhicules autonomes  Vérification de modèles  Vérification de modèles  Vérification de programmes  Équivalence de comportement pour systèmes distribués  

Béatrice Bérard a dirigé les 4 thèses suivantes :


Béatrice Bérard a été président de jury des 5 thèses suivantes :


Béatrice Bérard a été rapporteur des 3 thèses suivantes :


Béatrice Bérard a été membre de jury des 4 thèses suivantes :

Informatique
Soutenue le 26-11-2018
Thèse soutenue
Informatique et applications
Soutenue en 2013
Thèse soutenue