Algorithmes  Analyse des données  Analyse quantitative  Automates  Automates Communicants  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  Automatisation  Base de connaissances  Bases de données -- Interrogation  Bases de données sur le Web  Benchmark  Bqo  Calcul formel  Calculabilité  Capteurs téléphone intelligent  Complexité  Complexité algorithmique  Complexité de calcul  Concurrent  Cryptographie  Da  Datalog  Determinisation  Diagnostic  Distribution  Décidabilité  Décidabilité  Déduction  Démonstration automatique  Déterminabilité  Equilibre  Fiabilité  Fonctions calculables -- Informatique  Formalisme  Gestion de données du Web  Gestion de données personnelles  Graphes de données  Homologie  Homotopie  Hyperséquent  Indistinguabilité  Information imparfaite  Intégration de données  Intégration de données  J  Jeux  Logiciels -- Vérification  Logique  Logique avec k variables  Logique de données  Logique de séparation  Logique du premier ordre  Logique dynamique propositionnelle  Logique informatique  Logique temporelle  Logiques temporelles  Maintenance automatisée  Markov decision process  Markov, Processus de  Mesures de sécurité  Minorants  Model calculatoire  Model-Checking statistique  Modèle symbolique  Modèles mathématiques  Modélisation des flux des passagers  Monoïdes  Mots synchronisants  Méthode des tableaux  Méthodes formelles  Méthodes formelles  Méthodes symboliques  Nash  Nečiporuk  Nombres ordinaux  Optimisation stochastique  Ordre sous-Mot  Pair à pair  Pertinence  Petri, Réseaux de  Poste à poste  Preuve formelle  Preuves automatiques  Processus de décision de Markov  Processus décisionnels de Markov relationnels  Processus stochastiques  Procédure de décision  Programmes sur monoïdes  Protection de l'information  Protocole de sécurité  Protocoles  Protocoles cryptographiques  Protocoles de réseaux d'ordinateurs  Protocoles de sécurité  Recherche de preuve  Recherche quantitative  Reconnaissance d'activité  Reconnaissance de mode de transport  Requêtes de chemin  Réseaux de Petri  Réseaux électriques intelligents  Résolution de contraintes  Réécriture  Réécriture, Systèmes de  Satisfiability Modulo Theories  Satisfiabilité  Simulink  Simulink  Smart grids  Smartphones  Solveur  Spécification quantitative  Stochastique  Superposition  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écurité calculatoire  Sécurité informatique  Sémantique selon la théorie des jeux  Séparation  Theorie des jeux  Théorie des jeux  Théorèmes -- Démonstration automatique  Topologie algébrique  Topologie algébrique dirigée  Transport de voyageurs  Unification  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  XPath  XPath  Équivalence  

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

Mathématiques et Informatique
Soutenue le 12-06-2017
thèse