Les Habilitations à Diriger des Recherches (HDR)

Cette page contient l'ensemble des soutenances HDR, enregistrées à l'Inria-Rennes depuis 2001.

Ocan Sankur (IRISA - projet SUMO) ; Tayeb Lemlouma (IUT-Lannion) ; Cédric Tedeschi (équipe-projet Myriads) ; Pierre Peterlongo (projet GenScale) ; Paolo Robuffo Giordano (projet Lagadic) ; Olivier Dameron (projet DyLISS) ; Benoit Combemale (projet DiverSE) ; Axel Legay (projet Estasys) ; Nathalie Bertrand (projet SUMO) ; Julien Pettré (projet MIMETIC) ; Olivier Barais (projet DiverSE) ; Laurent Amsaleg (projet LinkMedia) ; Maud Marchal (projet Hybrid) ; Olivier le Meur (projet Sirocco) ; Sébastien Ferré (projet LIS) ; Hervé Jégou (projet Texmex) ; Rémi Cozot (projet FRVSense) ; Sébastien Gambs (projet CIDRE) ; Adlen Ksentini (projet Dionysos) ; Loïc Hélouët (projet SUMO) ; Olivier Berder (projet Cairn) ; Alexandre Krupa (projet Lagadic) ; Bertrand Coüasnon (projet IntuiDoc) ; Emmanuel Vincent (projet METISS) ; Jordi Cabot (projet AtlanMod) ; Frédéric Weis (projet Aces) ; Arnaud Gotlieb (projet Celtique) ; Daniel Ménard (projet Cairn) ; François Taiani (projet Asap) ; Benoit Caillaud (projet S4) ; Benoit Baudry (projet Triskell) ; Sébastien Pillement (projet Cairn) ; David Cachera (projet Celtique) ; Arnaud Tisserand (projet Cairn) ; Charles Kervrann (projet Serpico) ; Anatole Lécuyer (projet Bunraku) ; Daniel Chillet (projet Cairn) ; Thomas Genet (projet Celtique) ; Guillaume Gravier (projet Metiss) ; Nizar Bouabdallah (projet Dyonisos) ; Gabriel Antoniu (projet Paris) ; Miklos Molnar (projet Armor) ; Anne Siegel (projet Symbiose) ; Stefan Haar (projet DistribCom) ; Eric Anquetil (projet Imadoc) ; Laurent Mevel (projet Sisthem) ; Christophe Collewet (projet Lagadic) ; Jacques Nicolas (projet Symbiose) ; Rémi Gribonval (projet Metiss) ; Erwan Faou (projet Ipso) ; Eric Fabre (projet Distribcom) ; Ovidiu Radulescu (projet Symbiose) ; Franck Multon (projet Bunraku) ; Vlad Rusu (projet Vertecs) ; Pierre-Alain Muller (projet Triskell) ; Christian Pérez (projet Graal) ; Luce Morin (projet temics) ; Bruno Tuffin (projet Dyonisos) ; Georges Dumont (projet Bunraku) ; Olivier Boëffard (Ensatt Lannion) ; Fabien Campillo (projet Mere) ; Robin Gras (projet Symbiose) ; Eric Marchand (projet Lagadic) ; Michel Hurfin (projet Adept) ; Stéphane Donikian (projet Bunraku) ; Yves le Traon ( projet Triskell) ; Thierry Jéron ( projet Vertecs) ; Patrick Pérez ( projet Vista) ; Sophie Pinchinat (projet S4) ; Anne-Marie Kermarrec ( projet Asap) ; César Viho (projet Dyonisos) ; Pascale Sébillot ( projet Texmex) ; Isabelle Puaut ( projet Caps)

Depuis 2018, les soutenances HDR sont en ligne sur ce portail vidéo.

Ce portail n'accueille plus de vidéos depuis juin 2023 mais les HDR en ligne restent consultables en accès intranet pour les titulaires d'un compte Inria ou Irisa.

Consulter l'ensemble des habilitations présentées à l'Inria-Rennes (documents PDF ou PostScript)

Rémi Cozot (projet FRVSense) - Vers plus de contrôle pour le créateur d'images de synthèse - 8 septembre 2014

La création d’image de synthèse s’effectue en plusieurs étapes :

1) définition de la scène 3D,

2) simulation physique de la lumière dans la scène dont le résultat est une image où chaque pixel correspond à la luminance - ci après appelée image physique et

3) post-traitement et adaptation de cette image physique au dispositif de restitution. Avec les progrès de la recherche sur chacune des étapes, le créateur d’image a une plus grande capacité et liberté de création mais en contrepartie il fait face à une plus grande complexité pour définir, configurer et régler les données et les paramètres nécessaires à la réalisation de l’image.

Cette dernière décennie a connu une prolifération des réseaux d’accès sans fil, dominée par les réseaux locaux sans fil (ou Wireless Local Area Network - WLAN), les réseaux cellulaires 3GPP de troisième (3G) et quatrième génération (4G) et en moindre mesure les réseaux Digital Video Broadcast (DVB) pour la télévision numérique. (lire la suite)

Loïc Hélouët (projet SUMO) - Scenario Automata: theory and applications - 17 mai 2013

Automates d'ordres: théorie et applications

Les automates de scénarios, plus connus sous le nom de Message Sequence Charts (MSC), ont connu une énorme popularité depuis les années 1990. Ce succès est à la fois académique et industriel. Les raisons de ce succès sont multiples : le modèle est simple et s'apprend très vite. De plus il possède une puissance d'expression supérieure à celle des automates finis, et pose des problèmes difficiles. L'apparente simplicité des MSCs est en fait trompeuse, et de nombreuses questions se révèlent indécidables (lire la suite).

Olivier Berder (projet Cairn) - Systèmes multi-antennes et efficacité énergétique des réseaux de capteurs sans fil - 10 décembre 2012

Résumé:

Notre premier axe de recherche concerne le précodage dans les systèmes multi-antennes (MIMO), qui consiste à adapter le signal au canal de propagation. Nous avons cherché à généraliser l’expression du précodeur max-dmin (qui cherche à maximiser la distance minimale entre symboles des constellations reçues) pour plusieurs voies de données et des constellations quelconques. En vue d’une implémentation, nous avons commencé à analyser les possibilités de réduction de la complexité tant à l’émission qu’à la réception (lire la suite).

Alexandre Krupa (projet Lagadic) - Contributions to ultrasound visual servoing - 21 décembre 2012

Résumé:

Ces travaux portent sur l'étude et l'élaboration de méthodes d'asservissement visuel utilisant les images échographiques. L'asservissement visuel consiste à commander les mouvements d'un système dynamique, généralement un robot, à partir d'informations visuelles extraites de l'image fournie par un capteur embarqué ou observant le système. (lire la suite)

Bertrand Coüasnon (projet IntuiDoc) - Fusion of knowledge in document analysis - 6 décembre 2012

Abstract:

The recognition of digitized collections of structured documents like archives documents is difficult not only by the complexity of the documents organization, but also by their degradations (stains, tears, ink bleeding through paper, curves due to scanning...). (read more)

Résumé:

La présentation aborde mes travaux de recherche sur le traitement des signaux audio. J'expose les modèles et algorithmes proposés, fondés sur la modélisation probabiliste ou parcimonieuse des variables en jeu, et je décris leurs applications à la séparation de sources audio, au traitement robuste de la parole et à la modélisation du "langage" musical.

Jordi Cabot (AtlanMod) - MDE 2.0: Vérification pragmatique de modèles et d'autres défis - 12 septembre 2012

Résumé:

L’Ingénierie Dirigée par les Modèles (IDM) devient l’un des paradigmes prédominants du génie logiciel dans l’industrie. De même que n’importe quelle autre discipline d’ingénierie, l’IDM plaide pour un usage rigoureux des modèles (de logiciels) en tant que principaux artéfacts dans toutes les activités de génie logiciel. (lire la suite)

Daniel Ménard (Cairn - Lannion) - Contributions à la conception de systèmes en virgule fixe - 29 novembre 2011

Résumé:

Mes activités de recherche se situent dans le domaine de l'implantation efficace d'applications de traitement du signal et de l'image (TDSI) au sein de systèmes embarqués. Face à la complexité grandissante des applications implantées au sein des systèmes embarqués, et face à la nécessité de réduire les temps de mise sur le marché, des méthodes et les outils associés sont nécessaires pour automatiser le processus d'implantation de ces applications sur des plateformes embarquées. (lire la suite)

Benoit Caillaud (projet S4) - Analysis, synthesis and control of concurrent systems - 23 mars 2011

Abstract:
My research interests cover the realization by algorithmic methods of concurrent systems from partial and heterogeneous specifications. I have contributed to the design of methods, algorithms and tools capable of synthesizing reactive software from one or several incomplete descriptions of the system's expected behavior, regarding several viewpoints: functionality, control, architecture, and quantitative performances (read the rest).

Benoit Baudry (projetTriskell) - Question-learn-test-feedback pattern to test emerging software construction paradigms - 10 décembre 2010

Abstract: This habilitation introduces the question-learn-test-feedback pattern that resulted from a series of investigations in the domains of software testing and modular software construction. The contributions to these fields are of various natures, but are all fundamentally related through two major assumptions: software construction paradigms have to constantly evolve in order to deal with the increasingly complex requirements that software-intensive systems have to meet; a tester’s perspective can support this evolution through the development of effective testing techniques and new empirical knowledge about these paradigms.

David Cachera (projet Celtique) - Analyses statiques: certifier et quantifier - 30 août 2010

Ce travail présente quelques contributions dans le domaine des méthodes formelles de vérification des systèmes matériels et logiciels.  Pendant longtemps, la seule technique utilisable à grande échelle pour vérifier un système informatique, a été le test. S'il permet de trouver des erreurs, il ne garantit pas en revanche leur absence. Les méthodes formelles en revanche poursuivent cet objectif, puisqu'elles assurent l'absence de certaines classes d'erreurs. (lire la suite)

---

Arnaud Tisserand (projet Cairn) -  Etude et conception d'opérateurs arithmétiques - 6 juillet 2010

Ce travail présente quelques contributions en arithmétique des ordinateurs pour le matériel et le logiciel. L'arithmétique des ordinateurs est la branche de l'informatique qui traite des représentations des nombres, des algorithmes pour effectuer les calculs de base en machine, la validation de la qualité des calculs, l'analyse de l'efficacité des calculs et des outils d'aide à la conception de systèmes de calcul arithmétique. (lire la suite)

---

Daniel Chillet (projet Cairn) - Contribution à la gestion dynamique d'une ressource reconfigurable intégrée au sein d'un MPSoC - 8 juin 2010

Le domaine des technologies de l’électronique et de l’informatique a subi d’importantes évolutions dans les dernières années, aussi bien du point de vue matériel que du point de vue applicatif. L’évolution matérielle est en grande partie ‘’tirée’’ par l’augmentation de la densité d’intégration des technologies de fabrication des circuits qui peuvent maintenant mettre en œuvre des milliards de transistors. (lire la suite)

Thomas Genet (projet Celtique) - Reachability analysis of rewriting for software verification - 30 novembre 2009

Ce travail s'intéresse à la preuve de propriétés de sûreté sur les programmes. Prouver de telles propriétés revient généralement à démontrer que les configurations critiques ne sont jamais atteintes lors de l'exécution du programme. Pour ces propriétés, nous proposons une technique de vérification semi-automatique qui tente de combiner les avantages du model-checking, de l'interprétation abstraite et de la preuve interactive. (lire la suite)

---

Gabriel Antoniu (projet Paris) - Contribution à la conception de services de partage de données pour les grilles de calcul - 5 mars 2009

Nos travaux portent sur le partage transparent des données réparties à grande échelle, sur des infrastructures de type grilles de calcul. Notre objectif a été de répondre à la question: comment serait-il possible de construire un système fournissant un modèle transparent d'accès aux données, tout en tenant compte des contraintes spécifiques aux infrastructures physiques utilisées (architecture hiérarchique, distribution à grande échelle, volatilité, tolérance aux défaillances, etc.)?

---

Miklos Molnar - Optimisation des communications multicast sous contraintes - 23 janvier 2009

L'évolution des réseaux informatiques soulève de nouvelles questions de gestion et d'optimisation tous les jours. C'est pour cette raison que la recherche vise intensivement les problèmes algorithmiques et d'optimisation combinatoire observés dans les réseaux. (lire la suite)

Anne Siegel - Analyse de systèmes dynamiques par discrétisation - exemples d'applications en théorie des nombres et en biologie moléculaire - 8 décembre 2008

Ce travail présente des contributions théoriques et pratiques à la théorie des codages symboliques de systèmes dynamiques. Les applications concernent différents champs mathématiques et la modélisation en biologie moléculaire. Le but est d'illustrer comment des méthodes de discrétisation de systèmes dynamiques et une approche algorithmique permettent d'exploiter au mieux les connaissances disponibles sur le système, même partielles. (lire la suite)

---

Stefan Haar - Law and partial order - Nonsequential behaviour and probability in asynchronous systems - 30 octobre 2008

A major part of the presentation focuses on partial order behavior of Petri net-type systems. Petri net unfoldings are shown as natural and efficiently exploitable representations of such behaviour, in particular for asynchronous fault diagnosis in large networks. (lire la suite)

---

Laurent Mevel - Identification and detection of stochastic systems application in structural monitoring - 22 octobre 2008

La surveillance de structures mécaniques en environnement réel, telles que les avions, les fusées ou les ponts, est un sujet de recherche en effervescence à la fois dans les milieux académiques et industriels. Les défis théoriques proviennent du caractère fortement non stationnaire du système résultant de l’interaction avec de nombreuses sources externes, telles que la consommation en fuel, la turbulence, la température ambiante ou les forces aéroélastiques. (lire la suite)

---

Erwan Faou (projet IPSO) - Some geometrical aspects in shell theory and in numerical integration of hamiltonian systems - 16 Octobre 2007

Les travaux présentés se divisent en deux parties. La première concerne l'analyse asymptotique des coques minces linéairement élastiques. Les coques sont des objets tridimensionnels d'épaisseur petite autour d'une surface moyenne de géométrie arbitraire. Le but de la théorie des coques est d'étudier les différences entre le problème tridimensionnel (les équations de l'élasticité linéaire) et des problèmes bidimensionnels posés sur la surface moyenne. (lire la suite)

---

Eric Fabre - Bayesian Networks of Dynamic Systems - 14 juin 2007

Bayesian networks, or Markov random fields, are well known statistical models that describe the interactions of large sets of random variables. Their interest is to represent graphically the structure of variable interactions, from which statistical inference algorithms can be designed. (lire la suite)

Ovidiu Radulescu - Mathematical models of complexity - 11 décembre 2006

---

Vlad Rusu (projet Vertecs) - Formal verification and conformance testing for reactive systems - 8 décembre 2006

Je présenterai quelques contributions à la vérification formelle, au test de conformité, ainsi qu'à leur intégration pour la validation formelle des systèmes réactifs. Ces travaux sont représentatifs des deux directions de recherche que je me suis attaché à développer depuis quelques années (lire la suite)

---

Pierre-Alain Muller - De la modélisation objet des logiciels à la métamodélisation des langages informatiques - 20 novembre 2006

Mes travaux concernent la modélisation opérationnelle des systèmes à informatique prépondérante, dans le double but de capitaliser les savoir-faire et d'automatiser les réalisations. (lire lasuite)

---

Christian Pérez - Contribution à la définition et à la mise en oeuvre d'un modèle de programmation à base de composants logiciels pour la programmation des grilles informatiques - 10 novembre 2006

Les grilles informatiques offrent d'énormes capacités de calcul mais celles-ci sont particulièrement difficiles à exploiter car les modèles de programmation existants ne sont pas adaptés. (lire la suite)

---

© 2014 Inria Rennes-Bretagne Atlantique