Publications

Thèses soutenues


« Vérification formelle concluante des propriétés de systèmes multi-horloges ».

Auteur : G. Plassan
Directeur de thèse : D. Borrione

Président du jury : N. Halbwachs


These de Doctorat Université de Grenoble
Spécialité : informatique
Soutenance : 2018-03-28
ISBN : 978-2-11-129240-6

> en savoir plus

« Exploiting Body Terminals of Transistors for Performing Post-Fabrication Tests, Run-Time Tests, and Self-Adaptive Bias in Integrated Circuits ».

Auteur : R. Possamai Bastos
HDR Université de Grenoble
Spécialité : Nanoélectronique et Nanotechnologies
Soutenance : 2018-01-30
ISBN : 978-2-11-129239-0

> en savoir plus

« Implantation matérielle de chiffrements homomorphiques ».

Auteur : A. Mkhinini
Directeur de thèse : R. Leveugle

Président du jury : R. Sirdey


These de Doctorat Université de Grenoble
Spécialité : Nanoélectronique et Nanotechnologies
Soutenance : 2017-12-14
ISBN : 978-2-11-129234-5

> en savoir plus

« Représentation dynamique de la liste des copies pour le passage à l'échelle des protocoles de cohérence de cache ».

Auteur : J. Dumas
Directeur de thèse : F. Pétrot

Président du jury : F. De Dinechin


These de Doctorat Université de Grenoble
Spécialité : informatique
Soutenance : 2017-12-13
ISBN : 978-2-11-129235-2

> en savoir plus

« Flot de conception pour l’ultra-faible consommation : échantillonnage non uniforme et électronique asynchrone ».

Auteur : J. Simatic
Directeur de thèse : L. Fesquet

Président du jury : F. Pétrot


These de Doctorat Université de Grenoble
Spécialité : Nanoélectronique et Nanotechnologies
Soutenance : 2017-12-07
ISBN : 978-2-11-129238-3

> en savoir plus

« Techniques de Test Pour la Détection de Chevaux de Troie Matériels en Circuits Intégrés de Systèmes Sécurisés ».

Auteur : L. Acunha Guimaraes
Directeur de thèse : L. Fesquet

Président du jury : G. Gogniat


These de Doctorat Université de Grenoble
Spécialité : Nanoélectronique et Nanotechnologies
Soutenance : 2017-12-01
ISBN : 978-2-11-129237-6

> en savoir plus

« Simulation Native des MPSoC: Instrumentation et Modélisation des Aspects Non Fonctionnels ».

Auteur : O. Matoussi
Directeur de thèse : F. Pétrot

Président du jury : F. Maraninchi


These de Doctorat Université de Grenoble
Spécialité : informatique
Soutenance : 2017-11-30
ISBN : 978-2-11-129233-8

> en savoir plus

« Conception, Simulation Parallèle et Implémentation de réseaux sur puce hautes performances tolérants aux fautes ».

Auteur : A. Charif
Directeur de thèse : N.- E. Zergainoh

Président du jury : F. Pétrot


These de Doctorat Université de Grenoble
Spécialité : Nanoélectronique et Nanotechnologies
Soutenance : 2017-11-17
ISBN : 978-2-11-129232-1

> en savoir plus

« Système de traitement modulaire pour la tomographie d'émission à détecteurs CdZnTe ».

Auteur : M. Bernard
Directeur de thèse : S. Mancini
These de Doctorat Université de Grenoble
Spécialité : informatique
Soutenance : 2017-11-06
ISBN : 978-2-11-129236-9

> en savoir plus