现有科研组 :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
以前科研组 :	SALSA SPIRAL AnimatLab MALIRE SPI REGAL
以前研究课题 :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

• PETRETO Andrea : “Débruitage Vidéo Temps Réel pour Systèmes Embarqués”, 责任导师 Lionel LACASSAGNE, 答辩 2020-6-29.
• BREJON Jean-Baptiste : “Quantification de la sécurité des applications en présence d'attaques physiques et détection de chemins d'attaques”, 责任导师 Karine HEYDEMANN, Emmanuelle ENCRENAZ, 答辩 2020-6-26.
• AIT ABA Massinissa : “Optimisation de l’énergie et de la performance d’applications sur des micro-servers hétérogènes”, 责任导师 Alix MUNIER, 答辩 2020-6-4.
• LEMAITRE Florian : “Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb”, 责任导师 Lionel LACASSAGNE, 答辩 2019-2-13.
• CARRASCAL MANZANARES Carlos : “Parallélisation d’un code éléments finis spectraux. Application au contrôle non destructif par ultrasons”, 责任导师 Lionel LACASSAGNE, 答辩 2019-2-8.
• DEVIGNE Clément : “Execution sécurisée d'applications sur plate-forme many-cores”, 责任导师 Alain GREINER, 答辩 2017-7-6.
• LESPARRE Youen : “Évaluation de l'affectation des tâches sur une architecture à mémoire distribuée pour des modèles flot de données”, 责任导师 Alix MUNIER, 答辩 2017-3-2.
• KARAOUI Mohamed : “Système de fichiers scalable pour architectures manycores à faible empreinte énergétique”, 责任导师 Alain GREINER, 答辩 2016-6-28.
• CARLIER Aurélien : “Optimal design of a one-way carsharing system including electric vehicles”, 责任导师 Alix MUNIER, 答辩 2016-6-27.
• LIU Hao : “Protocoles scalables de cohérence des caches pour processeurs manycore à espace d'adressage partagé visant la basse consommation”, 责任导师 Alain GREINER, 答辩 2016-1-27.
• FUGUET TORTOLERO Cesar : “Introduction of fault-tolerance mechanisms for permanent failures in coherent shared-memory many-core architectures”, 责任导师 Alain GREINER, 答辩 2015-11-25.
• DREBES Andi : “Dynamic optimization of data-flow task-parallel applications for large-scale NUMA systems”, 责任导师 Nathalie DRACH-TEMAM, 答辩 2015-6-25.
• MORO Nicolas : “Security of assembly programs against fault attacks on embedded processors”, 责任导师 Emmanuelle ENCRENAZ, 答辩 2014-11-13.
• HUJSA Thomas : “Contribution to the study of weighted Petri nets”, 责任导师 Alix MUNIER, 答辩 2014-10-29.
• ZINE EL ABIDINE Khouloud : “Méthode de prototypage virtuel permettant l’évaluation précoce de la consommation énergétique dans les systèmes intégrés sur puce”, 责任导师 Alain GREINER, 答辩 2014-10-16.
• ALMALESS Ghassan : “Operating System Design and Implementation for Single-Chip cc-NUMA Many-Core”, 责任导师 Alain GREINER, 答辩 2014-2-27.
• BODIN Bruno : “Analyse d’Applications Flot de Données pour la Compilation Multiprocesseur”, 责任导师 Alix MUNIER, 答辩 2013-12-20.
• GIOJA Hermann : “Transaction level modeling with distributed time and released synchronization techniques in order to parallely simulate many-core architectures”, 责任导师 Alain GREINER, 答辩 2013-12-16.
• SYED-ALWI Syed-Hussein : “Vérification compositionnelle pour la conception sure de systèmes embarqués”, 责任导师 Emmanuelle ENCRENAZ, 答辩 2013-7-11.
• VIEIRA DE MELLO Aline : “TLM-DT: a Modeling Strategy based on Distributed Time for Parallel Simulation of Virtual MP2SoC Platforms on SMP Workstations”, 责任导师 Alain GREINER, 答辩 2013-6-25.
• GUTHMULLER Eric : “Adaptive cache architecture exploiting 3D stacking technologies in a manycore context”, 责任导师 Alain GREINER, 答辩 2013-4-11.
• GAMOUDI Oussama : “Optimisation adaptative appliquée au préchargement de données”, 责任导师 Nathalie DRACH-TEMAM, 答辩 2012-7-3.
• BENAZOUZ Mohamed : “Dimensionnement des Mémoires dans les Applications de Traitement de Flux de Données”, 责任导师 Alix MUNIER, 答辩 2012-4-13.
• PLOUVIEZ Geoffrey : “Etude, spécification, vérification formelle de mécanismes de virtualisation sécurisés pour architecture many-cores”, 责任导师 Alain GREINER, 答辩 2012-1-19.
• MAIA PESSOA Isaac : “no title”, 责任导师 Alain GREINER, 答辩 2011-10-25.
• OZAKTAS Haluk : “Compression de code et optimisation multicritère des systèmes embarqués dans un contexte temps réel strict”, 责任导师 Nathalie DRACH-TEMAM, 答辩 2011-9-29.
• NGUYEN Minh Huu : “Sécurisation de processeurs vis-à-vis des attaques par faute et par analyse de la consommation”, 责任导师 Nathalie DRACH-TEMAM, 答辩 2011-9-21.
• GAO Yang : “Generic cache controller for a massively parallel manycore architecture with coherent shared memory”, 责任导师 Alain GREINER, 答辩 2011-6-28.
• ZHANG Zhen : “On the field Detection, De-activation and Reconfiguration (ODDR) mechanism for Permanent Fault-Tolerance of Network-on-Chip”, 责任导师 Alain GREINER, 答辩 2011-6-27.
• PORQUET Joël : “Architecture de sécurité pour systèmes multiprocesseurs intégrés sur puce”, 责任导师 Alain GREINER, 答辩 2010-12-13.
• BECOULET Alexandre : “Conception d'un système d'exploitation supportant nativement les”, 责任导师 Alain GREINER, 答辩 2010-9-28.
• ROSIÈRE Mathieu : “MORPHEO : Processeur ouvert, haute performance, paramétrable et pérenne pour plate-forme de confiance”, 责任导师 Nathalie DRACH-TEMAM, 答辩 2010-6-28.
• TAKTAK Sami : “Détection des interblocages dans les réseaux sur puce”, 责任导师 Emmanuelle ENCRENAZ, 答辩 2009-1-30.
• VIAUD Emmanuel : “Modélisation SystemC d'architectures multi-processeurs intégrées sur puce”, 责任导师 Alain GREINER, 答辩 2009-1-27.
• MIRO PANADES Ivan : “Conception et implantation d'un micro-réseau sur puce avec garantie de service”, 责任导师 Alain GREINER, 答辩 2008-5-20.
• SHEIBANYRAD Hamed : “Implémentation Asynchrone d'un Réseau-sur-Puce Distribué”, 责任导师 Alain GREINER, 答辩 2008-3-19.
• COVELIERS Alexandre : “Sensibilité aux jeux de données de la compilation itérative”, 责任导师 Nathalie DRACH-TEMAM, 答辩 2007-9-24.
• TUNA Matthieu : “Auto-test logiciel des systèmes intégrés sur Puce (SoC)”, 责任导师 Mounir BENABDENBI, 答辩 2007-6-1.
• BRAUNSTEIN Cécile : “Conception Incrémentale, Vérification de Composants Matériels et Méthode d'Abstraction pour Vérification de Systèmes Intégrés sur Puce”, 责任导师 Emmanuelle ENCRENAZ, 答辩 2007-5-14.
• FAURE Etienne : “Communications matériel/logiciel dans les ystèmes sur puce multi-processeurs orientés télécommunications”, 责任导师 Alain GREINER, 答辩 2007-4-27.
• BEAUDENON Vincent : “Diarammes de décision de données pour la vérification de systemes matériels”, 责任导师 Emmanuelle ENCRENAZ, 答辩 2006-12-13.
• BUCHMANN Richard : “Accélaration de la simulation de systèmes sur puce par transformation de modèles au niveau tranfert entre registres en modèles précis au cycle”, 责任导师 Alain GREINER, 答辩 2006-12-5.
• GOMEZ Pascal : “Outils pour le déploiement d'applications avec des contraintes de temps réel sur des multiprocesseurs sur puces”, 责任导师 Frédéric PÉTROT, 答辩 2006-6-2.
• ANDRIAHANTENAINA Adrijean : “Implémentation matérielle d'un micro-réseau SPIN à 32 ports”, 责任导师 Alain GREINER, 答辩 2006-1-31.
• CHARLERY Hervé : “Intégration d'un micro-réseau à commutation de paquets dans un système multiprocesseur à mémoire partagée intégré sur puce”, 责任导师 Alain GREINER, 答辩 2005-12-9.
• DONNET Francois : “Synthèse de co-processeurs pour systèmes intégrés”, 责任导师 Ivan AUGE, 答辩 2004-1-20.