		LIFC - Seminars Scheduling Associative Reductions with Overlapping Transfers and Computation Tradeoff exploration between reliability, power consumption and execution time VÃ©rification formelle de protocoles de routage sÃ©curisÃ©s version anglaise Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata Vertus et vices de la plateforme dynamique de services OSGi Test Generation in Asynchronously Communicating Systems SAGE : Whitebox Fuzzing for Security Testing ModÃ¨les Ã base d'Ã©quations aux dÃ©rivÃ©es partielles Rewrite and Transformation of two-scale Models DÃ©veloppements de procÃ©dÃ©s technologiques pour la rÃ©alisation d'une matrice de micro-actionneurs distribuÃ©s Quantifying opacity EASY meta-programming using Rascal and rapid IDE construction using IMP "Traffic-aware topology reconfiguration for on-chip networks" Kmelia, un modÃ¨le pour la spÃ©cification formelle de composants et de services Recherche locale "guidÃ©e par position" pour la coloration de graphe Ressource Allocation StratÃ©gies for Multiple Concurrent In-network Stream Processing Applications Gestion de la qualitÃÂ© de service par adaptation en dÃÂ©ploiement de composants en environnement contraint. Flottes sÃÂ©curisÃÂ©es de terminaux mobilres communicants : contexte, problÃÂ¨mes et premiers rÃÂ©sultats Ordonnancement, pÃ©riode et dÃ©pendances The price of distribution Embedded Systems Design ÃÂÃÂ¢ÃÂÃÂÃÂÃÂ Scientific Challenges and Work Directions Programmable self-assembly for microsystem integration SAUTS pour SAT Distributed Shunted Piezoelectric Patches for Control of Wave Propagation Fusion d'informations et coopÃ©ration homme/machine Conception de solutions pour les grilles et les rÃ©seaux pair-Ã -pair dans des environnements dynamiques ParallÃ©lisation de traitements de flux sur des systÃ¨mes embarquÃ©s Handling collusion in desktop grid PPF Midi Automatisation du test de logiciels embarquÃ©s dans le domaine de l'avionique DÃ©veloppement et analyses et systÃ¨mes embarquÃ©s Version anglaise - Ãtudes en recherche locale adaptative pour l'optimisation Traces dÂinteraction en ligne : vers un partage des corpus, outils et analyses N/A Version anglaise N/A Version anglaise Version anglaise - Un modÃ¨le pour les systÃ¨mes rÃ©partis auto-stabilisants VA