AMDE, Méthode  Calcul approximé  Circuits intégrés  Circuits intégrés à faible consommation  Circuits intégrés à la demande  Circuits logiques  Circuits électroniques  Commande automatique  Composants électroniques  Diagnostic  Détection de défaut  Essais  Faible consommation  Fiabilité  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Interaction homme-ordinateur  Interfaces utilisateur  Logiciels -- Vérification  MOS complémentaires  Microprocesseurs  Microélectronique  Mobilité  Modélisation de fautes  Méthodes formelles  Ordinateurs -- Mémoires à accès sélectif  Spice  Systèmes homme-machine  Systèmes sur puce  Systèmes, Analyse de  Test  Thèses et écrits académiques  Tolérance aux fautes  Tolérance aux fautes  Traçage de chemins critiques  Électronique numérique  

Patrick Girard a rédigé les 2 thèses suivantes :

Diagnostic de pannes temporelles dans les circuits digitaux

par Patrick Girard sous la direction de Serge Pravossoudovitch - Montpellier 2

Composants, signaux et systèmes

Soutenue en 1992

Environnement de programmation pour non-programmeurs et paramétrage en conception assistée par ordinateur : le système like

par Patrick Girard sous la direction de Guy Pierra - Poitiers

Sciences appliquées

Soutenue en 1992

Patrick Girard dirige actuellement les 3 thèses suivantes :

Diagnostic des systèmes sur puce pour les applications automobiles

par Safa Mhamdi sous la direction de Arnaud Virazel et de Patrick Girard . - Montpellier

SYAM - Systèmes Automatiques et Micro-Électroniques

En préparation depuis le 01-12-2017

Design d'Architectures Tolérante aux Fautes Basées sur des Structures Approximées

par Bastien Deveautour sous la direction de Arnaud Virazel et de Patrick Girard . - Montpellier

SYAM - Systèmes Automatiques et Micro-Électroniques

En préparation depuis le 03-07-2017

TECHNIQUES DE TEST POUR CIRCUITS DIGITAUX BASÉS SUR LE CALCUL APPROXIMATIF

par Marcello Traiola sous la direction de Alberto Bosio et de Patrick Girard . - Montpellier

SYAM - Systèmes Automatiques et Micro-Électroniques

Soutenue le 25-09-2019

Patrick Girard a dirigé les 24 thèses suivantes :

Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande

par Olga Goubali sous la direction de Patrick Girard , Laurent Guittet et de Pascal Berruet . - Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Informatique et applications

Soutenue le 30-01-2017

A hybrid power estimation technique to improve high-level power models

par Jorge Alejandro Nocua Cifuentes sous la direction de Patrick Girard et de Arnaud Virazel . - Montpellier

Systèmes automatiques et micro-électroniques

Soutenue le 02-11-2016

Amélioration des solutions de test fonctionnel et structurel des circuits intégrés

par Aymen Touati sous la direction de Alberto Bosio et de Patrick Girard . - Montpellier

Systèmes automatiques et micro-électroniques

Soutenue le 21-10-2016

Test and characterization methodologies for advanced technology nodes

par Darayus Adil Patel sous la direction de Patrick Girard - Montpellier

Systèmes automatiques et micro-électroniques

Soutenue le 05-07-2016

Circuit and system fault tolerance techniques

par Imran Wali sous la direction de Arnaud Virazel et de Patrick Girard . - Montpellier

Systèmes automatiques et micro-électroniques

Soutenue le 30-03-2016

Signal Integrity - Aware Pattern Generation for Delay Testing

par Anu Asokan sous la direction de Serge Pravossoudovitch et de Patrick Girard . - Montpellier

Systèmes automatiques et microélectroniques

Soutenue le 09-12-2015

Amélioration de la localisation de défauts dans les circuits digitaux par diagnostic au niveau transistor

par Zhenzhou Sun sous la direction de Patrick Girard et de Serge Pravossoudovitch . - Montpellier 2

Systèmes Automatiques et Microélectroniques

Soutenue le 16-05-2014

Test de mémoires SRAM à faible consommation

par Leonardo Henrique Bonet Zordan sous la direction de Patrick Girard et de Serge Pravossoudovitch . - Montpellier 2

Systèmes automatiques et microélectroniques

Soutenue le 06-12-2013

Test et fiabilité des mémoires MRAM

par João Batista Seabra de Azevedo sous la direction de Serge Pravossoudovitch et de Patrick Girard . - Montpellier 2

Systèmes automatiques et microélectronique

Soutenue le 11-10-2013

Test et fiabilité des mémoires Flash

par Pierre-Didier Mauroux sous la direction de Patrick Girard - Montpellier 2

SYAM - Systèmes Automatiques et Microélectroniques

Soutenue le 09-12-2011

Study and Reduction of Power Consumption during Test of Digital Circuits

par Fangmei Wu sous la direction de Patrick Girard - Montpellier 2

SYAM - Systèmes Automatiques et Microélectroniques

Soutenue le 12-10-2011

Modes de défaillance induits par l'environnement radiatif naturel dans les mémoires DRAMs : étude, méthodologie de test et protection

par Antonin Bougerol sous la direction de Régis Leveugle et de Patrick Girard . - Grenoble

Sciences et technologie industrielles

Soutenue le 16-05-2011

Diagnostic de pannes électriques dans les systèmes logiques

par Youssef Ben Abboud (Benabboud) sous la direction de Patrick Girard - Montpellier 2

génie informatique, automatique et traitement du signal

Soutenue le 30-04-2010

Approche dirigée par les modèles pour la conception et la validation des applications interactives : une démarche basée sur la modélisation des tâches

par Sybille Caffiau sous la direction de Patrick Girard et de Dominique L. Scapin . - Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aéronautique

Informatique et applications

Soutenue en 2009

Définition et réalisation d'une boîte à outils générique dédiée à la Programmation sur exemple

par Loé Sanou sous la direction de Patrick Girard et de Laurent Guittet . - Poitiers

Informatique et application

Soutenue en 2008

Test et diagnostic de fautes dynamiques dans les mémoires SRAM

par Alexandre Ney sous la direction de Patrick Girard - Montpellier 2

Micro-électronique

Soutenue en 2008

Diagnostic de pannes dans les circuits logiques : développement d'une méthode ciblant un ensemble élargi de modèles de fautes

par Alexandre Rousset sous la direction de Patrick Girard - Montpellier 2

Électronique, optronique et systèmes

Soutenue en 2008

Modélisation de fautes et test des mémoires flash

par Olivier Ginez sous la direction de Patrick Girard et de Serge Pravossoudovitch . - Montpellier 2

Micro-électronique

Soutenue en 2007

Réduction de puissance durant le test par scan des circuits intégrés

par Nabil Badereddine sous la direction de Patrick Girard - Montpellier 2

Automatique, traitement du signal et génie informatique

Soutenue en 2006

Validation d'une approche basée sur l'exemple pour l'initiation à la programmation

par Nicolas Guibert sous la direction de Patrick Girard et de Laurent Guittet . - Poitiers

Informatique

Soutenue en 2006

Un cadre formel générique pour la modélisation d'IHM multi-modales : cas de la multi-modalité en entrée

par Nadjet Kamel sous la direction de Yamine Aït-Ameur et de Patrick Girard . - Poitiers

Informatique et applications

Soutenue en 2006

Sémantique et outil pour la modélisation des tâches utilisateur : n-mda

par Vincent Lucquiaud sous la direction de Patrick Girard et de Francis Jambon . - Poitiers

Informatique et applications

Soutenue en 2005

Vers une approche sûre du développement des Interfaces Homme-Machine

par Mickaël Baron sous la direction de Patrick Girard et de Yamine Aït-Ameur . - Poitiers

Informatique et applications

Soutenue en 2003

Vers un environnement générique d'aide au développement d'applications interactives de simulation de métamorphoses

par Fabrice Depaulis sous la direction de Patrick Girard - Poitiers

Informatique

Soutenue en 2002

Patrick Girard a été président de jury des 3 thèses suivantes :

Conception de dispositifs de contrôle asynchrones et distribués pour la gestion de l’énergie

par Chadi Al Khatib sous la direction de Laurent Fesquet et de Gilles Sicard . - Grenoble Alpes

Nanoélectronique et nanotechnologie

Soutenue le 01-03-2016

Génération de modèles de haut niveau enrichis pour les systèmes hétérogènes et multiphysiques

par Laurent Bousquet sous la direction de Emmanuel Simeu , Laurent Fesquet et de Katell Morin-Allory . - Grenoble

Nanoélectronique et nanotechnologie

Soutenue le 29-01-2014

Context-based innovative mobile user interfaces

par Yun Zhou sous la direction de Bertrand David et de René Chalon . - Ecully, Ecole centrale de Lyon

Informatique et Mathématiques

Soutenue le 08-10-2012

Patrick Girard a été rapporteur des 11 thèses suivantes :

Contrôle des performances et conciliation d’erreurs dans les décodeurs d’image

par Ghislain Takam tchendjou sous la direction de Emmanuel Simeu - Grenoble Alpes

Nano electronique et nano technologies

Soutenue le 12-12-2018

Méthodologie de prédiction multi-échelle pour l'évaluation et le durcissement des circuits intégrés complexes face aux événements singuliers d'origine radiative

par Nomena Gabriel Andrianjohany sous la direction de Karine Castellani-Coulié et de Wenceslas Rahajandraibe . - Aix-Marseille

Sciences pour l'ingénieur. Micro et Nanoélectronique

Soutenue le 02-03-2018

Un circuit de réception GPS tolérant aux erreurs de l’électronique

par Mohamed Mourad Hafidhi sous la direction de Emmanuel Boutillon - Lorient

Stic

Soutenue le 16-11-2017

Optimisation de la consommation d’énergie et de la latence dans les réseaux sur puces

par Erwan Moréac sous la direction de André Rossi et de Johann Laurent . - Lorient

Stic

Soutenue le 25-10-2017

Proposition d'une aide logicielle pour la saisie d'information en situation dégradée : application à des utilisateurs IMC athétosiques dans des contextes liés au transport et aux activités journalières

par Yohan Guerrier sous la direction de Christophe Kolski et de Franck Poirier . - Valenciennes

Informatique

Soutenue le 04-09-2015

Fiabilisation et test des processeurs dans un contexte embarqué

par Sébastien Sarrazin sous la direction de Lirida Alves de Barros et de Valentin Gherman . - Paris, ENST

Electronique et communications

Soutenue le 31-03-2015

Proxemic interaction and migratable user interface : applied to smart city

par Huiliang Jin sous la direction de Bertrand David et de René Chalon . - Ecully, Ecole centrale de Lyon

Informatique

Soutenue le 15-10-2014

Architectures d'opérateurs numérique auto-contrôlables

par Ting An sous la direction de Lirida Alves de Barros - Paris, ENST

Electronique et communications

Soutenue le 30-09-2014

Définition et test d'un outil d'aide à l'évaluation de systèmes à architecture à base d'agent, par approche à base de connaissances.

par Selem Charfi sous la direction de Houcine Ezzedine et de Faouzi Moussa . - Valenciennes

Informatique

Soutenue le 15-02-2013

Méthodes et architectures basées sur la redondance modulaire pour circuits combinatoires tolérants aux fautes

par Tian Ban sous la direction de Lirida Alves de Barros - Paris, ENST

Electronique et Communications

Soutenue le 04-09-2012

Sur le contexte spatial en gestion des fenêtres et interaction homme-machine.

par Guillaume Faure sous la direction de Michel Beaudouin-Lafon - Paris 11

Informatique

Soutenue le 15-12-2011

Patrick Girard a été membre de jury des 8 thèses suivantes :

Ingénierie de l'Interaction Homme-Machine et Persuasion Technologique : étude du concept de Chemin Persuasif

par Alessandro Fenicio sous la direction de Gaëlle Calvary et de Yann Laurillau . - Grenoble Alpes

Mathématiques et informatique

Soutenue le 23-09-2019

Conception de circuits mémoires flash pour plateforme ultra faible consommation

par Steve Ngueya Wandji sous la direction de Jean-Michel Portal et de Hassen Aziza . - Aix-Marseille

Mécanique, physique, micro et nanoélectronique

Soutenue le 15-12-2017

Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie

par Linda Mohand Oussaïd (Mohand Oussaid) sous la direction de Yamine Aït-Ameur et de Idir Aït-Sadoune . - Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Informatique et applications

Soutenue le 16-12-2014

Cycle de vie sémantique de conception de systèmes de stockage et manipulation de données

par Selma Khouri sous la direction de Ladjel Bellatreche et de Thouraya Bouaban-Tebibel . - Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Informatique et applications

Soutenue le 12-10-2013

Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion

par Sébastien Maîtrehenry (Maîtrehenry) sous la direction de Yamine Aït-Ameur - Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Informatique et applications

Soutenue le 04-10-2013

Architecture hybride tolérante aux fautes pour l'amélioration de la robustesse des circuits et systèmes intégrés numériques.

par Duc Anh Tran sous la direction de Serge Pravossoudovitch - Montpellier 2

SYAM - Systèmes Automatiques et Microélectroniques

Soutenue le 21-12-2012

Nouvelles interactions physiques pour dispositifs mobiles

par Mathias Baglioni sous la direction de Eric Lecolinet et de Yves Guiard . - Paris, ENST

Informatique et réseaux

Soutenue le 25-04-2012

Modélisation, simulation et optimisation des architectures de récepteur pour les techniques d’accès W-CDMA

par Mazen Youssef sous la direction de Abbas Dandache - Metz

Electronique

Soutenue le 08-06-2009