Adaptation  Analyse de sentiments  Analyse de tendances  Analyse des surfaces de tendance  Anneaux  Architecture hybride  Automates d'interface  Bases mutuellement non biaisées  Big data  Big social data  Calcul haute performance  Calcul quantique  Chaine outillée  Collaboration  Commande automatique  Composants logiciels  Conformité  Corps et anneaux de Galois  Critères de couverture  Debogage  Données massives  Droites projectives  Débogage  Essai  Exploration comportementale  Framework de simulation  GPU  Galois, Théorie de  Gama  Graphe de Pauli  Génération automatique de tests unitaires  Génération cas de test  Génération de données  Génération de tests  Génération de tests à partir de modèles  Génération de tests à partir de modèles,  Géométrie projective  Intelligence artificielle répartie  Internet des Objets  Internet des objets  Interopérabilité  Localisation d'erreurs  Logiciels -- Essais  Logiciels -- Validation  Many-core  Mc/dc  Modèles d’états-Transitions  Modéle  OCL  Opérateurs de Pauli généralisés  Outils big data  PHP  Paralellisation  Parallélisme  Performance des outils big data  Pouveur SMT  Praspel  Programmation par contraintes  Propriété de sûreté  Protocoles comportementaux  Qudits  Réseaux sociaux  Réutilisabilité  Simulation  Solveur CSP  Solveurs  Spécification logicielle  Stratégies de génération de tests  SysML  Système multi-agents  Systèmes complexes  Systèmes multi-Agents  Sécurité  Sémentique  Tests  Tests basés sur des modèles  Thèses et écrits académiques  Théorie quantique  Transformation de modèles  UML  UML  UML/Sys ML  Validation de système embarqués  Vérification de programme  

Fabrice Bouquet supervised the 6 following theses


Fabrice Bouquet was president of the thesis committee the 3 following theses


Fabrice Bouquet was examiner the 3 following theses


Fabrice Bouquet was thesis committee member for the following thesis

Sciences pour l’ingénieur
defended on 27-01-2011
Thèse soutenue