Analyse Pire Cas  Analyse des données -- Logiciels  Applications à base de composants  Bases de données -- Interrogation  Bases de données  Bisimulation  Bisimulations  Calculs d'ordre supérieur  Certification  Certification de programmes  Circuits intégrés -- Passivation  Cohérence  Coinduction  Compilation  Compilation certifiée en Coq  Concurrence  Coq  Coq  Effets calculatoires  Effets de bord  Encodages  Equivalences comportementales  Formalisation de langages centrés données  Indépendance  Interprétation abstraite  Invariants  JavaScript  JavaScript  Langages centrés données  Langages de programmation -- Sémantique  Langages de programmation  Logiciels -- Vérification  Logique de séparation  Logique décorée  Logique informatique  Machine virtuelle  Microcontrôleurs -- Programmation  Microcontrôleurs  Microordinateurs -- Programmation  Mise à jour  Model checking  Mutlisémantique annotée  Méthode de Howe  Méthodes formelles  Méthodes formelles  Non-Interférence  OCaml  Objective Caml  Ordinateurs -- Programmation  Preuve  Preuves  Preuves de congruence  Preuves de programmes  Programmation fonctionnelle  Programmation impérative  Programmation logique  Programmation synchrone  Protocole de cohérence de cache  Requêtes intégrées au langage  SQL  STM  Systèmes paramétrés  Sémantique formelle de SQL  Sémantique opérationnelle  Sémantique équationnelle  Temps réel  Théorie de la démonstration  Théorèmes -- Démonstration automatique  Types  Vérification formelle  WCET  XML  XML  Équations  

Alan Schmitt a dirigé les 3 thèses suivantes :

Informatique
Soutenue le 14-12-2018
Thèse soutenue
Informatique
Soutenue le 25-11-2016
Thèse soutenue


Alan Schmitt a été président de jury de la thèse suivante :


Alan Schmitt a été rapporteur des 6 thèses suivantes :

Mathématiques. Logique et fondements de l'informatique
Soutenue le 18-09-2018
Thèse soutenue

Alan Schmitt a été membre de jury des 2 thèses suivantes :