AADL  AADL  Ada  Adaptabilité  Adaptation  Affectation de priorité  Agilité  Algorithme des k-moyennes  Analyse Pire Cas  Analyse d'impact  Analyse de transformations de modèles  Analyse des temps de réponse  Analyse numérique -- Accélération de la convergence  Antémémoire  Architectes de logiciels  Architecture basée sur les composants  Automobile  Automobiles -- Industrie et commerce  Avionique  Avionique modulaire intégrée  Big Data  CRPD  Classification  Cloud computing  Code source  Cohérence  Cohérence  Commerce électronique  Compteurs de performance  Configurabilité  Consistances des modèles  Consommation d'énergie  Corba  Criticité mixte  Description d'architecture  Données massives  Détection d’évènements complexes  Embarqué  Exploration  Exploration de l’espace des architectures  Exécution multitâche  FUML  Fiabilit?  Fonctionnement multitâche  Graphes imbriqués  Génie logiciel  Générateurs de code source  Génération automatique de code  Génération de code  Hyperviseur  IDM  ISO 26262  Informatique dans les nuages  Ing?nierie dirig?e par les mod?les  Ing?nierie dirig?e par les mod?les,IDM  Ingénierie Dirigée par les Modèles  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles,  Injection de fautes  Intergiciel  Java  Java  Jms  Langage ATL  Langages formels  Logiciel  Logiciel de contrôle  Logiciels -- R?utilisation  Logiciels -- Vérification  Logiciels médiateurs  MARTE  Machines à état  Mesures de sûreté  Microprocesseurs multi-coeurs  Mobilité  Modèle de Plate-forme  Modèle d’exécution  Mom  Multi-coeur  Multiprocesseur  Multiprocesseurs  Mémoire cache  Mémoire partagée répartie  OCL  Optimisation  Oracles de tests model-to-text  Ordonnancement  Ordonnancement  Performance  Petri, Réseaux de  Placement  Pluri-Coeurs  Plus faible précondition  Polyorb  Processeur  Processeur multi-coeurs  Programmation linéaire en nombres entiers  Prédictibilité  Reconfiguration  Reconfiguration  Réparttion  S?ret?  SOA  SOA dirigée par les modèles  Safety-critical  Simulation  Simulation d’ordonnancement  Simulation par ordinateur  Synchronisation entre modèle et code  Système distribué  Système embarqué  Système sur puce  Système temps réel  Systèmes temps réel embarqués  Systèmes Embarqués  Systèmes adaptatifs  Systèmes d'exploitation temps-réel  Systèmes embarqués  Systèmes embarqués  Systèmes repartis  Systèmes sur puce  Systèmes temps réel  Systèmes temps réel critiques distribués  Systèmes temps-réel embarqué  Systèmes virtuels  Sécurité  Sûreté -- Systèmes  Temps réel  Temps réel  Temps réel dur  Temps-Réel  Test  Thèses et écrits académiques  Traitement d'événements  Traitement de flux  Traitement réparti  Transformation  Transformation algébrique de graphe  Transformation de modèle  Traçabilité  UML  UML  Variabilité  Virtualisation  Vérification  Vérification de l’exécution  WCET  Web usage mining  Énergie  Énergies renouvelables  Évènements  

Laurent Pautet a dirigé les 19 thèses suivantes :

Informatique et réseaux
Soutenue en 2005
Thèse soutenue


Laurent Pautet a été président de jury des 6 thèses suivantes :

Informatique et Réseaux
Soutenue le 28-09-2012
Thèse soutenue

Laurent Pautet a été rapporteur des 8 thèses suivantes :

Réseaux, télécom, système et architecture
Soutenue le 25-04-2017
Thèse soutenue
Science et technologie de l'information et de la communication
Soutenue le 23-01-2017
Thèse soutenue
Physique (Systèmes Embarqués)
Soutenue le 10-07-2014
Thèse soutenue

Laurent Pautet a été membre de jury de la thèse suivante :