AUTOSAR  Algorithme évolutionniste  Algorithmes globaux  Algorithmes incrémentaux  Algorithmes équitables  Allocation des ressources  Analyse Pire Cas  Applications temps réel  Architecture des réseaux d'ordinateurs  Avionique  Avionique modulaire intégrée  Aéronautique -- Recherche  Cadre de l'architecture automobile  Certification incrémentale  Commande de processus  Compression sans perte LZW  Compteurs de performance  Correcte par construction  Criticité mixte  Determinisme  Déterminisme  Développement  EAST-ADL2  Embarqué  Ethernet  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  Maillé  Many-Core  Microprocesseurs multi-coeurs  Model checking  Modèle haut niveau  Modèle à base de composants  Multi-Core  Multi-coeur  Multi-cœurs  Multicoeur  Multiprocesseur  Multiprocesseurs  Méthode Pire-Cas  Méthodes formelles  Méthodes formelles  Optimisation  Ordonnancement  Ordonnancement  Ordonnancement temps-réel  Paradigme time-triggered  Partitionnement  Placement  Pluri-Coeurs  Prelude  Processeur  Processeur multi-coeurs  Programmation en temps réel  Prédictibilité  Qualité de service  Réseau  Réseaux  SDF>G  SDN  SMT  Safety-critical  Simulink  Synthd'architecturesèse  SysML  Système temps réel  Systèmes adaptatifs  Systèmes automobiles  Systèmes de commande  Systèmes distribués  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Pannes  Systèmes informatiques  Systèmes temps réel  Systèmes temps réels embarqués  Systèmes virtuels  Systèmes à criticité multiple  Sûreté de fonctionnement  Temps budget  Temps réel  Temps réel  Temps-Réel  Threads  Tolérance aux fautes  Transformations source-à-source  UML  Virtualisation  Vérification formelle  WCET  Éthernet  

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

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


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 6 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 6 thèses suivantes :

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