Renaud Pacalet
Renaud Pacalet dirige actuellement la thèse suivante :
Méthodologie de développement de véhicules autonomes sûrs à partir d'exigences fonctionnelles et non fonctionnelles
par Yasmine Assioua sous la direction de Renaud Pacalet et de Rabéa Ameur-Boulifa . - Institut polytechnique de Paris
Information, communications, électronique
En préparation depuis le 08-01-2020
Renaud Pacalet a dirigé les 11 thèses suivantes :
Latency verification in execution traces of HW/SW partitioning model
par Maysam Zoor sous la direction de Ludovic Apvrille et de Renaud Pacalet . - Institut polytechnique de Paris
Informatique
Soutenue le 08-12-2021
Constraint programming for design space exploration of dataflow applications on multi-bus architectures
par Amna Gharbi sous la direction de Ludovic Apvrille et de Renaud Pacalet . - Institut polytechnique de Paris
Informatique
Soutenue le 10-11-2021
Nouvelles techniques de virtualisation de la mémoire et des entrées-sorties vers les périphériques pour les prochaines générations de centres de traitement de données basés sur des équipements répartis déstructurés
par Maciej Bielski sous la direction de Renaud Pacalet - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 18-03-2019
Protection du contenu des mémoires externes dans les systèmes embarqués, aspect matériel
par Salaheddine Ouaarab sous la direction de Renaud Pacalet et de Guillaume Duc . - Paris, ENST
Electronique et communications
Soutenue le 09-09-2016
UML pour l'exploration de l'espace de conception, la simulation rapide et l'analyse statique
par Daniel Knorreck sous la direction de Renaud Pacalet et de Ludovic Apvrille . - Paris, Télécom ParisTech
Electronique et communications
Soutenue en 2011
Décodeurs LDPC à faible consommation énergétique
par Erick Amador sous la direction de Raymond Knopp et de Renaud Pacalet . - Paris, Télécom ParisTech
Electronique et communications
Soutenue en 2011
Modélisation de haut niveau de systèmes intégrés et estimation de performances : application à une implémentation multi-processeurs de la couche physique d’une station de base LTE
par Chafic Jaber sous la direction de Renaud Pacalet , Ludovic Apvrille et de Amer Baghdadi . - Paris, Télécom ParisTech
Electronique et communications
Soutenue en 2011
Architectures reconfigurables pour les systèmes sans fil, existants et futurs
par Najam ul Islam Muhammad sous la direction de Raymond Knopp et de Renaud Pacalet . - Paris, Télécom ParisTech
Electronique et communications
Soutenue en 2010
Confidentialité et intégrité du bus mémoire
par Lifeng Su sous la direction de Renaud Pacalet - Paris, Télécom ParisTech
Electronique et communications
Soutenue en 2010
Contre-mesures géométriques aux attaques exploitant les canaux cachés
par Sylvain Guilley sous la direction de Renaud Pacalet - Paris, ENST
Électronique et communications
Soutenue en 2007
Architectures matérielles pour la synthèse d'image par lancer de rayon
par Stéphane Mancini sous la direction de Renaud Pacalet - Paris, ENST
Sciences et techniques
Soutenue en 2000
Renaud Pacalet a été président de jury de la thèse suivante :
Vérification de propriétés logico-temporelles de spécifications SystemC TLM
par Luca Ferro sous la direction de Laurence Pierre - Grenoble
Sciences et technologie industrielles
Soutenue le 11-07-2011
Renaud Pacalet a été membre de jury des 5 thèses suivantes :
Efficient scheduling of applications onto cloud FPGAs
par Matteo Bertolino sous la direction de Ludovic Apvrille - Institut polytechnique de Paris
Informatique
Soutenue le 22-01-2021
Towards system-wide security analysis of embedded systems
par Nassim Corteggiani sous la direction de Aurélien Francillon - Sorbonne université
Informatique
Soutenue le 31-07-2020
Sécurité et protection de la vie privée dans les systèmes embarqués automobiles
par Hendrik Schweppe sous la direction de Yves Roudier - Paris, ENST
Informatique et Réseaux
Soutenue le 08-11-2012
Architectures radio-logicielles appliquées aux réseaux véhiculaires
par Carina Schmidt-Knorreck sous la direction de Raymond Knopp - Paris, ENST
Electronique et Communications
Soutenue le 04-10-2012
De la sécurité des platesformes JavaCardTM face aux attaques matérielles
par Guillaume Barbu sous la direction de Philippe Hoogvorst et de Vincent Guérin . - Paris, ENST
Electronique et Communications
Soutenue le 03-09-2012
