Référentiels et données

Retrouver une information et comprendre sa portée.

Ces relevés documentaires complètent la préparation d’un projet. Choisissez le référentiel adapté à votre question, puis ouvrez la fiche et sa source pour vérifier le périmètre et le millésime.

Choisir le bon point de départ

Quelle information cherchez-vous ?

Les données sont des copies locales de sources identifiées, pas une consultation en temps réel. Une absence dans le relevé ne prouve pas une absence dans la source.

Compétences

Métiers et formations

Un métier décrit des activités ; une certification atteste un cadre de compétences ; une formation prépare un parcours. Comparez ces objets séparément.

Métiers ROME · Certifications · Formations

Contenus

Définitions et lectures

Retrouvez un terme, sa définition et ses équivalents ; examinez ensuite la date et le contexte de la référence avant de la reprendre dans une page.

FranceTerme · Bibliographies BnF · Travaux HAL

Territoire

Décrire un périmètre

Une adresse administrative ne constitue pas une zone de service. Une présence d’équipement ne mesure ni le stock, ni l’accueil, ni la qualité d’une prestation.

Guichets institutionnels · Équipements · Accès aux lieux

Vérification

Relier le résultat à sa source

Contrôlez l’identité, le millésime et les limites indiquées dans la fiche. Pour une décision actuelle, consultez l’organisme d’origine.

Méthode éditoriale · Comprendre les métiers du numérique

Données et ressources documentées

Explorer les référentiels et leurs fiches

Choisissez un référentiel et affinez la recherche. Les fiches précisent la source, le millésime et les limites des informations publiées.

Distinguer publication et disponibilité du texte

Une notice signale un travail et ses métadonnées ; le résumé ne remplace pas les méthodes et résultats du texte intégral. Vérifiez le type de document et la version accessible avant de citer une conclusion. La présence dans une archive ouverte ne démontre pas à elle seule l’évaluation par les pairs ni l’applicabilité à votre situation.

Explorer les entrées et leurs sources

Les résultats proviennent des relevés indiqués ci-dessous. La zone sélectionnée s’applique aux statistiques et aux lieux, tandis que les aliments, produits, métiers, fiches pratiques, activités, notions, certifications et bibliographies restent des référentiels nationaux. Les travaux de recherche couvrent des références nationales ou internationales.

Zone statistique et lieux localisésRéférentielNom, commune, code ou mot-cléCatégorie du référentielAnnée du travail depuis (facultatif)Type de document indiquéRésumé dans les métadonnéesDOI dans la noticeLangue du document indiquéeMot-clé exact indexé dans HAL (facultatif)Nom d’auteur exact indexé dans HAL (facultatif)Domaine scientifique indexé dans HALIntitulé de colloque ou de rencontre dans HAL

Réinitialiser

442 résultats · page 1 sur 25 · jusqu’à 18 entrées affichées. Classement par année décroissante puis titre.

Explorer les revues et périodiques — 70 fiches HAL liées

Revues, périodiques et travaux associés

Rechercher un titre, une abréviation, un ISSN ou un éditeur renseigné, puis lire les références HAL associées à une fiche précise. Le répertoire couvre 86 notices liées dans la sélection du site, avant les autres filtres de recherche.

70 fiche(s) correspondant à la recherche · page 1 sur 4.

Revues et périodiques liés aux références retenues — ordre alphabétique
Titre dans le référentiel	ISSN publiés	Éditeur renseigné	Notices de la sélection
Accident Analysis & Prevention Revue HAL 9464	ISSN : 0001-4575 ISSN électronique : 1879-2057	Elsevier	1 2023
Advanced Modeling and Simulation in Engineering Sciences Revue HAL 117751	ISSN : 2213-7467	Springer	2 2022–2023
Advanced Science Revue HAL 109668	ISSN : 2198-3844	Wiley Open Access	2 2025–2026
Animals Revue HAL 112217	ISSN : 2076-2615	MDPI	1 2021
Applied Catalysis B: Environmental Revue HAL 10609	ISSN : 0926-3373 ISSN électronique : 1873-3883	Elsevier [1992-....]	1 2022
Biochemistry Revue HAL 3429	ISSN : 0006-2960 ISSN électronique : 1520-4995	American Chemical Society	1 2026
Business & IT Revue HAL 1607913	ISSN : 2570-7434 ISSN électronique : 2570-7434	Non renseigné	1 2024
CHEMISTRY-SWITZERLAND Revue HAL 1203127	Non renseignés	Non renseigné	1 2023
Communication - Commerce électronique Revue HAL 24017	ISSN : 1292-8682 ISSN électronique : 1760-7949	Éditions du Juris-Classeur [1999-2004] - LexisNexis [2005-....]	1 2006
Computational and Structural Biotechnology Journal Revue HAL 107293	ISSN : 2001-0370	Elsevier	1 2026
Computer Standards and Interfaces Revue HAL 12037	ISSN : 0920-5489 ISSN électronique : 1872-7018	Elsevier	1 2026
Décisions Marketing Revue HAL 25876	ISSN : 0779-7389	Association Française du Marketing	1 2000
Electronics Revue HAL 109186	ISSN : 2079-9292	MDPI	1 2023
En vue - Lettre d'information de l'INSA de Lyon Revue HAL 66278	Non renseignés	INSA de lyon	1 2009
Environmental Science : Atmospheres Revue HAL 175132	ISSN : 2634-3606	Royal Society of Chemistry	1 2025
Environmental Science & Policy Revue HAL 12951	ISSN : 1462-9011 ISSN électronique : 1873-6416	Elsevier	1 2021
European Journal of Mechanics - A/Solids Revue HAL 13059	ISSN : 0997-7538	Elsevier	1 2026
European Journal of Mechanics - B/Fluids Revue HAL 13060	ISSN : 0997-7546 ISSN électronique : 1873-7390	Elsevier	1 2025

Sources et méthode du répertoire des revues HAL

Source : HAL et son référentiel des revues, CCSD. Complément de métadonnées relevé le 23 octobre 2026, associé aux références documentaires du 22 octobre 2026. Les métadonnées sont réutilisables sous CC0 ; les droits des textes intégraux restent propres à chaque document.

Seules les références portant un titre de revue dans le relevé initial sont interrogées. L’identifiant numérique du document, son identifiant HAL, sa version et son titre de revue doivent correspondre avant d’utiliser son identifiant de revue. La fiche cible doit être récupérée dans le référentiel. Un identifiant direct est privilégié ; une correspondance d’ancien identifiant n’est utilisable que si elle est explicitement publiée et univoque. Une référence non confirmée conserve ses informations d’origine, sans lien ajouté.

Les homonymes restent séparés par leurs identifiants. Ni le titre seul, ni un ISSN, ni le nom d’un éditeur ne servent à fusionner les fiches. L’absence de champ ne prouve pas l’absence d’éditeur ou d’identifiant. Les statuts techniques de HAL ne constituent pas une appréciation scientifique.

Les nombres portent sur les notices de la sélection du site, pas sur l’ensemble du contenu d’une revue. Des notices différentes peuvent décrire un même travail. Aucun facteur d’impact, nombre de citations, classement, tarif ou disponibilité n’est déduit. Les conditions actuelles d’accès, d’abonnement et de dépôt restent à vérifier auprès du périodique et sur la notice HAL.

Référentiel des revues et champs de l’API HAL · Lire les fiches de revues dans auréHAL · Principes et réutilisation CC0 des métadonnées HAL.

Explorer les disciplines — 142 domaines HAL dans cette sélection

Choisissez un domaine pour consulter les notices dont le code est publié dans HAL. Les effectifs portent sur toute la sélection du site, avant les autres filtres ; un identifiant HAL est compté une seule fois par domaine. Une notice peut figurer dans plusieurs domaines : les effectifs ne s’additionnent pas.

Chimie (chim) — 2 notices, dont 1 avec ce domaine principal.
Chimie/Catalyse (chim.cata) — 3 notices, dont 2 avec ce domaine principal.
Chimie/Chimie analytique (chim.anal) — 1 notice, dont 1 avec ce domaine principal.
Chimie/Chimie théorique et/ou physique (chim.theo) — 8 notices, dont 4 avec ce domaine principal.
Chimie/Matériaux (chim.mate) — 5 notices, dont 3 avec ce domaine principal.
Informatique [cs] (info) — 56 notices, dont 52 avec ce domaine principal.
Informatique [cs]/Algorithme et structure de données [cs.DS] (info.info-ds) — 4 notices, dont 4 avec ce domaine principal.
Informatique [cs]/Analyse numérique [cs.NA] (info.info-na) — 2 notices, dont 1 avec ce domaine principal.
Informatique [cs]/Apprentissage [cs.LG] (info.info-lg) — 3 notices, dont 1 avec ce domaine principal.
Informatique [cs]/Architectures Matérielles [cs.AR] (info.info-ar) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Automatique (info.info-au) — 3 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Autre [cs.OH] (info.info-oh) — 14 notices, dont 13 avec ce domaine principal.
Informatique [cs]/Base de données [cs.DB] (info.info-db) — 4 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Bibliothèque électronique [cs.DL] (info.info-dl) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Bio-informatique [q-bio.QM] (info.info-bi) — 3 notices, dont 1 avec ce domaine principal.
Informatique [cs]/Calcul formel [cs.SC] (info.info-sc) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Calcul parallèle, distribué et partagé [cs.DC] (info.info-dc) — 6 notices, dont 3 avec ce domaine principal.
Informatique [cs]/Complexité [cs.CC] (info.info-cc) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Cryptographie et sécurité [cs.CR] (info.info-cr) — 5 notices, dont 3 avec ce domaine principal.
Informatique [cs]/Environnements Informatiques pour l'Apprentissage Humain (info.eiah) — 5 notices, dont 5 avec ce domaine principal.
Informatique [cs]/Génie logiciel [cs.SE] (info.info-se) — 110 notices, dont 92 avec ce domaine principal.
Informatique [cs]/Informatique et langage [cs.CL] (info.info-cl) — 7 notices, dont 4 avec ce domaine principal.
Informatique [cs]/Informatique mobile (info.info-mc) — 1 notice, dont 1 avec ce domaine principal.
Informatique [cs]/Informatique ubiquitaire (info.info-iu) — 5 notices, dont 3 avec ce domaine principal.
Informatique [cs]/Intelligence artificielle [cs.AI] (info.info-ai) — 15 notices, dont 10 avec ce domaine principal.
Informatique [cs]/Interface homme-machine [cs.HC] (info.info-hc) — 64 notices, dont 43 avec ce domaine principal.
Informatique [cs]/Langage de programmation [cs.PL] (info.info-pl) — 10 notices, dont 5 avec ce domaine principal.
Informatique [cs]/Littérature générale [cs.GL] (info.info-gl) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Logiciel mathématique [cs.MS] (info.info-ms) — 4 notices, dont 0 avec ce domaine principal.
Informatique [cs]/Logique en informatique [cs.LO] (info.info-lo) — 2 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Modélisation et simulation (info.info-mo) — 16 notices, dont 4 avec ce domaine principal.
Informatique [cs]/Multimédia [cs.MM] (info.info-mm) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Ordinateur et société [cs.CY] (info.info-cy) — 6 notices, dont 4 avec ce domaine principal.
Informatique [cs]/Performance et fiabilité [cs.PF] (info.info-pf) — 2 notices, dont 1 avec ce domaine principal.
Informatique [cs]/Recherche d'information [cs.IR] (info.info-ir) — 3 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Recherche opérationnelle [cs.RO] (info.info-ro) — 3 notices, dont 1 avec ce domaine principal.
Informatique [cs]/Robotique [cs.RO] (info.info-rb) — 14 notices, dont 9 avec ce domaine principal.
Informatique [cs]/Réseaux et télécommunications [cs.NI] (info.info-ni) — 9 notices, dont 4 avec ce domaine principal.
Informatique [cs]/Réseaux sociaux et d'information [cs.SI] (info.info-si) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Son [cs.SD] (info.info-sd) — 3 notices, dont 1 avec ce domaine principal.
Informatique [cs]/Synthèse d'image et réalité virtuelle [cs.GR] (info.info-gr) — 3 notices, dont 0 avec ce domaine principal.
Informatique [cs]/Système d'exploitation [cs.OS] (info.info-os) — 3 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Système multi-agents [cs.MA] (info.info-ma) — 6 notices, dont 4 avec ce domaine principal.
Informatique [cs]/Systèmes embarqués (info.info-es) — 2 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Systèmes et contrôle [cs.SY] (info.info-sy) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Technologies Émergeantes [cs.ET] (info.info-et) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Théorie et langage formel [cs.FL] (info.info-fl) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Traitement des images [eess.IV] (info.info-ti) — 3 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Traitement du signal et de l'image [eess.SP] (info.info-ts) — 5 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Traitement du texte et du document (info.info-tt) — 2 notices, dont 0 avec ce domaine principal.
Informatique [cs]/Vision par ordinateur et reconnaissance de formes [cs.CV] (info.info-cv) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Web (info.info-wb) — 6 notices, dont 2 avec ce domaine principal.
Mathématiques [math] (math) — 5 notices, dont 2 avec ce domaine principal.
Mathématiques [math]/Analyse numérique [math.NA] (math.math-na) — 2 notices, dont 2 avec ce domaine principal.
Mathématiques [math]/Equations aux dérivées partielles [math.AP] (math.math-ap) — 2 notices, dont 0 avec ce domaine principal.
Mathématiques [math]/Logique [math.LO] (math.math-lo) — 1 notice, dont 0 avec ce domaine principal.
Mathématiques [math]/Physique mathématique [math-ph] (math.math-mp) — 1 notice, dont 1 avec ce domaine principal.
Mathématiques [math]/Probabilités [math.PR] (math.math-pr) — 1 notice, dont 0 avec ce domaine principal.
Mathématiques [math]/Statistiques [math.ST] (math.math-st) — 3 notices, dont 3 avec ce domaine principal.
Physique [physics] (phys) — 7 notices, dont 6 avec ce domaine principal.
Physique [physics]/Matière Condensée [cond-mat] (phys.cond) — 8 notices, dont 6 avec ce domaine principal.
Physique [physics]/Matière Condensée [cond-mat]/Autre [cond-mat.other] (phys.cond.cm-gen) — 2 notices, dont 1 avec ce domaine principal.
Physique [physics]/Matière Condensée [cond-mat]/Gaz Quantiques [cond-mat.quant-gas] (phys.cond.gas) — 1 notice, dont 0 avec ce domaine principal.
Physique [physics]/Matière Condensée [cond-mat]/Science des matériaux [cond-mat.mtrl-sci] (phys.cond.cm-ms) — 3 notices, dont 2 avec ce domaine principal.
Physique [physics]/Mécanique [physics] (phys.meca) — 1 notice, dont 1 avec ce domaine principal.
Physique [physics]/Mécanique [physics]/Acoustique [physics.class-ph] (phys.meca.acou) — 3 notices, dont 3 avec ce domaine principal.
Physique [physics]/Mécanique [physics]/Génie mécanique [physics.class-ph] (phys.meca.geme) — 2 notices, dont 2 avec ce domaine principal.
Physique [physics]/Mécanique [physics]/Mécanique des fluides [physics.class-ph] (phys.meca.mefl) — 1 notice, dont 1 avec ce domaine principal.
Physique [physics]/Mécanique [physics]/Mécanique des matériaux [physics.class-ph] (phys.meca.mema) — 1 notice, dont 1 avec ce domaine principal.
Physique [physics]/Physique [physics] (phys.phys) — 3 notices, dont 2 avec ce domaine principal.
Physique [physics]/Physique [physics]/Chimie-Physique [physics.chem-ph] (phys.phys.phys-chem-ph) — 1 notice, dont 0 avec ce domaine principal.
Physique [physics]/Physique [physics]/Dynamique des Fluides [physics.flu-dyn] (phys.phys.phys-flu-dyn) — 1 notice, dont 1 avec ce domaine principal.
Physique [physics]/Physique [physics]/Optique [physics.optics] (phys.phys.phys-optics) — 3 notices, dont 1 avec ce domaine principal.
Physique [physics]/Physique [physics]/Physique des accélérateurs [physics.acc-ph] (phys.phys.phys-acc-ph) — 1 notice, dont 1 avec ce domaine principal.
Physique [physics]/Physique [physics]/Physique des plasmas [physics.plasm-ph] (phys.phys.phys-plasm-ph) — 1 notice, dont 0 avec ce domaine principal.
Physique [physics]/Physique [physics]/Physique Générale [physics.gen-ph] (phys.phys.phys-gen-ph) — 1 notice, dont 1 avec ce domaine principal.
Physique [physics]/Physique Quantique [quant-ph] (phys.qphy) — 3 notices, dont 2 avec ce domaine principal.
Planète et Univers [physics] (sdu) — 1 notice, dont 1 avec ce domaine principal.
Planète et Univers [physics]/Autre (sdu.other) — 1 notice, dont 1 avec ce domaine principal.
Planète et Univers [physics]/Sciences de la Terre (sdu.stu) — 1 notice, dont 1 avec ce domaine principal.
Planète et Univers [physics]/Sciences de la Terre/Géochimie (sdu.stu.gc) — 1 notice, dont 0 avec ce domaine principal.
Sciences cognitives (scco) — 9 notices, dont 5 avec ce domaine principal.
Sciences cognitives/Informatique (scco.comp) — 5 notices, dont 4 avec ce domaine principal.
Sciences cognitives/Linguistique (scco.ling) — 3 notices, dont 2 avec ce domaine principal.
Sciences cognitives/Neurosciences (scco.neur) — 6 notices, dont 2 avec ce domaine principal.
Sciences cognitives/Psychologie (scco.psyc) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'environnement (sde) — 3 notices, dont 1 avec ce domaine principal.
Sciences de l'environnement/Environnement et Société (sde.es) — 2 notices, dont 0 avec ce domaine principal.
Sciences de l'environnement/Ingénierie de l'environnement (sde.ie) — 3 notices, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société (shs) — 9 notices, dont 9 avec ce domaine principal.
Sciences de l'Homme et Société/Architecture, aménagement de l'espace (shs.archi) — 1 notice, dont 0 avec ce domaine principal.
Sciences de l'Homme et Société/Art et histoire de l'art (shs.art) — 3 notices, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société/Droit (shs.droit) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société/Economies et finances (shs.eco) — 3 notices, dont 2 avec ce domaine principal.
Sciences de l'Homme et Société/Education (shs.edu) — 2 notices, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société/Gestion et management (shs.gestion) — 2 notices, dont 0 avec ce domaine principal.
Sciences de l'Homme et Société/Géographie (shs.geo) — 3 notices, dont 3 avec ce domaine principal.
Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences (shs.hisphilso) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société/Linguistique (shs.langue) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société/Musique, musicologie et arts de la scène (shs.musiq) — 4 notices, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société/Philosophie (shs.phil) — 1 notice, dont 0 avec ce domaine principal.
Sciences de l'Homme et Société/Psychologie (shs.psy) — 3 notices, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société/Sciences de l'information et de la communication (shs.info) — 10 notices, dont 8 avec ce domaine principal.
Sciences de l'Homme et Société/Sociologie (shs.socio) — 2 notices, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics] (spi) — 18 notices, dont 11 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Acoustique [physics.class-ph] (spi.acou) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Automatique / Robotique (spi.auto) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Autre (spi.other) — 6 notices, dont 6 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Energie électrique (spi.nrj) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Génie civil (spi.gciv) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Génie civil/Eco-conception (spi.gciv.ec) — 1 notice, dont 0 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Génie civil/Infrastructures de transport (spi.gciv.it) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Matériaux (spi.mat) — 2 notices, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Milieux fluides et réactifs (spi.fluid) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Mécanique [physics.med-ph] (spi.meca) — 1 notice, dont 0 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Mécanique [physics.med-ph]/Biomécanique [physics.med-ph] (spi.meca.biom) — 4 notices, dont 2 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Mécanique [physics.med-ph]/Génie mécanique [physics.class-ph] (spi.meca.geme) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Mécanique [physics.med-ph]/Mécanique des fluides [physics.class-ph] (spi.meca.mefl) — 2 notices, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Mécanique [physics.med-ph]/Mécanique des matériaux [physics.class-ph] (spi.meca.mema) — 2 notices, dont 0 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Mécanique [physics.med-ph]/Mécanique des solides [physics.class-ph] (spi.meca.solid) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Mécanique [physics.med-ph]/Thermique [physics.class-ph] (spi.meca.ther) — 1 notice, dont 0 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Traitement du signal et de l'image [eess.SP] (spi.signal) — 2 notices, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio] (sdv) — 8 notices, dont 7 avec ce domaine principal.
Sciences du Vivant [q-bio]/Bio-Informatique, Biologie Systémique [q-bio.QM] (sdv.bibs) — 2 notices, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio]/Biochimie, Biologie Moléculaire (sdv.bbm) — 4 notices, dont 3 avec ce domaine principal.
Sciences du Vivant [q-bio]/Biochimie, Biologie Moléculaire/Biochimie [q-bio.BM] (sdv.bbm.bc) — 2 notices, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio]/Biochimie, Biologie Moléculaire/Biologie structurale [q-bio.BM] (sdv.bbm.bs) — 1 notice, dont 0 avec ce domaine principal.
Sciences du Vivant [q-bio]/Biochimie, Biologie Moléculaire/Biophysique (sdv.bbm.bp) — 1 notice, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio]/Biologie animale/Médecine vétérinaire et santé animale (sdv.ba.mvsa) — 1 notice, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio]/Ingénierie biomédicale (sdv.ib) — 1 notice, dont 0 avec ce domaine principal.
Sciences du Vivant [q-bio]/Ingénierie biomédicale/Imagerie (sdv.ib.ima) — 1 notice, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio]/Ingénierie des aliments (sdv.ida) — 2 notices, dont 2 avec ce domaine principal.
Sciences du Vivant [q-bio]/Microbiologie et Parasitologie (sdv.mp) — 1 notice, dont 0 avec ce domaine principal.
Sciences du Vivant [q-bio]/Microbiologie et Parasitologie/Bactériologie (sdv.mp.bac) — 1 notice, dont 0 avec ce domaine principal.
Sciences du Vivant [q-bio]/Médecine humaine et pathologie (sdv.mhep) — 1 notice, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio]/Médecine humaine et pathologie/Chirurgie (sdv.mhep.chi) — 1 notice, dont 0 avec ce domaine principal.
Sciences du Vivant [q-bio]/Médecine humaine et pathologie/Rhumatologie et système ostéo-articulaire (sdv.mhep.rsoa) — 1 notice, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio]/Neurosciences [q-bio.NC]/Psychologie et comportements (sdv.neu.pc) — 1 notice, dont 0 avec ce domaine principal.
Sciences du Vivant [q-bio]/Neurosciences [q-bio.NC]/Sciences cognitives (sdv.neu.sc) — 3 notices, dont 3 avec ce domaine principal.
Statistiques [stat] (stat) — 1 notice, dont 0 avec ce domaine principal.
Statistiques [stat]/Autres [stat.ML] (stat.ot) — 1 notice, dont 0 avec ce domaine principal.
Statistiques [stat]/Machine Learning [stat.ML] (stat.ml) — 1 notice, dont 1 avec ce domaine principal.

Libellés et codes du référentiel des domaines HAL, relevés le 23 octobre 2026. Le regroupement utilise les codes effectivement publiés dans les notices ; aucun rattachement supplémentaire n’est déduit des intitulés.

Colloques, congrès et rencontres cités — 113 intitulés dans cette sélection

Ces intitulés sont ceux publiés dans les notices HAL retenues par le site. Un intitulé identique peut couvrir plusieurs éditions ; les dates restent celles de chaque notice. Les variations d’écriture restent séparées. Les effectifs comptent une fois chaque identifiant HAL, avant les autres filtres.

10ième Colloque CETSIS 2013. Enseignements des Technologies et des Sciences de l'Information et des Systèmes — 1 notice.
11-ième Colloque International sur le Document Électronique — 1 notice.
12th Web for All Conference — 1 notice.
13ème Journées Nationales de Géotechniques et de Géologie de l'ingénieur — 3 notices.
14th International Particle Accelerator Conference — 1 notice.
16th International Conference on Advances in Computer-Human Interaction (ACHI 2023) — 1 notice.
16ème Congrès Français d'Acoustique, CFA2022 — 1 notice.
18e Conférence en Recherche d'Information et Applications, 16e Rencontres Jeunes Chercheurs en RI, 30e Conférence sur le Traitement Automatique des Langues Naturelles, 25e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues — 1 notice.
18th IFIP Conference on Human-Computer Interaction (INTERACT) — 5 notices.
18th Interaction and Concurrency Experience — 1 notice.
18èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2010) — 1 notice.
19th IFIP Conference on Human-Computer Interaction (INTERACT) — 3 notices.
1st conference GAMA Days 2021 — 1 notice.
2021 IEEE International Conference on Networking, Sensing and Control (ICNSC) — 1 notice.
2022 Fifth International Conference on Connected and Autonomous Driving (MetroCAD) — 1 notice.
2024 IEEE-RAS 23rd International Conference on Humanoid Robots (Humanoids) — 1 notice.
2025 IEEE International Conference on Real-time Computing and Robotics (RCAR 2025) — 1 notice.
20ème Colloque International sur le Document Numérique (CiDE 20) — 1 notice.
23rd SGEM International Multidisciplinary Scientific GeoConference 2023 — 1 notice.
24th International Congress on Acoustics — 1 notice.
25e Congrès Français de Mécanique, Nantes, 29 août-2 septembre 2022 — 1 notice.
29ème conférence francophone sur l'Interaction Homme-Machine — 1 notice.
33rd International Conference on Automated Planning and Scheduling (ICAPS 2023, companion proceedings) — 1 notice.
3e rencontre MIXMOD — 1 notice.
4e rencontre MIXMOD — 1 notice.
54ème Congrès National de la Société française de psychologie. — 1 notice.
55ème Congrès National de la Société Française de Psychologie — 1 notice.
5th International Seminar on Non-Ideal Compressible Fluid Dynamics for Propulsion & Power — 1 notice.
6th IFIP Working Conference on Human Work Interaction Design (HWID) — 1 notice.
6th International Conference on Human Computer Interaction Theory and Applications — 1 notice.
7e conférence internationale francophone sur les Environnements Informatiques pour l'Apprentissage Humain — 1 notice.
7ème conférence sur les aides techniques pour les personnes handicapées — 1 notice.
7ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain (EIAH 2015) — 1 notice.
8th European Conference on Crystal Growth — 1 notice.
9eme Conference de Psychologie Ergonomique (Epique 2017) — 1 notice.
9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 — 1 notice.
ACM CHI Conference on Human Factors in Computing Systems — 1 notice.
After AI Symposium — 1 notice.
ASME Turbo Expo 2022 Turbomachinery Technical Conference and Exposition — 1 notice.
ASRDLF - 57ème colloque - Territoire(s) et numérique Innovations, mutations et décision — 1 notice.
Caractérisation multi-échelle de la rugosité Analyse d'images de topographie — 1 notice.
CHI '22: CHI Conference on Human Factors in Computing Systems — 1 notice.
CHI 2025 - CHI Conference on Human Factors in Computing Systems — 2 notices.
CHI 2026 - ACM Conference on Human Factors in Computing Systems — 2 notices.
CHItaly 2025: CHItaly 2025: 16th Biannual Conference of the Italian SIGCHI Chapter — 1 notice.
CIE 2017 - 6e Conférence en IngénieriE du Logiciel — 1 notice.
CIEL 2014, Troisième Conférence en IngénieriE du Logiciel, — 1 notice.
CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel — 1 notice.
CNRIUT 2018 — 1 notice.
Colloqinsa2021, 7ème colloque Pédagogie et Formation — 1 notice.
Colloque Fractures Corporelles, Fractures Numériques — 1 notice.
Colloque International sur le Document Électronique — 1 notice.
Conférence Romande sur l’Accessibilité du Web (CRAW) 2013 — 1 notice.
Conférence, Laboratoire d’Informatique Interactive, ENAC (Ecole Nationale d’Aviation Civile) — 1 notice.
Didapro9 - DidaSTIC. L’informatique, objets d’enseignement et d'apprentissage. Quelles nouvelles perspectives pour la recherche ? — 1 notice.
DIS 2026 - Designing Interactive Systems — 1 notice.
Driving Simulation Conference Europe 2023 VR — 1 notice.
Eidos 64, Le forum des pratiques numériques pour l'éducation — 1 notice.
Eleventh International Conference on Computing and Control for the Water Industry (CCWI 2011) — 1 notice.
Entretiens du Nouveau Monde Industriel Préparatoires 2025 — 1 notice.
ENVOL 2010 — 2 notices.
ENVOL 2012 — 2 notices.
ERGO'IA 2023 - "L’avenir de l’humain dans les systèmes sociotechniques du futur" — 1 notice.
European Conference on Cognitive Ergonomics — 1 notice.
EUTIC : Enjeux et usages des TIC : Reliance sociale et insertion professionnelle" — 1 notice.
GISEH : Conférence Francophone en Gestion et Ingénierie des SystèmEs Hospitaliers — 1 notice.
GLOW 48 Syntax Workshop: Less documented languages in formal linguistics: empirical problems and theoretical perspectives — 1 notice.
GreHack 2021 - 9th International Symposium on Research in Grey-Hat Hacking — 1 notice.
Handicap 2018 — 1 notice.
Hünfeld 2026: Workshop on Computer Simulation and Theory of Macromolecules — 1 notice.
ICAT-EGVE 2021 - International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments — 1 notice.
ICCCM 2023 - VII International Conference on Computational Contact Mechanics — 1 notice.
ICMI '23: INTERNATIONAL CONFERENCE ON MULTIMODAL INTERACTION — 1 notice.
IEEE 7th International Conference on Research Challenges in Information Science, RCIS 2013 — 1 notice.
IEEE International Conference on Robot and Human Interactive Communication (RO-MAN) — 1 notice.
IHM'22 - 33ème conférence internationale francophone sur l’Interaction Humain-Machine — 1 notice.
IHM'23 - 34e Conférence Internationale Francophone sur l'Interaction Humain-Machine — 1 notice.
IHM'24 - 35e Conférence Internationale Francophone sur l'Interaction Humain-Machine — 1 notice.
IHM'25 - 36e Conférence Internationale Francophone sur l'Interaction Humain-Machine — 1 notice.
IHM’26 - 37e Conférence Internationale Francophone sur l'Interaction Humain-Machine — 2 notices.
INFormatique des ORganisations et Systèmes d’Information et de Décision 2016 (INFORSID) — 1 notice.
INFORSID — 1 notice.
INFORSID 2007 : actes du XXVème Congrès Informatique des organisations et systèmes d'information et de décision : atelier MADSI (Méthodes Avancées de Développement des Systèmes d'Information) — 1 notice.
Interact 2021 - IFIP Conference on Human-Computer Interaction — 1 notice.
International Conference on Agents and Artificial Intelligence — 1 notice.
International Conference on Entertainment Computing (ICEC) — 1 notice.
Internationational snow science workshop 2010 (ISSW) — 1 notice.
IV Conferencia Internacional sobre Aplicación de Tecnologías de la Información y Comunicaciones para mejorar la Accesibilidad (ATICAcces 2016) — 1 notice.
JFSMA 2006 - 14e Journées Francophones sur les Systèmes Multi-Agents — 1 notice.
Journée d'étude de l'équipe SRSPT — 1 notice.
Journées d'accélération PEPR ICCARE : Science ouverte, données ouvertes et musique — 1 notice.
Journées d'Informatique Musicale — 1 notice.
Journées d’études interdisciplinaires de l’Ecole Doctorale en Sciences Sociales et Humanités — 1 notice.
Journées Francophones d'Informatique Médicale — 1 notice.
Magnetism and Magnetic Materials — 1 notice.
MultiMat 2022 - 10th International Conference on Numerical Methods for Multi-Material Fluid Flow — 1 notice.
Première Conférence Internationale Sur l'accessibilité et les systèmes de suppléance aux personnes en situations de handicaps — 1 notice.
Proceedings of ETIS 2022 — 1 notice.
Proceedings of the ACM Conference on Designing Interactive Systems (DIS 2024) — 1 notice.
Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI 2024) — 1 notice.
Proceedings of the IEEE International Symposium on Mixed and Augmented Reality (ISMAR 2023) — 1 notice.
RIAs 2006 : 2èmes rencontres inter-associations — 1 notice.
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision — 1 notice.
SEP21. 14ème Congrès Francophone sur les Sciences Séparatives et les Couplages — 1 notice.
SIGIR'26 - 49th International ACM SIGIR Conference on Research and Development in Information Retrieval — 1 notice.
SIGMOD/PODS '24: International Conference on Management of Data — 1 notice.
Sinn und Bedeutung 31 — 1 notice.
Séminaire de l'institut français de Finlande — 1 notice.
the 6th ACM Conference on Conversational User Interfaces — 1 notice.
UACE2023 — 1 notice.
UIST '23: The 36th Annual ACM Symposium on User Interface Software and Technology — 1 notice.
Webinaire datumAcademy — 1 notice.
XIXe Colloque francophone sur le traitement du Signal et de l’Image - Gretsi 2025 — 1 notice.

Source : métadonnées HAL / CCSD, relevées le 23 octobre 2026. Ce répertoire décrit les travaux déposés ; il ne constitue pas un agenda d’inscription aux événements.

Lire des références de recherche sur logiciels, web et conception numérique. Les axes ci-dessous organisent cette sélection documentaire ; ils ne constituent pas une évaluation critique des travaux. Les références sont nationales ou internationales ; le choix d’un territoire ne filtre pas cette bibliographie. Rechercher un titre, un auteur, des mots-clés, un identifiant HAL ou un DOI.

Notices HAL — métadonnées récupérées le 22 octobre 2026
Titre et auteurs indexés	Type et datation	Repères de la notice	Approfondir
A Comparative Investigation of the Mannose Binding Interface in DC-SIGN and MRC1 Carbohydrate Recognition Domains Sina Geißler ; Sophie Sacquin-Mora hal-05604666	Communication dans un congrès Année du travail indiquée : 2026	Résumé : renseigné DOI : non renseigné ou non interprété	Résumé, sujets et sources : hal-05604666 Notice officielle HAL Fichier principal signalé dans HAL : hal-05604666
A comparative investigation of the mannose binding interface in DC-SIGN and MRC1 carbohydrate recognition domains with all-atom molecular dynamics simulations Sina Geissler ; Sophie Sacquin-Mora hal-05465181	Article dans une revue Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05465181 Notice officielle HAL Revue ou périodique lié dans HAL : Biochemistry. Fichier principal signalé dans HAL : hal-05465181
Accessibilité de la musique enregistrée pour la recherche et la création: bases de données libres et ouvertes Josephine Simonnot hal-05493031	Communication dans un congrès Année du travail indiquée : 2026	Résumé : renseigné DOI : non renseigné ou non interprété	Résumé, sujets et sources : hal-05493031 Notice officielle HAL
Air-stable subsurface two-dimensional hole gas with strong spin-orbit interaction in single layer Pt on Ge Dan Wang ; Thomas Pierron ; Etienne Barre ; et 10 autre(s) auteur(s) indexé(s) hal-05566581	Article dans une revue Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05566581 Notice officielle HAL Revue ou périodique lié dans HAL : Nano Letters. Fichier principal signalé dans HAL : hal-05566581
Approche adaptative pour la réduction de l'énergie logicielle : de la modélisation comportementale aux retours personnalisés Thomas Zaragoza tel-05748649	Thèse Année du travail indiquée : 2026	Résumé : renseigné DOI : non renseigné ou non interprété	Résumé, sujets et sources : tel-05748649 Notice officielle HAL Fichier principal signalé dans HAL : tel-05748649
Caractérisation de la gestion des contraintes en ingénierie de la construction : fondements pour un design d'interface écologique Cyprien Pierre ; Alexis Heloir ; Christophe Kolski hal-05753467	Communication dans un congrès Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05753467 Notice officielle HAL Fichier principal signalé dans HAL : hal-05753467
Convergence of a CutFEM for fluid-structure interaction with a deforming interface Miguel Angel Fernández ; Buyang Li ; Maxim Olshanskii hal-05716662	Pré-publication, Document de travail Année du travail indiquée : 2026	Résumé : renseigné DOI : non renseigné ou non interprété	Résumé, sujets et sources : hal-05716662 Notice officielle HAL
Couplage plasma-interface dans les décharges à barrière semiconductrice Ayah Soundous Taihi tel-05681902	Thèse Année du travail indiquée : 2026	Résumé : renseigné DOI : non renseigné ou non interprété	Résumé, sujets et sources : tel-05681902 Notice officielle HAL Fichier principal signalé dans HAL : tel-05681902
Covalently Linked Peptides and Membrane Potential Enable CyaA Segment Translocation Gaia Scilironi ; Nicolas Carvalho ; Jacinthe Frangieh ; et 7 autre(s) auteur(s) indexé(s) hal-05783983	Article dans une revue Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05783983 Notice officielle HAL Revue ou périodique lié dans HAL : Advanced Science. Fichier principal signalé dans HAL : hal-05783983
Développement d'un média d'interaction pour la communication humain-robot en coprésence et en téléprésence Margo Biret hal-05775616	Communication dans un congrès Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05775616 Notice officielle HAL Fichier principal signalé dans HAL : hal-05775616
Diminuer les frictions entre les utilisateurs et les mainteneurs de bibliothèques logicielles Gustave Monce tel-05674072	Thèse Année du travail indiquée : 2026	Résumé : renseigné DOI : non renseigné ou non interprété	Résumé, sujets et sources : tel-05674072 Notice officielle HAL Fichier principal signalé dans HAL : tel-05674072
Enhancing decision-making in Industry 5.0 through adaptive human–machine interfaces: A systematic literature review Salima Meftah ; M’hammed Sahnoun ; Mourad Messaadia ; et 1 autre(s) auteur(s) indexé(s) hal-05474435	Article dans une revue Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05474435 Notice officielle HAL Revue ou périodique lié dans HAL : Computer Standards and Interfaces. Fichier principal signalé dans HAL : hal-05474435
Error-related potentials detection to enhance human-robot collaboration: a mini review David Achanccaray ; Aurélie Clodic ; Raphaëlle Roy hal-05740675	Article dans une revue Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05740675 Notice officielle HAL Revue ou périodique lié dans HAL : Frontiers in Neuroergonomics. Fichier principal signalé dans HAL : hal-05740675
Exploration of the Interaction Strength at the Interface of neutral Chalcogen Ligands and Gold Surfaces Talia Alexandra Garzón ; Mary Tabut ; Monica Calatayud ; et 2 autre(s) auteur(s) indexé(s) hal-05470351	Article dans une revue Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05470351 Notice officielle HAL Revue ou périodique lié dans HAL : RSC Advances. Fichier principal signalé dans HAL : hal-05470351
Figma is a big black box:" The mismatch between the interface and its underlying structure Carl Abou Saada Nujaim ; Victoria Meifeng Myot ; Michel Beaudouin-Lafon ; et 1 autre(s) auteur(s) indexé(s) hal-05559726	Communication dans un congrès Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05559726 Notice officielle HAL Fichier principal signalé dans HAL : hal-05559726
Gradient damage model for simulating thermo–mechanical coupling: Interaction between thermal degradation and mechanical damage Abdoussalam Mhadji ; Azdine Nait-Ali ; Benjamin Batiot ; et 1 autre(s) auteur(s) indexé(s) hal-05597656	Article dans une revue Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05597656 Notice officielle HAL Revue ou périodique lié dans HAL : European Journal of Mechanics - A/Solids. Fichier principal signalé dans HAL : hal-05597656
Implémenter le web5 avec la Boucle Psyco Ryad Ben-El-Kezadri ; Salem Belhaj ; Samy Mahi hal-05617257	Pré-publication, Document de travail Année du travail indiquée : 2026	Résumé : renseigné DOI : non renseigné ou non interprété	Résumé, sujets et sources : hal-05617257 Notice officielle HAL Fichier principal signalé dans HAL : hal-05617257
Interaction Methods in Generative AI Image Tools: A Review of Trends and Design Opportunities Across HCI and Industry Hyerim Park ; Andre Luckow ; Malin Eiband ; et 1 autre(s) auteur(s) indexé(s) hal-05550947	Communication dans un congrès Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05550947 Notice officielle HAL Fichier principal signalé dans HAL : hal-05550947

Provenance et lecture des références de recherche

Source : HAL, archive ouverte développée par le Centre pour la communication scientifique directe (CCSD). Métadonnées bibliographiques initiales récupérées le 22 octobre 2026, réutilisées sous CC0 1.0. Les droits du document lui-même sont précisés sur sa notice officielle.

Cette sélection retient au plus les 200 premiers résultats par recherche sur les titres et mots-clés de HAL, triés par date du travail décroissante, pour les années 2000 à 2026. Les titres et mots-clés sont contrôlés à nouveau pour les termes de chaque axe. Un identifiant HAL est compté une seule fois par site ; la version la plus élevée rencontrée dans les réponses retenues est conservée. Des notices différentes peuvent encore décrire un même travail. La sélection n’est pas exhaustive et son ordre ne constitue pas un classement de qualité.

Articles, communications, thèses, mémoires, rapports et prépublications ont des statuts documentaires distincts. Le dépôt dans une archive et le type indiqué ne suffisent pas à établir une évaluation par les pairs. Les résumés sont ceux fournis dans les métadonnées, attribués aux auteurs de la notice ; ils restent à lire avec le travail complet et son contexte. Leur présence ne vaut pas recommandation médicale, juridique, financière ou technique.

La date du travail, la date de dépôt et la date de modification décrivent des événements différents. Un fichier signalé dans HAL ne garantit pas son accès actuel ; la notice officielle précise les conditions de consultation. Les axes sont documentaires : ils ne localisent pas les auteurs ni les terrains d’étude dans le territoire sélectionné ailleurs sur la page.

Conception et qualité logicielle : termes « génie logiciel », 199 notices retenues.
Accessibilité du web : termes « accessibilité » et « web », 45 notices retenues.
Interaction et interfaces : termes « interaction » et « interface », 198 notices retenues.

Rechercher dans HAL · Principes et réutilisation des métadonnées HAL.

Conception et Implantation de Système Fondé sur les Composants. Vers une Unification des Paradigmes Génie Logiciel et Système.

Thèse · tel-00514504 · version 1 présente dans le relevé.

Consulter la notice officielle HAL

Auteurs indexés dans la notice — 1

Marc Poulhiès · Autres notices de cette sélection sous ce nom

Le lien recherche le nom tel qu’indexé ; il ne distingue pas les personnes homonymes.

Champs bibliographiques publiés dans HAL
Champ	Valeur de la notice
Titres et traductions indexés	Conception et Implantation de Système Fondé sur les Composants. Vers une Unification des Paradigmes Génie Logiciel et Système. Design and Implementation of Component Based Systems. Towards a Unification of the Software Engineering and the System Paradigms.
Date du travail indiquée dans HAL	2010-03-05
Date de dépôt dans HAL	2010-09-02 16:16:31
Date de modification de la notice	2025-09-27 20:06:42
Revue	Non renseigné
Ouvrage associé	Non renseigné
Conférence associée	Non renseigné
Volume	Non renseigné
Numéro	Non renseigné
Pagination	Non renseigné
Langues du document (codes ISO)	fr
DOI publié	Non renseigné
Type de dépôt indiqué dans HAL	file
Licence du document indiquée dans HAL	https://about.hal.science/hal-authorisation-v1/

Fichiers et ressources en ligne signalés

Informations d’accès relevées dans HAL le 23 octobre 2026 pour la version 1 de cette notice.

Fichier principal — theses.hal.science
Annexe — theses.hal.science
Fichier signalé — theses.hal.science

Indicateur de libre accès publié par HAL: Oui — déclaré disponible en libre accès sur HAL ou sur un autre serveur
Type de dépôt publié dans ce relevé: file
Licence du document publiée dans ce relevé: https://about.hal.science/hal-authorisation-v1/

Les liens et l’indicateur décrivent le relevé de métadonnées ; les conditions d’accès peuvent évoluer. Une annexe ou une ressource liée peut avoir des conditions distinctes de celles du fichier principal. La licence affichée reste celle déclarée dans la notice. Source : notice officielle HAL, version 1, identifiant de document 514504. Définition des champs de l’API HAL ; métadonnées HAL sous CC0.

Structures de recherche indexées dans HAL — 7 fiches reliées

Structures indexées dans la notice HAL tel-00514504, version 1. Relevé et référentiel consultés le 23 octobre 2026. Cette indexation peut inclure des structures parentes ; elle n’attribue pas chacune de ces structures à chaque auteur.

Structures identifiées dans le référentiel HAL — laboratoires, équipes et établissements conservés séparément
Structure et identifiant HAL	Type et statut du référentiel	Informations publiées
France Télécom Recherche & Développement Structure HAL 2545 FT R&D	Laboratoire Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Mise à jour de la fiche 2014-10-24 09:05:34 Identifiants HAL des structures parentes 300518 Adresse web publiée http://www.francetelecom.com/fr/groupe/rd/
VERIMAG Structure HAL 194 VERIMAG - IMAG	Laboratoire Statut : OLD	Codes, dates et repères de la structure Codes de structure UMR5104 Code pays du référentiel fr Adresse publiée VerimagBâtiment IMAGUniversité Grenoble Alpes700, avenue centrale38401 Saint Martin d’HèresFrance Date de début publiée 1993-01-01 Date de fin publiée 2015-12-31 Mise à jour de la fiche 2023-12-18 09:48:11 Identifiant ROR https://ror.org/05afmzm11 Identifiant ISNI 0000 0004 0382 7652 Identifiant IdRef 184945623 Identifiant RNSR 199511789R Identifiants HAL des structures parentes 51016 ; 89889 ; 300275 ; 441569 Anciens identifiants publiés par HAL 494183 ; 488630 ; 499586
France Télécom Structure HAL 300518	Établissement ou institution Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Mise à jour de la fiche 2017-02-23 12:25:22 Anciens identifiants publiés par HAL 81816
Institut National Polytechnique de Grenoble Structure HAL 300275 INPG	Établissement ou institution Statut : OLD	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée 46 avenue Félix Viallet 38031 Grenoble Cedex 1 Date de fin publiée 2006-12-31 Mise à jour de la fiche 2023-07-24 15:03:35 Identifiant IdRef 026388804 Anciens identifiants publiés par HAL 10024 ; 5115 ; 5129 ; 1183264 ; 9571 ; 41471 ; 1010517 ; 300339 ; 418074 ; 243402 ; 431954 ; 302080
Institut polytechnique de Grenoble - Grenoble Institute of Technology Structure HAL 89889 Grenoble INP	Établissement ou institution Statut : OLD	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée 46 avenue Félix Viallet 38031 Grenoble Cedex 1 Date de début publiée 2007-01-01 Date de fin publiée 2019-12-31 Mise à jour de la fiche 2020-11-19 12:53:23 Identifiant ROR https://ror.org/05sbt2524 Identifiant IdRef 026388804 Anciens identifiants publiés par HAL 47193 ; 54139 ; 93233 ; 365616 ; 488834 ; 5032 ; 529900 ; 470231 ; 157006 ; 200660 ; 427825 ; 366344 Adresse web publiée http://www.grenoble-inp.fr/
Université Joseph Fourier - Grenoble 1 Structure HAL 51016 UJF	Établissement ou institution Statut : OLD	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée BP 53 - 38041 Grenoble Cedex 9 Date de fin publiée 2015-12-31 Mise à jour de la fiche 2016-10-12 15:26:12 Identifiant ROR https://ror.org/02aj0kh94 Identifiant IdRef 026404796 Anciens identifiants publiés par HAL 1025143 ; 422736 ; 422735 ; 1181783 ; 461281 ; 461280 ; 96054 ; 301445 ; 173267 ; 301449 ; 240362 ; 1044938 ; 1009125 ; 358955 ; 246964 ; 327931 ; 580348 ; 580347 ; 558332 ; 494293 ; 9394 ; 483876 ; 441167 ; 510888 ; 411409 ; 350758 ; 453439 ; 418073 ; 304770 ; 431953 ; 414844 ; 256206 ; 325910 ; 300272 ; 407404 ; 363559 ; 362344 ; 361048 ; 359699 ; 266267 Adresse web publiée http://www.ujf-grenoble.fr/
Centre National de la Recherche Scientifique Structure HAL 441569 CNRS	Regroupement d’établissements Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Date de début publiée 1939-10-19 Mise à jour de la fiche 2023-02-08 16:56:41 Identifiant ROR https://ror.org/02feahw73 Identifiant ISNI 0000000122597504 Identifiant IdRef 02636817X Anciens identifiants publiés par HAL 303705 ; 28125 ; 92018 ; 1209686 ; 1257104 ; 1531119 ; 1701623 ; 1701624 ; 1776663 ; 1793536 ; 1224649 ; 430395 ; 1228192 ; 1190699 ; 1684960 ; 1787644 ; 1636992 ; 567957 ; 1220594 ; 1220595 ; 85584 ; 1220762 ; 1220763 ; 1176105 ; 1439580 ; 1312318 ; 1312313 ; 1312315 ; 1312317 ; 1312316 ; 1184729 ; 1312314 ; 1243173 ; 1058044 ; 1089790 ; 1217475 ; 440323 ; 1207146 ; 55161 ; 177471 ; 1221437 ; 435271 ; 579421 ; 1171149 ; 1195416 ; 536074 ; 1219312 ; 1173544 ; 1209943 ; 1209929 ; 1049189 ; 401156 ; 978 ; 93728 ; 490596 ; 497397 ; 1158244 ; 409635 ; 397370 ; 409347 ; 1164372 ; 1191283 ; 435317 ; 1185872 ; 1191916 ; 1087612 ; 265769 ; 434817 ; 200657 ; 146060 ; 2157 ; 1172745 ; 1190420 ; 545721 ; 1179320 ; 1176531 ; 40612 ; 26488 ; 124751 ; 1157342 ; 1174275 ; 1075927 ; 496750 ; 510871 ; 231349 ; 469025 ; 24166 ; 1172328 ; 193891 ; 1171706 ; 1006164 ; 546441 ; 356198 ; 1089204 ; 241352 ; 1099873 ; 1114409 ; 1145387 ; 1170197 ; 1145702 ; 1147013 ; 1170656 ; 429933 ; 1164933 ; 492429 ; 211951 ; 103610 ; 1169314 ; 1089203 ; 1168527 ; 1163022 ; 1091822 ; 1163005 ; 1067134 ; 1042401 ; 432101 ; 1150385 ; 1149888 ; 1160894 ; 7460 ; 8083 ; 133045 ; 1065369 ; 127967 ; 145699 ; 87862 ; 76486 ; 101111 ; 435044 ; 1099121 ; 1149391 ; 1155101 ; 91817 ; 143317 ; 1124197 ; 1124354 ; 1124190 ; 1161764 ; 1043393 ; 203882 ; 443365 ; 1149586 ; 1149515 ; 24544 ; 24551 ; 552551 ; 552552 ; 1094932 ; 1096840 ; 1094988 ; 1031205 ; 1079547 ; 312915 ; 576570 ; 336357 ; 150204 ; 1077805 ; 1095000 ; 1084886 ; 1084214 ; 537958 ; 1067989 ; 483375 ; 320028 ; 1054607 ; 35738 ; 143054 ; 413470 ; 1060907 ; 1060909 ; 1061030 ; 1061214 ; 576626 ; 505092 ; 468996 ; 476991 ; 547514 ; 432349 ; 426498 ; 502058 ; 4348 ; 490506 ; 427150 ; 398722 ; 509907 ; 420672 ; 265231 ; 490938 ; 308982 ; 425102 ; 488792 ; 447660 ; 420983 ; 267399 ; 429908 ; 441863 ; 388064 Adresse web publiée https://www.cnrs.fr/

Les statuts VALID, OLD et INCOMING décrivent le traitement des fiches dans le référentiel. Les dates, adresses et identifiants ne permettent pas de déduire l’activité actuelle d’un organisme ni l’affiliation actuelle d’un auteur. Les codes pays concernent les structures, pas les terrains d’étude.

Autres notices indexées avec Institut National Polytechnique de Grenoble

14 autre(s) notice(s) dans la sélection du site, avant les filtres de recherche.

Jusqu’à six notices sont affichées par année du travail décroissante. Une structure commune ne prouve pas une collaboration entre les auteurs. Ces nombres décrivent la sélection du site et non la production complète de la structure.

Autres notices indexées avec Institut polytechnique de Grenoble - Grenoble Institute of Technology

13 autre(s) notice(s) dans la sélection du site, avant les filtres de recherche.

Autres notices indexées avec Université Joseph Fourier - Grenoble 1

13 autre(s) notice(s) dans la sélection du site, avant les filtres de recherche.

Les correspondances utilisent les identifiants des structures indexés dans cette version du document. Un ancien identifiant est rapproché uniquement si HAL publie une correspondance univoque. Source : notice officielle HAL ; référentiel des structures et définition des champs ; métadonnées HAL sous CC0.

Disciplines et classement scientifique dans HAL — 1 domaine relié

Codes de la notice tel-00514504, version 1, et libellés du référentiel HAL relevés le 23 octobre 2026.

Domaine principal indiqué dans HAL : Informatique [cs]/Génie logiciel [cs.SE] (info.info-se).

Informatique [cs]/Génie logiciel [cs.SE]

Code du domaine

info.info-se

Identifiant dans le référentiel HAL

Niveau publié dans l’arborescence

Libellé anglais publié

Computer Science [cs]/Software Engineering [cs.SE]

Domaines parents du référentiel

Informatique [cs] (info) · Fiche HAL du domaine parent

Fiche officielle du domaine HAL · Consulter les 110 notices de ce domaine dans la sélection

Autres travaux indexés en Informatique [cs]/Génie logiciel [cs.SE]

109 autres notices dans la sélection du site.

Ce classement décrit l’indexation documentaire du dépôt. Il ne constitue ni un label de qualité, ni une spécialité professionnelle attribuée aux auteurs. Les liens vers d’autres travaux reposent sur un code commun dans les métadonnées et affichent au plus six notices par domaine, par année du travail décroissante. La hiérarchie ci-dessus reprend les identifiants parents du référentiel ; elle ne modifie pas les codes du dépôt.

Source : notice officielle HAL, même document et même version que la référence initiale. Référentiel des domaines · métadonnées HAL sous CC0.

Mots-clés fournis dans les métadonnées

Embedded system · Même mot-clé dans la sélection
System modeling · Même mot-clé dans la sélection
Software engineering · Même mot-clé dans la sélection
Système embarqué · Même mot-clé dans la sélection
Modélisation système · Même mot-clé dans la sélection
Génie logiciel · Même mot-clé dans la sélection

Résumé fourni dans les métadonnées — français

Auteurs indexés : Marc Poulhiès. Source : tel-00514504, version 1.

Cette thèse a été co-encadrée par le laboratoire MAPS/AMS de France Telecom R&D (aujourd'hui MAPS/SHINE) et le laboratoire VERIMAG. Le développement de logiciels pour les systèmes embarqués présente de nombreux défis. Cette thèse s'intéresse à ceux posés par les interactions entre les trois phases de conception (les développeurs construisent à partir de spécifications un modèle du système exprimé dans un langage de conception i.e. de programmation), d'implantation (le modèle précédent est compilé en un exécutable du système qui est finalement déployé sur les plateformes réelles) et de validation (un ensemble de techniques sont mises en \oe uvre pour vérifier que le système implanté est correct vis-à-vis des spécifications). Pour cela nous nous intéressons aux caractéristiques du langage de conception et aux techniques de compilation de ce langage. Celles-ci permettent d'obtenir dans notre approche à la fois l'implantation du système et un modèle du système implanté. L'analyse de ce modèle permet la validation de l'implantation, ce qui suppose que ce modèle représente fidèlement le système implanté. Nous proposons la construction d'un langage de conception basé sur l'utilisation de composants logiciels prédéfinis dont le comportement dynamique est supposé connu. Nous illustrons cette démarche par la réalisation d'un prototype complet d'un langage appelé Buzz, inspiré des modèles de programmation à acteurs dans lequel les composants logiciels utilisés sont des composants Think accompagnés de leur modèle comportemental opérationnel constitué d'un composant BIP. Le compilateur associé à Buzz que nous avons développé à partir du compilateur Think existant (Nuptse) génère simultanément une architecture à composants Think pour l'implantation et un modèle à composants BIP à des fins d'analyse. Nous évaluons Buzz à travers deux expériences. La première présente le développement de bout en bout d'un logiciel pour un exemple académique sur lequel nous démontrons la pertinence des choix techniques. Think nous permet un support d'implantation complet (compilation, optimisation, déploiement) et BIP rend possible la vérification d'un ensemble de propriétés dynamiques du système. La deuxième expérience consiste à porter une application réelle de protocole radio utilisée dans des réseaux de capteurs et développée de manière classique, vers Buzz. Cette expérience démontre l'effectivité de notre proposition tant en termes de langage de programmation (l'expressivité de Buzz structure et simplifie le code original) qu'en termes d'outils de compilation et de vérification.

Résumé fourni dans les métadonnées — anglais

Auteurs indexés : Marc Poulhiès. Source : tel-00514504, version 1.

This PhD thesis was co-supervised by the MAPS/AMS laboratory of France Telecom R&D (now MAPS/SHINE) and the VERIMAG laboratory. Software development for embedded systems has many challenges. In this thesis, we address those related to the interactions between the three following phases of the software development process: the design phase (developers build a model of a system based on its specifications, using a design language i.e. a programming language), the implementation phase (the model previously built is compiled into an executable of the system which is then deployed on the target platforms) and the validation phase (a set of techniques are used to verify that the system implementation is correct with respect to the specifications). To achieve this goal, we study the design language characteristics and compilation techniques. In our approach, they allow the creation of both an implementation of the system and a model for this implementation. Provided that this model faithfully corresponds to the implementation, the analysis of the model can validate the implemented system. We propose a process for building a language based on predefined software components for which the dynamic behavior is supposed to be given. We illustrate this process with a prototype language, called Buzz, inspired by the actors programming model. Buzz uses Think components enriched with their operational behavioral model in the form of BIP components. We developed a compiler for Buzz by extending the current Think compiler (Nuptse). It generates both an architecture of Think components for the implementation and a BIP model for the analysis. We evaluate Buzz through two experiments. The first experiment details the end-to-end software development for an academical example on which we show the soundness of our technical choices. In particular, Think provides implementation support (compilation, optimization, deployment) and BIP allows us to verify the system's dynamic properties. The second experiment focuses on porting to Buzz an application conventionally developed for a sensor network radio protocol. This experiment underlines the efficiency of our proposal both in terms of programming language (the result is more structured and simpler than the original code) and in terms of compilation tools and verifications.

Axes documentaires de cette sélection

Conception et qualité logicielle

Les résumés restituent les métadonnées du dépôt. Pour apprécier les résultats, la méthode et les limites du travail, consultez le document et son contexte. Métadonnées HAL sous CC0.