Algorithmes  Analyse des données  Automates  Automates Communicants  Automates hybrides  Automates mathématiques, Théorie des  Automates probabilistes  Automates temporisés  Automates temporisés et stochastiques  Automates à poids  Automates à état Fini  Base de connaissances  Bases de données -- Interrogation  Bases de données sur le Web  Bqo  Calcul formel  Calculabilité  Capteurs téléphone intelligent  Complexité  Complexité algorithmique  Complexité de calcul  Concurrent  Cryptographie  Da  Datalog  Distribution  Décidabilité  Décidabilité  Déduction  Démonstration automatique  Déterminabilité  Equilibre  Fonctions calculables -- Informatique  Formalisme  Gestion de données du Web  Gestion de données personnelles  Graphes de données  Homologie  Homotopie  Information imparfaite  Intégration de données  Intégration de données  J  Jeux  Logiciels -- Vérification  Logique  Logique informatique  Markov decision process  Markov, Processus de  Minorants  Model-Checking statistique  Modèle symbolique  Modèles mathématiques  Modélisation des flux des passagers  Monoïdes  Mots synchronisants  Méthodes formelles  Méthodes formelles  Nash  Nečiporuk  Ordre sous-Mot  Pair à pair  Petri, Réseaux de  Poste à poste  Processus stochastiques  Programmes sur monoïdes  Protection de l'information  Protocoles  Protocoles cryptographiques  Protocoles de sécurité  Reconnaissance d'activité  Reconnaissance de mode de transport  Requêtes de chemin  Réseaux de Petri  Résolution de contraintes  Réécriture  Réécriture, Systèmes de  Simulink  Simulink  Smartphones  Spécification quantitative  Stochastique  Synthèse distribuée  Systèmes d'addition de vecteurs  Systèmes de transitions bien structurés  Systèmes dynamiques  Systèmes informatiques -- Mesures de sûreté  Systèmes à compteurs  Sécurité  Sémantique selon la théorie des jeux  Theorie des jeux  Thèses et écrits académiques  Théorie des jeux  Topologie algébrique  Topologie algébrique dirigée  Transport de voyageurs  Vie privée  Vraie concurrence  Vues  Véhicule autonome  Véhicules autonomes  Vérification  Vérification Formelle  Vérification de modèles  Vérification formelle  Wqo  Équivalence  

21 thèses soutenues ayant pour partenaire de recherche Laboratoire Spécification et Vérification (Cachan, Val-de-Marne).
Extrait des plus récentes :

Informatique
Soutenue le 26-11-2018
thèse
Mathématiques et Informatique
Soutenue le 12-06-2017
thèse
Informatique
Soutenue le 30-03-2017
thèse
Informatique
Soutenue le 05-12-2016
thèse