Acquisition automatique des données  Agent mobile  Agents  Agents mobiles  Agents mobiles  Alloy  Analyse des besoins  Applications conteneurisées  Apprentissage par renforcement  Architecture des réseaux d'ordinateurs  Architecture logiciel  Architecture logicielle  Assistant de preuve  Atomicité  Big Data  Bonne synchronisation  Calcul Distribué  Calcul Parallèle  Calcul parallèle  Cloud  Cloud Computing  Cloudlet  Collecte des données  Communauté  Communication  Compilation  Compilation  Composition  Courtage informatique  Données massives  Déchargement  Déportation  Grille de calcul  Grilles informatiques  Génie logiciel  IDS  Informatique dans les nuages  Informatique en nuages  Ingénierie dirigée par les modèles  Intelligence artificielle  IoT  Jini  Langages de programmation -- Sémantique  Logique temporelle  MapReduce  Micro-cloud  Migration  Mobiles  Model checking  Modèle checking  Modèle de corrélation  Méthode formelle  Méthodes formelles  Méthodes formelles  Ndn  Nuage informatique  Orchestration  Orchestration de services  Organisation  Parallélisme  Petri, Réseaux de  Pi-calcul  Pi-graphes  Preuve de propriétés  Processus léger  Programmation fonctionnelle  Programmation parallèle  Propriétés temporelles  Prototypage  Prototypage  Préservation de la sémantique  Réseau  Réseaux d'ordinateurs -- Mesures de sûreté  Section atomique  Simulation par ordinateur  Spécification  Spécifications formelles  Structures de données  Surveillance logicielle  Systèmes adaptatifs  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Sécurité  Sémantique formelle  Sémantique opérationnelle  Tolérance aux fautes  Trace de programme  Verrou  Virtualisation  Vérification de modèles  

Fabrice Mourlin a rédigé la thèse suivante :


Fabrice Mourlin dirige actuellement les 3 thèses suivantes :

Informatique
En préparation depuis le 25-11-2016
Thèse en préparation


Fabrice Mourlin a dirigé les 5 thèses suivantes :

Signal, Image, Automatique
Soutenue le 29-11-2014
Thèse soutenue

Fabrice Mourlin a été rapporteur des 4 thèses suivantes :