Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former teams : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
Former research topics : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- OUDRHIRI Ali : “Performance of a Neural Network Accelerator Architecture and its Optimization Using a Pipeline-Based Approach”, supervision Alix MUNIER, defence 12/20/2023.
- ROMERA Thomas :
“Algorithm-Architecture Adaptation for Optical Flow on Embedded GPUs”, supervision Lionel LACASSAGNE, defence 10/13/2023.
- DUCOUSSO Rieul :
“Securing access to and from devices in a RISC-V multicore architecture used for virtualization”, supervision Emmanuelle ENCRENAZ, defence 03/15/2023.
- TANG Ning :
“Fixed parameter tractibility of UET-UCT scheduling problems”, supervision Alix MUNIER, defence 11/28/2022.
- HENNEQUIN Arthur :
“Performance optimisation for the LHCb experiment”, supervision Lionel LACASSAGNE, defence 01/31/2022.
- BEN EL OUAHMA Ines :
“Analyse de robustesse et sécurisation de codes assembleur contre les attaques physiques”, supervision Emmanuelle ENCRENAZ, defence 04/07/2021.
- VU Son Tuan :
“Préservation des propriétés dans un flot de compilation optimisant”, supervision Karine HEYDEMANN, defence 04/02/2021.
- PETRETO Andrea :
“Débruitage Vidéo Temps Réel pour Systèmes Embarqués”, supervision Lionel LACASSAGNE, defence 06/29/2020.
- BREJON Jean-Baptiste :
“Quantification de la sécurité des applications en présence d'attaques physiques et détection de chemins d'attaques”, supervision Karine HEYDEMANN, Emmanuelle ENCRENAZ, defence 06/26/2020.
- AIT ABA Massinissa :
“Optimisation de l’énergie et de la performance d’applications sur des micro-servers hétérogènes”, supervision Alix MUNIER, defence 06/04/2020.
- LEMAITRE Florian :
“Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb”, supervision Lionel LACASSAGNE, defence 02/13/2019.
- CARRASCAL MANZANARES Carlos :
“Parallélisation d’un code éléments finis spectraux. Application au contrôle non destructif par ultrasons”, supervision Lionel LACASSAGNE, defence 02/08/2019.
- DEVIGNE Clément :
“Execution sécurisée d'applications sur plate-forme many-cores”, supervision Alain GREINER, defence 07/06/2017.
- LESPARRE Youen :
“Évaluation de l'affectation des tâches sur une architecture à mémoire distribuée pour des modèles flot de données”, supervision Alix MUNIER, defence 03/02/2017.
- KARAOUI Mohamed :
“Système de fichiers scalable pour architectures manycores à faible empreinte énergétique”, supervision Alain GREINER, defence 06/28/2016.
- CARLIER Aurélien : “Optimal design of a one-way carsharing system including electric vehicles”, supervision Alix MUNIER, defence 06/27/2016.
- LIU Hao :
“Protocoles scalables de cohérence des caches pour processeurs manycore à espace d'adressage partagé visant la basse consommation”, supervision Alain GREINER, defence 01/27/2016.
- FUGUET TORTOLERO Cesar : “Introduction of fault-tolerance mechanisms for permanent failures in coherent shared-memory many-core architectures”, supervision Alain GREINER, defence 11/25/2015.
- DREBES Andi :
“Dynamic optimization of data-flow task-parallel applications for large-scale NUMA systems”, supervision Nathalie DRACH-TEMAM, defence 06/25/2015.
- MORO Nicolas :
“Security of assembly programs against fault attacks on embedded processors”, supervision Emmanuelle ENCRENAZ, defence 11/13/2014.
- HUJSA Thomas : “Contribution to the study of weighted Petri nets”, supervision Alix MUNIER, defence 10/29/2014.
- 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”, supervision Alain GREINER, defence 10/16/2014.
- ALMALESS Ghassan :
“Operating System Design and Implementation for Single-Chip cc-NUMA Many-Core”, supervision Alain GREINER, defence 02/27/2014.
- BODIN Bruno :
“Analyse d’Applications Flot de Données pour la Compilation Multiprocesseur”, supervision Alix MUNIER, defence 12/20/2013.
- GIOJA Hermann :
“Transaction level modeling with distributed time and released synchronization techniques in order to parallely simulate many-core architectures”, supervision Alain GREINER, defence 12/16/2013.
- SYED-ALWI Syed-Hussein :
“Vérification compositionnelle pour la conception sure de systèmes embarqués”, supervision Emmanuelle ENCRENAZ, defence 07/11/2013.
- VIEIRA DE MELLO Aline :
“TLM-DT: a Modeling Strategy based on Distributed Time for Parallel Simulation of Virtual MP2SoC Platforms on SMP Workstations”, supervision Alain GREINER, defence 06/25/2013.
- GUTHMULLER Eric :
“Adaptive cache architecture exploiting 3D stacking technologies in a manycore context”, supervision Alain GREINER, defence 04/11/2013.
- GAMOUDI Oussama :
“Optimisation adaptative appliquée au préchargement de données”, supervision Nathalie DRACH-TEMAM, defence 07/03/2012.
- BENAZOUZ Mohamed :
“Dimensionnement des Mémoires dans les Applications de Traitement de Flux de Données”, supervision Alix MUNIER, defence 04/13/2012.
- PLOUVIEZ Geoffrey :
“Etude, spécification, vérification formelle de mécanismes de virtualisation sécurisés pour architecture many-cores”, supervision Alain GREINER, defence 01/19/2012.
- MAIA PESSOA Isaac : “no title”, supervision Alain GREINER, defence 10/25/2011.
- OZAKTAS Haluk :
“Compression de code et optimisation multicritère des systèmes embarqués dans un contexte temps réel strict”, supervision Nathalie DRACH-TEMAM, defence 09/29/2011.
- NGUYEN Minh Huu :
“Sécurisation de processeurs vis-à-vis des attaques par faute et par analyse de la consommation”, supervision Nathalie DRACH-TEMAM, defence 09/21/2011.
- GAO Yang :
“Generic cache controller for a massively parallel manycore architecture with coherent shared memory”, supervision Alain GREINER, defence 06/28/2011.
- ZHANG Zhen :
“On the field Detection, De-activation and Reconfiguration (ODDR) mechanism for Permanent Fault-Tolerance of Network-on-Chip”, supervision Alain GREINER, defence 06/27/2011.
- PORQUET Joël :
“Architecture de sécurité pour systèmes multiprocesseurs intégrés sur puce”, supervision Alain GREINER, defence 12/13/2010.
- BECOULET Alexandre :
“Conception d'un système d'exploitation supportant nativement les”, supervision Alain GREINER, defence 09/28/2010.
- ROSIÈRE Mathieu :
“MORPHEO : Processeur ouvert, haute performance, paramétrable et pérenne pour plate-forme de confiance”, supervision Nathalie DRACH-TEMAM, defence 06/28/2010.
- TAKTAK Sami :
“Détection des interblocages dans les réseaux sur puce”, supervision Emmanuelle ENCRENAZ, defence 01/30/2009.
- VIAUD Emmanuel :
“Modélisation SystemC d'architectures multi-processeurs intégrées sur puce”, supervision Alain GREINER, defence 01/27/2009.
- MIRO PANADES Ivan :
“Conception et implantation d'un micro-réseau sur puce avec garantie de service”, supervision Alain GREINER, defence 05/20/2008.
- SHEIBANYRAD Hamed :
“Implémentation Asynchrone d'un Réseau-sur-Puce Distribué”, supervision Alain GREINER, defence 03/19/2008.
- COVELIERS Alexandre :
“Sensibilité aux jeux de données de la compilation itérative”, supervision Nathalie DRACH-TEMAM, defence 09/24/2007.
- TUNA Matthieu :
“Auto-test logiciel des systèmes intégrés sur Puce (SoC)”, supervision Mounir BENABDENBI, defence 06/01/2007.
- 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”, supervision Emmanuelle ENCRENAZ, defence 05/14/2007.
- FAURE Etienne :
“Communications matériel/logiciel dans les ystèmes sur puce multi-processeurs orientés télécommunications”, supervision Alain GREINER, defence 04/27/2007.
- BEAUDENON Vincent :
“Diarammes de décision de données pour la vérification de systemes matériels”, supervision Emmanuelle ENCRENAZ, defence 12/13/2006.
- 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”, supervision Alain GREINER, defence 12/05/2006.
- GOMEZ Pascal :
“Outils pour le déploiement d'applications avec des contraintes de temps réel sur des multiprocesseurs sur puces”, supervision Frédéric PÉTROT, defence 06/02/2006.
- ANDRIAHANTENAINA Adrijean :
“Implémentation matérielle d'un micro-réseau SPIN à 32 ports”, supervision Alain GREINER, defence 01/31/2006.
- 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”, supervision Alain GREINER, defence 12/09/2005.
- DONNET Francois :
“Synthèse de co-processeurs pour systèmes intégrés”, supervision Ivan AUGE, defence 01/20/2004.