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.

Vérification de propriétés de conception à l’exécution à l’aide d’une approche IDM, model@run.time verification - Application aux véhicules connectés autonomes

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

Consulter la notice officielle HAL

Auteurs indexés dans la notice — 1

Hassan Loulou · 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	Vérification de propriétés de conception à l’exécution à l’aide d’une approche IDM, model@run.time verification - Application aux véhicules connectés autonomes Verifying Design Properties at Runtime Using an MDE-Based Approach Models @Run.Time Verification-Application to Autonomous Connected Vehicles
Date du travail indiquée dans HAL	2017-11-21
Date de dépôt dans HAL	2024-06-04 16:22:58
Date de modification de la notice	2026-09-23 08:50:56
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	notice
Licence du document indiquée dans HAL	Non renseigné

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.

Aucune URL de fichier ou de ressource externe exploitable n’est publiée dans les champs retenus. La notice officielle reste le point d’entrée pour consulter les possibilités d’accès.

Indicateur de libre accès publié par HAL: Non — non déclaré disponible en libre accès dans cet indicateur
Type de dépôt publié dans ce relevé: notice
Licence du document publiée dans ce relevé: Non renseignée

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 4600975. Définition des champs de l’API HAL ; métadonnées HAL sous CC0.

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

Structures indexées dans la notice HAL tel-04600975, 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
ESTACA'Lab Structure HAL 1064643 ESTACA'Lab	Département Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée 12, avenue Paul Delouvrier CS 20749 MONTIGNY 78066 SAINT QUENTIN en YVELINES Parc Universitaire Laval Changé, Rue Georges Charpak, BP 76121, 53061 Laval Cedex 9 Mise à jour de la fiche 2021-03-04 14:15:26 Identifiants HAL des structures parentes 301411 Adresse web publiée https://www.estaca.fr/recherche/estaca-lab-innover-transports-demain.html
École Supérieure des Techniques Aéronautiques et de Construction Automobile Structure HAL 301411 ESTACA	Établissement ou institution Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée Parc Universitaire Laval – Changé Rue Georges Charpak – BP 76121. 53061 Laval Cedex 9 Mise à jour de la fiche 2020-09-08 14:53:46 Anciens identifiants publiés par HAL 344856 ; 465571 ; 534267 ; 93472 ; 93906 ; 105112 ; 236105 ; 267000 ; 465569 ; 1003565 Adresse web publiée https://www.estaca.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.

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-04600975, version 1, et libellés du référentiel HAL relevés le 23 octobre 2026.

Domaine principal indiqué dans HAL : Sciences de l'ingénieur [physics] (spi).

Sciences de l'ingénieur [physics]

Code du domaine: spi
Identifiant dans le référentiel HAL: 324
Niveau publié dans l’arborescence: 0
Libellé anglais publié: Engineering Sciences [physics]

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

Autres travaux indexés en Sciences de l'ingénieur [physics]

17 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

Runtime adaptation · Même mot-clé dans la sélection
Self-Adaptative · Même mot-clé dans la sélection
Model@runtime · Même mot-clé dans la sélection
Véhicules autonomes · Même mot-clé dans la sélection
Génie logiciel · Même mot-clé dans la sélection
Architecture logicielle · Même mot-clé dans la sélection

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

Auteurs indexés : Hassan Loulou. Source : tel-04600975, version 1.

Un véhicule autonome et connecté (ACV – pour Autonomous Connected Vehicle ) est un système cyber-physique où le monde réel et l’espace numérique virtuel se fusionnent. Ce type de véhicule requiert un processus de validation rigoureuse commençant à la phase de conception et se poursuivant même après le déploiement du logiciel. Un nouveau paradigme est apparu pour le monitorat continu des exécutions des logiciels afin d'autoriser des adaptations automatiquement en temps réel, systématiquement lors d’une détection de changement dans l'environnement d'exécution, d’une panne ou d’un bug. Ce paradigme s’intitule : « Models@Run.time ». Cette thèse s’inscrit dans le cadre des ACVs et plus particulièrement dans le contexte des véhicules qui collaborent et qui partagent leurs données d’une manière sécurisée. Plusieurs approches de modélisation sont déjà utilisées pour exprimer les exigences relatives au contrôle d'accès afin d’imposer des politiques de sécurité. Toutefois, leurs outils de validation ne tiennent pas compte les impacts de l'interaction entre les exigences fonctionnelles et les exigences de sécurité. Cette interaction peut conduire à des violations de sécurité inattendues lors de l'exécution du système ou lors des éventuelles adaptations à l’exécution. En outre, l’estimation en temps réel de l’état de trafic utilisant des données de type crowdsourcing pourrait être utilisée pour les adaptations aux modèles de coopération des AVCs. Cette approche n'a pas encore été suffisamment étudiée dans la littérature. Pour pallier à ces limitations, de nombreuses questions doivent être abordées:• L'évolution des exigences fonctionnelles du système doit être prise en compte lors de la validation des politiques de sécurité ainsi que les scénarios d'attaque doivent être générés automatiquement.• Une approche pour concevoir et détecter automatiquement les anti-patrons (antipatterns) de sécurité doit être développée. En outre, de nouvelles reconfigurations pour les politiques de contrôle d'accès doivent également être identifiées, validées et déployées efficacement à l'exécution.• Les ACVs doivent observer et analyser leur environnement, qui contient plusieurs flux de données dite massives (Big Data) pour proposer de nouveaux modèles de coopération, en temps réel.Dans cette thèse, une approche pour la surveillance de l'environnement des ACVs est proposée. L’approche permet de valider les politiques de contrôle d'accès et de les reconfigurer en toute sécurité. La contribution de cette thèse consiste à:• Guider les Model Checkers de sécurité pour trouver automatiquement les scénarios d'attaque dès la phase de conception.• Concevoir des anti-patterns pour guider le processus de validation, et développer un algorithme pour les détecter automatiquement lors des reconfigurations des modèles.• Construire une approche pour surveiller en temps réel les flux de données dynamiques afin de proposer des adaptations de la politique d'accès lors de l'exécution.L’approche proposée a été validée en utilisant plusieurs exemples liés aux ACVs, et les résultats des expérimentations prouvent la faisabilité de cette approche.

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

Auteurs indexés : Hassan Loulou. Source : tel-04600975, version 1.

Autonomous Connected Vehicles (ACVs) are Cyber-physical systems (CPS) where the computationalworld and the real one meet. These systems require a rigorous validation processthat starts at design phase and continues after the software deployment. Models@Runtimehas appeared as a new paradigm for continuously monitoring software systems execution inorder to enable adaptations whenever a change, a failure or a bug is introduced in the executionenvironment. In this thesis, we are going to tackle ACVs environment where vehicles tries tocollaborate and share their data in a secure manner.Different modeling approaches are already used for expressing access control requirementsin order to impose security policies. However, their validation tools do not consider the impactsof the interaction between the functional and the security requirements. This interaction canlead to unexpected security breaches during the system execution and its potential runtimeadaptations. Also, the real-time prediction of traffic states using crowd sourcing data could beuseful for proposition adaptations to AVCs cooperation models. Nevertheless, it has not beensufficiently studied yet. To overcome these limitations, many issues should be addressed:• The evolution of the system functional part must be considered during the validation ofthe security policy and attack scenarios must be generated automatically.• An approach for designing and automatically detecting security anti-patterns might bedeveloped. Furthermore, new reconfigurations for access control policies also must befound, validated and deployed efficiently at runtime.• ACVs need to observe and analyze their complex environment, containing big-datastreams to recommend new cooperation models, in near real-time.In this thesis, we build an approach for sensing the ACVs environment, validating its accesscontrol models and securely reconfiguring it on the fly. We cover three aspects:• We propose an approach for guiding security models checkers to find the attack scenariosat design time automatically.• We design anti-patterns to guide the validation process. Then, we develop an algorithmto detect them automatically during models reconfigurations. Also, we design a mechanismfor reconfiguring the access control model and we develop a lightweight modularframework for an efficient deployment of new reconfigurations.• We build an approach for the real-time monitoring of dynamic data streams to proposeadaptations for the access policy at runtime.Our proposed approach was validated using several examples related o ACVs. the results ofour experimentations prove the feasibility of this approach.

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.