Adaptation dynamique  Algorithme réparti  Algorithmes  Alimentation en énergie  Applications  Architecture  Architecture Orientée Service  Aspects non fonctionnels  Auto-stabilisation  Automates  Autostabilisation  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  Domaines d’alimentation  Ensemble k-dominant  Estimation de performance  Graphes temporises  Informatique  Injection de fautes  Internet des objets  Invariant  K-partitionnement  L'auteur n'a pas fourni de mots-clés en français  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-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 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  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-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  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 01-07-2015
Thèse en préparation


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


Florence Maraninchi a été président de jury des 7 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 :