| Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Anciennes équipes : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
| Anciens thèmes : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- OUDRHIRI Ali :
“Performance d'une architecture d'accélérateur de réseau neuronal et son optimisation à l'aide d'une approche basée sur un pipeline”,
direction de recherche Alix MUNIER,
soutenance 20/12/2023. - ROMERA Thomas : “Adéquation algorithme architecture pour flot optique sur GPU embarqué”, direction de recherche Lionel LACASSAGNE, soutenance 13/10/2023.
- DUCOUSSO Rieul : “Sécurisation des accès aux périphériques et depuis les périphériques dans une architecture multicoques RISC-V utilisée pour la virtualisation”, direction de recherche Emmanuelle ENCRENAZ, soutenance 15/03/2023.
- TANG Ning : “Etude de cas d'un problème d'ordonnancement pour l'automobile”, direction de recherche Alix MUNIER, soutenance 28/11/2022.
- HENNEQUIN Arthur : “Optimisation de performance pour l'expérience LHCb ”, direction de recherche Lionel LACASSAGNE, soutenance 31/01/2022.
- BEN EL OUAHMA Ines : “Analyse de robustesse et sécurisation de codes assembleur contre les attaques physiques”, direction de recherche Emmanuelle ENCRENAZ, soutenance 07/04/2021.
- VU Son Tuan : “Préservation des propriétés dans un flot de compilation optimisant”, direction de recherche Karine HEYDEMANN, soutenance 02/04/2021.
- PETRETO Andrea : “Débruitage Vidéo Temps Réel pour Systèmes Embarqués”, direction de recherche Lionel LACASSAGNE, soutenance 29/06/2020.
- BREJON Jean-Baptiste : “Quantification de la sécurité des applications en présence d'attaques physiques et détection de chemins d'attaques”, direction de recherche Karine HEYDEMANN, Emmanuelle ENCRENAZ, soutenance 26/06/2020.
- AIT ABA Massinissa : “Optimisation de l’énergie et de la performance d’applications sur des micro-servers hétérogènes”, direction de recherche Alix MUNIER, soutenance 04/06/2020.
- LEMAITRE Florian : “Optimisation et transformations d'algorithmes pour l'expérience LHCb”, direction de recherche Lionel LACASSAGNE, soutenance 13/02/2019.
- CARRASCAL MANZANARES Carlos : “Parallélisation d’un code éléments finis spectraux. Application au contrôle non destructif par ultrasons”, direction de recherche Lionel LACASSAGNE, soutenance 08/02/2019.
- DEVIGNE Clément : “Execution sécurisée d'applications sur plate-forme many-cores”, direction de recherche Alain GREINER, soutenance 06/07/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”, direction de recherche Alix MUNIER, soutenance 02/03/2017.
- KARAOUI Mohamed : “Système de fichiers scalable pour architectures manycores à faible empreinte énergétique”, direction de recherche Alain GREINER, soutenance 28/06/2016.
- CARLIER Aurélien : “Optimisation d'un éco-système de transport multimodal pour les grandes agglomérations urbaines”,
direction de recherche Alix MUNIER,
soutenance 27/06/2016.
- LIU Hao : “Protocoles scalables de cohérence des caches pour processeurs manycore à espace d'adressage partagé visant la basse consommation”, direction de recherche Alain GREINER, soutenance 27/01/2016.
- FUGUET TORTOLERO Cesar : “Introduction de mécanismes de tolérance aux pannes franches dans les architectures de processeur many-core à mémoire partagée cohérente”,
direction de recherche Alain GREINER,
soutenance 25/11/2015.
- DREBES Andi : “Parallélisation adaptative pour les applications embarquées haute-performance”, direction de recherche Nathalie DRACH-TEMAM, soutenance 25/06/2015.
- MORO Nicolas : “Sécurisation de programmes assembleur face aux attaques visant les processeurs embarqués”, direction de recherche Emmanuelle ENCRENAZ, soutenance 13/11/2014.
- HUJSA Thomas : “Contribution à l'étude des réseaux de Petri généralisés”,
direction de recherche Alix MUNIER,
soutenance 29/10/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”, direction de recherche Alain GREINER, soutenance 16/10/2014.
- ALMALESS Ghassan : “Conception d'un système d'exploitation pour une architecture many-cores à mémoire partagée cohérente de type cc-NUMA”, direction de recherche Alain GREINER, soutenance 27/02/2014.
- BODIN Bruno : “Analyse d’Applications Flot de Données pour la Compilation Multiprocesseur”, direction de recherche Alix MUNIER, soutenance 20/12/2013.
- GIOJA Hermann : “Techniques de modélisation transactionnelle en temps distribué avec synchronisation relâchée pour la simulation parallèle d'architectures many-core”, direction de recherche Alain GREINER, soutenance 16/12/2013.
- SYED-ALWI Syed-Hussein : “Vérification compositionnelle pour la conception sure de systèmes embarqués”, direction de recherche Emmanuelle ENCRENAZ, soutenance 11/07/2013.
- VIEIRA DE MELLO Aline : “Architectures de micro-réseaux intégrés sur puce dans le systhèmes multi-processeurs massivement parallèles”, direction de recherche Alain GREINER, soutenance 25/06/2013.
- GUTHMULLER Eric : “Architecture adaptative de mémoire cache exploitant les techniques d'empilement tridimensionnel dans le contexte des multiprocesseurs intégrés sur puce”, direction de recherche Alain GREINER, soutenance 11/04/2013.
- GAMOUDI Oussama : “Optimisation adaptative appliquée au préchargement de données”, direction de recherche Nathalie DRACH-TEMAM, soutenance 03/07/2012.
- BENAZOUZ Mohamed : “Dimensionnement des Mémoires dans les Applications de Traitement de Flux de Données”, direction de recherche Alix MUNIER, soutenance 13/04/2012.
- PLOUVIEZ Geoffrey : “Etude, spécification, vérification formelle de mécanismes de virtualisation sécurisés pour architecture many-cores”, direction de recherche Alain GREINER, soutenance 19/01/2012.
- MAIA PESSOA Isaac : “Simulation Parallèle de Systèmes Multi-Processeurs Intégrés sur Puce Modélisés en SystemC au Niveau Transactionnel”,
direction de recherche Alain GREINER,
soutenance 25/10/2011.
- OZAKTAS Haluk : “Compression de code et optimisation multicritère des systèmes embarqués dans un contexte temps réel strict”, direction de recherche Nathalie DRACH-TEMAM, soutenance 29/09/2011.
- NGUYEN Minh Huu : “Sécurisation de processeurs vis-à-vis des attaques par faute et par analyse de la consommation”, direction de recherche Nathalie DRACH-TEMAM, soutenance 21/09/2011.
- GAO Yang : “Contrôleur de cache générique pour une architecture manycores massivement parallèle à mémoire partagée cohérente”, direction de recherche Alain GREINER, soutenance 28/06/2011.
- ZHANG Zhen : “Détection des pannes franches et reconfiguration automatique dans un micro-réseau intégré sur puce”, direction de recherche Alain GREINER, soutenance 27/06/2011.
- PORQUET Joël : “Architecture de sécurité pour systèmes multiprocesseurs intégrés sur puce”, direction de recherche Alain GREINER, soutenance 13/12/2010.
- BECOULET Alexandre : “Conception d'un système d'exploitation supportant nativement les”, direction de recherche Alain GREINER, soutenance 28/09/2010.
- ROSIÈRE Mathieu : “MORPHEO : Processeur ouvert, haute performance, paramétrable et pérenne pour plate-forme de confiance”, direction de recherche Nathalie DRACH-TEMAM, soutenance 28/06/2010.
- TAKTAK Sami : “Détection des interblocages dans les réseaux sur puce”, direction de recherche Emmanuelle ENCRENAZ, soutenance 30/01/2009.
- VIAUD Emmanuel : “Modélisation SystemC d'architectures multi-processeurs intégrées sur puce”, direction de recherche Alain GREINER, soutenance 27/01/2009.
- MIRO PANADES Ivan : “Conception et implantation d'un micro-réseau sur puce avec garantie de service”, direction de recherche Alain GREINER, soutenance 20/05/2008.
- SHEIBANYRAD Hamed : “Implémentation Asynchrone d'un Réseau-sur-Puce Distribué”, direction de recherche Alain GREINER, soutenance 19/03/2008.
- COVELIERS Alexandre : “Sensibilité aux jeux de données de la compilation itérative”, direction de recherche Nathalie DRACH-TEMAM, soutenance 24/09/2007.
- TUNA Matthieu : “Auto-test logiciel des systèmes intégrés sur Puce (SoC)”, direction de recherche Mounir BENABDENBI, soutenance 01/06/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”, direction de recherche Emmanuelle ENCRENAZ, soutenance 14/05/2007.
- FAURE Etienne : “Communications matériel/logiciel dans les ystèmes sur puce multi-processeurs orientés télécommunications”, direction de recherche Alain GREINER, soutenance 27/04/2007.
- BEAUDENON Vincent : “Diarammes de décision de données pour la vérification de systemes matériels”, direction de recherche Emmanuelle ENCRENAZ, soutenance 13/12/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”, direction de recherche Alain GREINER, soutenance 05/12/2006.
- GOMEZ Pascal : “Outils pour le déploiement d'applications avec des contraintes de temps réel sur des multiprocesseurs sur puces”, direction de recherche Frédéric PÉTROT, soutenance 02/06/2006.
- ANDRIAHANTENAINA Adrijean : “Implémentation matérielle d'un micro-réseau SPIN à 32 ports”, direction de recherche Alain GREINER, soutenance 31/01/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”, direction de recherche Alain GREINER, soutenance 09/12/2005.
- DONNET Francois : “Synthèse de co-processeurs pour systèmes intégrés”, direction de recherche Ivan AUGE, soutenance 20/01/2004.