Adaptation dynamique  Algorithme réparti  Algorithmes  Algorithmes globaux  Algorithmes incrémentaux  Alimentation en énergie  Applications  Architecture Orientée Service  Aspects non fonctionnels  Auto-stabilisation  Automates  Autostabilisation  Aéronautique -- Recherche  Circuits asynchrones  Circuits intégrés  Circuits intégrés à faible consommation  Commande en temps réel  Composant  Composants  Compositionnel  Conception et vérification de faible consommation  Contracts et Spécifications  Contrôle global  Convergence sûre  Cryptographie  Determinisme  Domaines d’alimentation  Ensemble k-dominant  Espace d'addressage enchevetré  Estimation de performance  Gestion mémoire  Graphes temporises  Informatique  Injection de fautes  Internet des objets  Invariant  Jumeaux numériques  K-partitionnement  L'auteur n'a pas fourni de mots-clés en français  Linux  Logique temporelle  Many-Core  Microprocesseurs multi-coeurs  Modèle de Composants  Modèle de cache d'instruction  Modèles d'entité  Modèles transactionnels  Modélisation  Modélisation au Niveau Transactionnel  Modélisation des données  Multi-Core  Multi-langages  Niveau transactionnel  Niveaux d'abstraction  Non fourni  Normes  Normes de conception basse consommation  OSGi  Optimisation de consommation d'énergie  Ordonnancement  Partitionnement de graphes  Programmation en temps réel  Programmation synchrone  Protocoles de réseaux d'ordinateurs  Représentation intermédiaire  Réseaux de capteurs  Réseaux de capteurs  Simulation  Simulation Précoce  Simulation comportementale  Simulation par ordinateur  Soa  Solution de gestion d’énergie éfficace en énergie  Solveurs  Structures de données  Stubbing  Support materiel à la virtualization  SystemC  Systemes reactifs  Systèmes d'exploitation  Systèmes embarqués  Systèmes embarqués  Systèmes et logiciels  Systèmes homme-machine  Systèmes informatiques -- Mesures de sûreté  Systèmes intégrés  Systèmes sur puce  Systèmes sur Puce  Systèmes sur puce  Systèmes sur puce au niveau transactionnel  Systèmes transactionnels  Systèmes virtuels  Systèmes-sur-Puce  Systèmes-sur-puce  Sémantique  Sération des préoccupations , Thèses et écrits académiques  TLM , Synchronisation , Thèses et écrits académiques  TLM  Temps réel  Temps réel  Temps-Réel  Temps-réel  Thèses et écrits académiques  Tolérance aux fautes  Traduction automatique  Traduction binaire dynamique  Traitement réparti  VLIW  Verification formelle  Villes intelligentes  Vliw  Vérification  Vérification Basée sur Assertions  Vérification de modèles  Web sémantique  Évolution du logiciel  

Florence Maraninchi a rédigé la thèse suivante :


Florence Maraninchi dirige actuellement la thèse suivante :

Informatique
En préparation depuis le 22-01-2019
Thèse en préparation


Florence Maraninchi a dirigé les 14 thèses suivantes :


Florence Maraninchi a été président de jury des 8 thèses suivantes :

Informatique
Soutenue le 09-03-2016
Thèse soutenue


Florence Maraninchi a été rapporteur de la thèse suivante :


Florence Maraninchi a été membre de jury des 2 thèses suivantes :