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.

Développement et validation d'architectures dynamiques

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

Consulter la notice officielle HAL

Auteurs indexés dans la notice — 1

Jean-François Rolland · 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	Développement et validation d'architectures dynamiques
Date du travail indiquée dans HAL	2008-12-12
Date de dépôt dans HAL	2009-03-13 10:49:16
Date de modification de la notice	2025-10-22 18:04:08
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
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 367994. Définition des champs de l’API HAL ; métadonnées HAL sous CC0.

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

Structures indexées dans la notice HAL tel-00367994, 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
Institut de recherche en informatique de Toulouse Structure HAL 34499 IRIT	Laboratoire Statut : OLD	Codes, dates et repères de la structure Codes de structure UMR5505 / URA1399 Code pays du référentiel fr Adresse publiée 118 Route de Narbonne, F-31062 Toulouse Cedex 9 Date de début publiée 1990-01-01 Date de fin publiée 2025-01-01 Mise à jour de la fiche 2025-10-21 15:51:37 Identifiant ROR https://ror.org/01rx4qw44 Identifiant ISNI 0000000121927225 Identifiant IdRef 030947448 Identifiant RNSR 199511949P Identifiants HAL des structures parentes 81148 ; 116256 ; 217752 ; 441569 ; 448187 ; 1149079 Anciens identifiants publiés par HAL 1050573 ; 1493085 ; 1346126 ; 1208595 ; 329521 ; 140993 ; 422956 ; 413987 ; 1188146 ; 1082335 ; 1172404 ; 1099504 ; 1136776 ; 1146222 ; 1081503 ; 239563 ; 4202 ; 568713 ; 473567 ; 238431 ; 397268 ; 1047936 ; 1046906 ; 1045418 ; 1040563 ; 1046869 ; 1047780 ; 1046898 ; 535486 ; 521588 ; 1047518 ; 1040588 ; 1039469 ; 1047716 ; 1045400 ; 1045392 ; 1048005 ; 1039468 ; 1040661 ; 1049967 ; 1047887 ; 1040663 ; 1009180 ; 1046876 ; 562124 ; 395754 ; 399868 ; 395278 ; 394301 ; 402022 ; 573314 ; 445327 ; 562037 ; 545798 ; 491772 ; 440017 ; 469285 ; 445326 ; 510091 ; 491774 ; 491025 ; 543590 ; 477168 ; 499322 ; 364394 ; 450218 ; 489241 ; 421034 ; 421038 ; 512685 ; 233543 ; 491495 ; 439835 ; 421047 ; 431992 ; 432090 ; 419094 ; 439552 ; 439850 ; 264042 ; 266985 ; 244583 ; 243979 ; 209699 ; 159689 ; 209701 ; 255150 ; 395063 Adresse web publiée http://www.irit.fr/
Toulouse Mind & Brain Institut Structure HAL 1149079 TMBI	Regroupement de laboratoires Statut : OLD	Codes, dates et repères de la structure Codes de structure FED4171 Code pays du référentiel fr Adresse publiée CHU Purpan, Pavillon Baudot, 31059 Toulouse cedex 9 Date de début publiée 2021-01-01 Date de fin publiée 2025-01-01 Mise à jour de la fiche 2025-10-21 15:51:32 Identifiants HAL des structures parentes 116256 ; 217752 Adresse web publiée https://www.tmbi.fr/
Institut National Polytechnique (Toulouse) Structure HAL 448187 Toulouse INP	É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 2023-01-17 16:15:44 Identifiant ROR https://ror.org/033p9g875 Identifiant ISNI 0000000121766169 Identifiant IdRef 026388820 Identifiants HAL des structures parentes 443875 Anciens identifiants publiés par HAL 1181405 ; 1181064 ; 145892 ; 1153325 ; 145584 ; 421924 ; 1009247 ; 353556 ; 1002771 ; 1030447 ; 1024760 ; 1009506 ; 1010006 ; 542534 ; 326183 ; 551147 ; 451795 ; 531270 ; 481161 ; 464105 ; 419092 ; 93270 ; 5030 ; 407363 ; 301410 ; 300417 ; 300326 ; 268100 ; 240700 ; 449621 Adresse web publiée https://www.inp-toulouse.fr/
Université Toulouse - Jean Jaurès Structure HAL 116256 UT2J	Établissement ou institution Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée 5 allées Antonio Machado - 31058 Toulouse Cedex 9 Date de début publiée 1971-01-01 Mise à jour de la fiche 2023-04-17 18:30:50 Identifiant ROR https://ror.org/04ezk3x31 Identifiant IdRef 026403994 Identifiants HAL des structures parentes 443875 Anciens identifiants publiés par HAL 1763448 ; 492142 ; 553631 ; 441977 ; 445970 ; 441481 ; 451512 ; 1202240 ; 1217183 ; 1201630 ; 1122863 ; 432227 ; 23642 ; 1089853 ; 1173561 ; 1122581 ; 1030888 ; 1083848 ; 575979 ; 510527 ; 488652 Adresse web publiée http://www.univ-tlse2.fr
Université Toulouse Capitole Structure HAL 81148 UT Capitole	Établissement ou institution Statut : VALID	Codes, dates et repères de la structure Codes de structure 443875 Code pays du référentiel fr Adresse publiée 2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 Date de début publiée 1970-01-01 Mise à jour de la fiche 2025-02-11 16:08:36 Identifiant ROR https://ror.org/0443n9e75 Identifiant ISNI 0000000121902837 Identifiant IdRef 026404354 Identifiants HAL des structures parentes 443875 Anciens identifiants publiés par HAL 1158417 ; 1146622 ; 1093143 ; 1093028 ; 505365 ; 432089 ; 414147 ; 519503 ; 517345 ; 513609 ; 221514 ; 361600 ; 360399 ; 358469 ; 353930 ; 302031 ; 300323 ; 252833 ; 221824 ; 395064 ; 220796 Adresse web publiée http://www.ut-capitole.fr/
Université Toulouse III - Paul Sabatier Structure HAL 217752 UT3	Établissement ou institution Statut : OLD	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée 118 route de Narbonne - 31062 Toulouse Date de fin publiée 2025-01-01 Mise à jour de la fiche 2025-10-22 18:02:59 Identifiant ROR https://ror.org/02v6kpv12 Identifiant ISNI 0000000121617331 Identifiant IdRef 026404672 Identifiant Wikidata Q1273188 Identifiants HAL des structures parentes 443875 Anciens identifiants publiés par HAL 1675510 ; 1694370 ; 1066269 ; 549040 ; 341824 ; 1223550 ; 1167003 ; 1193488 ; 1229858 ; 1612768 ; 1947 ; 1222550 ; 1227713 ; 1151084 ; 1177941 ; 109751 ; 139125 ; 148334 ; 201720 ; 232556 ; 337189 ; 481043 ; 515761 ; 1211066 ; 1209886 ; 1168791 ; 1188151 ; 1096205 ; 1178057 ; 1151860 ; 1190030 ; 1193468 ; 1156085 ; 486771 ; 1178438 ; 1165116 ; 1072233 ; 1151747 ; 1078940 ; 534904 ; 341384 ; 396928 ; 460877 ; 569265 ; 4505 ; 164171 ; 115084 ; 73662 ; 33396 ; 560223 ; 164979 ; 165581 ; 1097258 ; 1089716 ; 519962 ; 1078942 ; 1096089 ; 1097190 ; 1090381 ; 1080192 ; 1099399 ; 1070449 ; 1023718 ; 86956 ; 261652 ; 454671 ; 318467 ; 157034 ; 157057 ; 145965 ; 336402 ; 448397 ; 408477 ; 434040 ; 493598 ; 1039454 ; 1058226 ; 546728 ; 561755 ; 565964 ; 1047474 ; 361810 ; 561687 ; 360481 ; 75869 ; 574994 ; 562024 ; 355619 ; 451796 ; 545503 ; 419164 ; 519674 ; 409908 ; 438759 ; 462622 ; 473406 ; 481042 ; 486515 ; 501462 ; 531868 ; 543654 ; 247173 ; 152063 ; 433538 ; 436627 ; 413528 ; 429187 ; 437340 ; 448323 ; 257694 ; 115233 ; 522804 ; 216765 ; 453824 ; 413669 ; 477172 ; 477173 ; 491494 ; 491630 ; 227530 ; 58790 ; 74424 ; 150964 ; 163180 ; 166124 ; 171663 ; 215288 ; 221823 ; 250447 ; 261752 ; 300325 ; 302847 ; 302880 ; 302944 ; 353929 ; 356243 ; 358203 ; 358428 ; 359003 ; 359180 ; 360909 ; 361733 ; 362157 ; 362165 ; 363403 ; 364051 ; 364084 ; 407361 ; 407452 Adresse web publiée http://www.univ-tlse3.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/
Communauté d'universités et établissements de Toulouse Structure HAL 443875 Comue de Toulouse	Regroupement d’établissements Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée 41 Allée Jules Guesde, 31000 Toulouse Mise à jour de la fiche 2025-09-23 14:20:49 Identifiant ROR https://ror.org/017tgbk05 Anciens identifiants publiés par HAL 1217931 ; 1217495 ; 1200877 ; 1095907 ; 1095906 ; 581102 ; 546350 ; 151083 ; 216207 ; 362736 ; 470218 ; 1165047 ; 1165046 ; 1085095 ; 491624 ; 1096649 ; 1088775 ; 1062523 ; 575619 ; 1080417 ; 1056978 ; 555533 ; 482899 ; 525025 ; 544077 ; 544091 ; 461463 ; 259234 ; 409850 ; 410273 ; 485832 ; 485830 ; 468083 ; 519457 ; 91237 ; 482901 ; 370889 ; 478360 ; 438675 ; 533634 ; 165041 ; 231390 ; 145791 ; 170610 ; 162446 Adresse web publiée https://www.univ-toulouse.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 de recherche en informatique de Toulouse

13 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 Toulouse Mind & Brain Institut

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

Autres notices indexées avec Institut National Polytechnique (Toulouse)

21 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-00367994, 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

Model-checking · Même mot-clé dans la sélection
Génie logiciel · Même mot-clé dans la sélection
Langage de description d'architecture · Même mot-clé dans la sélection
Temps réel · Même mot-clé dans la sélection

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

Auteurs indexés : Jean-François Rolland. Source : tel-00367994, version 1.

Dans le cadre de cette thèse, nous nous proposons d'étudier le développement et la validation de systèmes dans un contexte temps réel asynchrone. On a choisi d'utiliser le langage AADL pour ses spécificités issues de l'avionique, domaine proche du spatial, et pour la précision de la description de son modèle d'exécution. Le travail de cette thèse se divise en deux axes principaux : d'une part, on étudie l'utilisation du langage AADL dans le cadre du développement d'un logiciel de vol ; et d'autre part, on présente une version réduite du langage AADL, et la définition formelle de son modèle d'exécution à l'aide du langage TLA+. L'objectif de la première partie est d'envisager l'utilisation d'AADL dans le cadre d'un processus de développement existant dans le domaine du spatial. Dans cette partie, on a cherché à identifier des motifs de conceptions récurrents dans les logiciels de vol. Enfin, on étudie l'expression en AADL des différents éléments de ce processus de développement. La seconde partie comporte la définition d'un mini AADL suffisant pour exprimer la plupart des concepts de parallélisme, de communication et de synchronisation qui caractérisent AADL. La partie formalisation est nécessaire afin de pouvoir vérifier des propriétés dynamiques. En effet, la définition formelle du modèle d'exécution permet de décrire le comportement attendu des modèles AADL. Une fois ce modèle défini, on peut à l'aide d'un vérificateur de modèles (model-checker) animer une modélisation AADL ou aborder la vérification de propriétés dynamiques. Cette étude a par ailleurs été menée dans le cadre de la standardisation du langage AADL.

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

Auteurs indexés : Jean-François Rolland. Source : tel-00367994, version 1.

In this thesis, we study the development and the validation of asynchronous real time systems. We choose to use the language AADL for its specificities issued from the avionic industry, and for the precise description of its execution model. This thesis is divided in two main parts. In the first part we study the use of AADL as a support for the development of satellite flight software. In a second part we present a reduced version of AADL and the formal definition of its execution model. The objective of the first part is to demonstrate that AADL can be integrated in an existing development process of the spatial industry. In this part, we have identified several patterns used in the conception of flight software In the second part we define a mini-AADL enough complete to express most of the current concepts of real time systems. The formalization part of the execution model is mandatory for the validation of dynamic properties. This formal description allow to describe the behavior of AADL models. This description can be used with a model checker to animate AADL models and validate dynamic properties.

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.