AUTOSAR  Algorithme évolutionniste  Algorithmes globaux  Algorithmes incrémentaux  Algorithmes équitables  Allocation des ressources  Analyse Pire Cas  Analyse de temps de communication  Analyse temporelle pire cas  Applications temps réel  Arbitrage dynamique  Architecture  Architecture des réseaux d'ordinateurs  Architecture pluri-œurs  Automobiles -- Systèmes de guidage  Avionique  Avionique modulaire intégrée  Aéronautique -- Recherche  Cadre de l'architecture automobile  Calcul prédictible  Capacités d’adaptation  Certification incrémentale  Chaînes de tâches  Code source  Commande de processus  Commande prédictive  Compression sans perte LZW  Compteurs de performance  Correcte par construction  Criticité mixte  Determinisme  Déterminisme  Développement  EAST-ADL2  Electronnique  Embarqué  Ethernet  Ethernet  Exploration d'architectures  Fdir  Flexibilité  Flux de données  Génie logiciel  Hyperviseur  Ingénierie dirigée par les modèles  Langages de programmation -- Sémantique  Langages de programmation  Logiciel de contrôle  MARTE  MATLAB  MATLAB/SIMULINK  Machine virtuelle  Maillé  Many-Core  Many-coeurs  Microcontrôleurs -- Programmation  Microcontrôleurs  Microprocesseurs multi-coeurs  Model checking  Modes dégradés  Modèle haut niveau  Modèle à base de composants  Modèles à états finis  Multi-Core  Multi-coeur  Multi-coeurs  Multi-cœurs  Multicoeur  Multiplexage  Multiplexage temporel, TDM  Multiprocesseur  Multiprocesseurs  Mémoire  Méthode Pire-Cas  Méthodes formelles  Méthodes formelles  OCaml  Objective Caml  Optimisation  Ordonnancement  Ordonnancement  Ordonnancement temps-réel  Paradigme time-triggered  Partitionnement  Placement  Pluri-Coeurs  Prelude  Preuves  Processeur  Processeur multi-coeurs  Programmation en temps réel  Programmation synchrone  Prédictibilité  Qualité de service  Réseau  Réseau sur puce  Réseaux  Réseaux d'ordinateurs  Réseaux de neurones  Réseaux embarqués  SDF>G  SDN  SMT  Safety-critical  Simulink  Sureté  Synthd'architecturesèse  SysML  Système temps réel  Système à criticité mixte  Systèmes adaptatifs  Systèmes automobiles  Systèmes de commande  Systèmes de transport intelligent  Systèmes distribués  Systèmes d’exploitation temps-réel  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Pannes  Systèmes informatiques  Systèmes multi-critique  Systèmes temps réel  Systèmes temps réels embarqués  Systèmes virtuels  Systèmes à criticité multiple  Sécurité routière  Sûreté  Sûreté de fonctionnement  Temps budget  Temps réel  Temps réel  Temps-Réel  Threads  Time Sensitive Networking  Tolérance aux fautes  Transformations source-à-source  UML  Virtualisation  Véhicules autonomes  Vérification de modèles  Vérification formelle  WCET  Échappatoire  Éthernet  

Claire Pagetti a rédigé la thèse suivante :

Automatique et informatique appliquée
Soutenue en 2004
Thèse soutenue


Claire Pagetti dirige actuellement les 4 thèses suivantes :

Informatique et Télécommunications
En préparation depuis le 01-11-2020
Thèse en préparation

Informatique et Télécommunications
En préparation depuis le 01-12-2019
Thèse en préparation

Informatique et Télécommunications
En préparation depuis le 01-11-2018
Thèse en préparation

Analyse et Contrôle de l’interférence sur une plateforme multi-coeurs

par Nathanael Sensfelder sous la direction de Claire Pagetti et de Julien Brunel . - Toulouse, ISAE

Informatique et Télécommunications
En préparation depuis le 03-10-2017
Thèse en préparation


Claire Pagetti a dirigé les 4 thèses suivantes :

Réseaux, télécom, système et architecture
Soutenue le 19-12-2017
Thèse soutenue
Réseaux, télécom, système et architecture
Soutenue le 25-04-2017
Thèse soutenue

Claire Pagetti a été rapporteur des 12 thèses suivantes :

STIC (Sciences et Technologies de l'Information et de la Communication) - ED EM2PSI
Soutenue le 03-05-2018
Thèse soutenue

Claire Pagetti a été membre de jury des 7 thèses suivantes :

Physique (Systèmes Embarqués)
Soutenue le 10-07-2014
Thèse soutenue