Forschungsgruppen zur Zeit : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ehemalige Forschungsgruppen : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
Ehemalige Themen : | 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”, forschungsleitung (direction de recherche) Alix MUNIER, verteidigung einer doktorarbeit 20.12.2023.
- ROMERA Thomas : “Algorithm-Architecture Adaptation for Optical Flow on Embedded GPUs”, forschungsleitung (direction de recherche) Lionel LACASSAGNE, verteidigung einer doktorarbeit 13.10.2023.
- DUCOUSSO Rieul : “Securing access to and from devices in a RISC-V multicore architecture used for virtualization”, forschungsleitung (direction de recherche) Emmanuelle ENCRENAZ, verteidigung einer doktorarbeit 15.03.2023.
- TANG Ning : “Fixed parameter tractibility of UET-UCT scheduling problems”, forschungsleitung (direction de recherche) Alix MUNIER, verteidigung einer doktorarbeit 28.11.2022.
- HENNEQUIN Arthur : “Performance optimisation for the LHCb experiment”, forschungsleitung (direction de recherche) Lionel LACASSAGNE, verteidigung einer doktorarbeit 31.01.2022.
- BEN EL OUAHMA Ines : “Analyse de robustesse et sécurisation de codes assembleur contre les attaques physiques”, forschungsleitung (direction de recherche) Emmanuelle ENCRENAZ, verteidigung einer doktorarbeit 07.04.2021.
- VU Son Tuan : “Préservation des propriétés dans un flot de compilation optimisant”, forschungsleitung (direction de recherche) Karine HEYDEMANN, verteidigung einer doktorarbeit 02.04.2021.
- PETRETO Andrea : “Débruitage Vidéo Temps Réel pour Systèmes Embarqués”, forschungsleitung (direction de recherche) Lionel LACASSAGNE, verteidigung einer doktorarbeit 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”, forschungsleitung (direction de recherche) Karine HEYDEMANN, Emmanuelle ENCRENAZ, verteidigung einer doktorarbeit 26.06.2020.
- AIT ABA Massinissa : “Optimisation de l’énergie et de la performance d’applications sur des micro-servers hétérogènes”, forschungsleitung (direction de recherche) Alix MUNIER, verteidigung einer doktorarbeit 04.06.2020.
- LEMAITRE Florian : “Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb”, forschungsleitung (direction de recherche) Lionel LACASSAGNE, verteidigung einer doktorarbeit 13.02.2019.
- CARRASCAL MANZANARES Carlos : “Parallélisation d’un code éléments finis spectraux. Application au contrôle non destructif par ultrasons”, forschungsleitung (direction de recherche) Lionel LACASSAGNE, verteidigung einer doktorarbeit 08.02.2019.
- DEVIGNE Clément : “Execution sécurisée d'applications sur plate-forme many-cores”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 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”, forschungsleitung (direction de recherche) Alix MUNIER, verteidigung einer doktorarbeit 02.03.2017.
- KARAOUI Mohamed : “Système de fichiers scalable pour architectures manycores à faible empreinte énergétique”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 28.06.2016.
- CARLIER Aurélien : “Optimal design of a one-way carsharing system including electric vehicles”, forschungsleitung (direction de recherche) Alix MUNIER, verteidigung einer doktorarbeit 27.06.2016.
- LIU Hao : “Protocoles scalables de cohérence des caches pour processeurs manycore à espace d'adressage partagé visant la basse consommation”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 27.01.2016.
- FUGUET TORTOLERO Cesar : “Introduction of fault-tolerance mechanisms for permanent failures in coherent shared-memory many-core architectures”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 25.11.2015.
- DREBES Andi : “Dynamic optimization of data-flow task-parallel applications for large-scale NUMA systems”, forschungsleitung (direction de recherche) Nathalie DRACH-TEMAM, verteidigung einer doktorarbeit 25.06.2015.
- MORO Nicolas : “Security of assembly programs against fault attacks on embedded processors”, forschungsleitung (direction de recherche) Emmanuelle ENCRENAZ, verteidigung einer doktorarbeit 13.11.2014.
- HUJSA Thomas : “Contribution to the study of weighted Petri nets”, forschungsleitung (direction de recherche) Alix MUNIER, verteidigung einer doktorarbeit 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”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 16.10.2014.
- ALMALESS Ghassan : “Operating System Design and Implementation for Single-Chip cc-NUMA Many-Core”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 27.02.2014.
- BODIN Bruno : “Analyse d’Applications Flot de Données pour la Compilation Multiprocesseur”, forschungsleitung (direction de recherche) Alix MUNIER, verteidigung einer doktorarbeit 20.12.2013.
- GIOJA Hermann : “Transaction level modeling with distributed time and released synchronization techniques in order to parallely simulate many-core architectures”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 16.12.2013.
- SYED-ALWI Syed-Hussein : “Vérification compositionnelle pour la conception sure de systèmes embarqués”, forschungsleitung (direction de recherche) Emmanuelle ENCRENAZ, verteidigung einer doktorarbeit 11.07.2013.
- VIEIRA DE MELLO Aline : “TLM-DT: a Modeling Strategy based on Distributed Time for Parallel Simulation of Virtual MP2SoC Platforms on SMP Workstations”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 25.06.2013.
- GUTHMULLER Eric : “Adaptive cache architecture exploiting 3D stacking technologies in a manycore context”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 11.04.2013.
- GAMOUDI Oussama : “Optimisation adaptative appliquée au préchargement de données”, forschungsleitung (direction de recherche) Nathalie DRACH-TEMAM, verteidigung einer doktorarbeit 03.07.2012.
- BENAZOUZ Mohamed : “Dimensionnement des Mémoires dans les Applications de Traitement de Flux de Données”, forschungsleitung (direction de recherche) Alix MUNIER, verteidigung einer doktorarbeit 13.04.2012.
- PLOUVIEZ Geoffrey : “Etude, spécification, vérification formelle de mécanismes de virtualisation sécurisés pour architecture many-cores”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 19.01.2012.
- MAIA PESSOA Isaac : “no title”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 25.10.2011.
- OZAKTAS Haluk : “Compression de code et optimisation multicritère des systèmes embarqués dans un contexte temps réel strict”, forschungsleitung (direction de recherche) Nathalie DRACH-TEMAM, verteidigung einer doktorarbeit 29.09.2011.
- NGUYEN Minh Huu : “Sécurisation de processeurs vis-à-vis des attaques par faute et par analyse de la consommation”, forschungsleitung (direction de recherche) Nathalie DRACH-TEMAM, verteidigung einer doktorarbeit 21.09.2011.
- GAO Yang : “Generic cache controller for a massively parallel manycore architecture with coherent shared memory”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 28.06.2011.
- ZHANG Zhen : “On the field Detection, De-activation and Reconfiguration (ODDR) mechanism for Permanent Fault-Tolerance of Network-on-Chip”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 27.06.2011.
- PORQUET Joël : “Architecture de sécurité pour systèmes multiprocesseurs intégrés sur puce”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 13.12.2010.
- BECOULET Alexandre : “Conception d'un système d'exploitation supportant nativement les”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 28.09.2010.
- ROSIÈRE Mathieu : “MORPHEO : Processeur ouvert, haute performance, paramétrable et pérenne pour plate-forme de confiance”, forschungsleitung (direction de recherche) Nathalie DRACH-TEMAM, verteidigung einer doktorarbeit 28.06.2010.
- TAKTAK Sami : “Détection des interblocages dans les réseaux sur puce”, forschungsleitung (direction de recherche) Emmanuelle ENCRENAZ, verteidigung einer doktorarbeit 30.01.2009.
- VIAUD Emmanuel : “Modélisation SystemC d'architectures multi-processeurs intégrées sur puce”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 27.01.2009.
- MIRO PANADES Ivan : “Conception et implantation d'un micro-réseau sur puce avec garantie de service”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 20.05.2008.
- SHEIBANYRAD Hamed : “Implémentation Asynchrone d'un Réseau-sur-Puce Distribué”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 19.03.2008.
- COVELIERS Alexandre : “Sensibilité aux jeux de données de la compilation itérative”, forschungsleitung (direction de recherche) Nathalie DRACH-TEMAM, verteidigung einer doktorarbeit 24.09.2007.
- TUNA Matthieu : “Auto-test logiciel des systèmes intégrés sur Puce (SoC)”, forschungsleitung (direction de recherche) Mounir BENABDENBI, verteidigung einer doktorarbeit 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”, forschungsleitung (direction de recherche) Emmanuelle ENCRENAZ, verteidigung einer doktorarbeit 14.05.2007.
- FAURE Etienne : “Communications matériel/logiciel dans les ystèmes sur puce multi-processeurs orientés télécommunications”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 27.04.2007.
- BEAUDENON Vincent : “Diarammes de décision de données pour la vérification de systemes matériels”, forschungsleitung (direction de recherche) Emmanuelle ENCRENAZ, verteidigung einer doktorarbeit 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”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 05.12.2006.
- GOMEZ Pascal : “Outils pour le déploiement d'applications avec des contraintes de temps réel sur des multiprocesseurs sur puces”, forschungsleitung (direction de recherche) Frédéric PÉTROT, verteidigung einer doktorarbeit 02.06.2006.
- ANDRIAHANTENAINA Adrijean : “Implémentation matérielle d'un micro-réseau SPIN à 32 ports”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 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”, forschungsleitung (direction de recherche) Alain GREINER, verteidigung einer doktorarbeit 09.12.2005.
- DONNET Francois : “Synthèse de co-processeurs pour systèmes intégrés”, forschungsleitung (direction de recherche) Ivan AUGE, verteidigung einer doktorarbeit 20.01.2004.