Recherche
Accéder directement au contenu
Pied de page
Documentation
FR
Français (FR)
Anglais (EN)
Se connecter
Collection
ACES
Recherche
Loading...
Recherche avancée
Information de documents
Titres
Titres
Sous-titre
Titre de l'ouvrage
Titre du volume (Série)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Type de document
Sous-type de document
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
À paraître (true ou false)
Ajouter
Auteur
Auteur (multicritères)
Auteur (multicritères)
Auteur : Nom complet
Auteur : Nom de famille
Auteur : Prénom
Auteur : Complément de nom, deuxième prénom
Auteur : Organisme payeur
Auteur : IdHal (chaîne de caractères)
Auteur : Fonction
Auteur : personID (entier)
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série
Ajouter
Structure
Structure (multicritères)
Structure (multicritères)
Structure : Acronyme
Structure : Nom
Structure : Code
Structure : Pays
Structure : Type
Structure : État dans le référentiel
Structure : Identifiant HAL de la structure
Structure/équipe de recherche : Pays
Structure/regroupement d'équipes : Pays
Structure/laboratoire : Pays
Structure/regroupement de laboratoires : Pays
Structure/institution : Pays
Structure/regroupement d'institutions : Pays
Ajouter
Autres
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères)
Revues (multicritères)
Revue : Éditeur
Revue : Titre abrégé
Revue : Titre
Revue : Identifiant interne
Revue : Date de début de publication
Revue : ISSN électronique
Revue : ISSN
Revue : Éditeur
Revue : Couleur dans SHERPA/RoMEO
Revue : État dans le référentiel
Colloque (multicritères)
Colloque : Titre
Colloque : Organisateur
Colloque : date de début (Année)
Colloque : date de fin (Année)
Conférence invitée (oui/non)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme du programme
Projet ANR : Code décision (référence)
Projet ANR : Nom
Projet ANR : Identifiant interne
Projet ANR : État dans le référentiel
Projet ANSES: Acronyme
Projet ANSES: Code decision (reference)
Projet ANSES: Nom
Projet ADEME: Acronyme
Projet ADEME: Code decision (reference)
Projet ADEME: Nom
Projets européens (multicritères)
Projet européen : Acronyme
Projet européen : Identifiant de l'appel à projet
Projet européen : Référence
Projet européen : Nom
Projet européen : Date de fin
Projet européen : Financement
Projet européen : Date de début
Projet européen : État dans le référentiel
Projet européen : Identifiant interne
Date de production : année
Date de mise en ligne : année
Date de publication : année
Date d'écriture : année
Date de modification du dépôt : année
Date de dépôt : année
Date de publication électronique : année
Collection HAL (multicritères)
Collection HAL : catégorie
Collection HAL : Code
Collection HAL : Nom
Collection HAL : Identifiant interne
Identifiant interne du contributeur/déposant
Nom complet du contributeur/déposant
Domaines
Domaine primaire
Domaine racine
Sous-domaine niveau 1
Sous-domaine niveau 2
Sous-domaine niveau 3
Statut du document
Version du document
Type de dépôt
Type de document
ISBN
Numéro - référence
Identifiant DOI
Classification
Audience
Vulgarisation
Comité de lecture - texte (oui ou non)
Actes de colloque
Référence interne
Financement
Infrastructure de recherche : multicritères
Infrastructure de recherche : Nom
Infrastructure de recherche : identifiant
Infrastructure de recherche : Acronyme
Infrastructure de recherche : DOI
Ajouter
Lancer la recherche
Recherche experte (SolR)
Recherche experte (SolR)
Lancer la recherche
Vers la recherche avancée
Déposer
Equipe Systèmes Embarqués Critiques Autonomes - ACES
Accueil
Présentation d'ACES
Consulter
Par discipline
Par auteur
Consulter/Rechercher toutes les publications
Portail HAL Télécom Paris
×
×
×
Loading...
×
Dernières publications
Grégor Quetel, Pierre-François Gimenez, Thomas Robert, Laurent Pautet. Parser Instrumentation for Semantic-Aware Applicative Intrusion Detection.
IFIP Advances in Information and Communication Technology
, Jun 2026, Perth (Australia), Australia.
⟨hal-05626967⟩
Syful Islam, Stefano Zacchiroli. On the Informativeness of Security Commit Messages: A Large-scale Replication Study.
International Conference on Evaluation and Assessment in Software Engineering (EASE 2026)
, Jun 2026, Glasgow, United Kingdom.
⟨10.1145/nnnnnnn.nnnnnnn⟩
.
⟨hal-05599001⟩
Syful Islam, Stefano Zacchiroli. On the Use of Commit Messages for Corrective Software Maintenance: A Systematic Mapping Study.
International Conference on Evaluation and Assessment in Software Engineering (EASE 2026)
, Jun 2026, Glasgow, United Kingdom.
⟨10.1145/nnnnnnn.nnnnnnn⟩
.
⟨hal-05598986⟩
Petr Kuznetsov, Maxence Perion, Sara Tucci Piergiovanni. Répliquer sans Attendre mais Équitablement.
ALGOTEL 2026 — 28es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications
, Jun 2026, Mandelieu-la-Napoule, France.
⟨hal-05597789⟩
Van-Chien Nguyen, Trung-Hieu Tran, Tuan-Kiet Doan, Quang Hung Pham, Ngoc-Son Vu, et al.. Balanced Latent Semantics and Signal Fidelity for EEG Representation Learning.
ICLR 2026 Workshop on Time Series in the Age of Large Models (TSALM)
, Apr 2026, Rio de Jaineiro, Brazil.
⟨hal-05584741⟩
Minghui Sun, Zhaoyang Chen, Georgios Bakirtzis, Hassan Jafarzadeh, Cody Fleming. Functional requirements decomposition in set-based design.
Design Science
, 2026,
⟨10.1017/dsj.2026.10053⟩
.
⟨hal-05595171⟩
Romain Robbes, Théo Matricon, Thomas Degueule, Andre Hora, Stefano Zacchiroli. Promises, Perils, and (Timely) Heuristics for Mining Coding Agent Activity.
MSR 2026 - 23rd IEEE Working Conference on Mining Software Repositories
, Apr 2026, Rio de Jaineiro, Brazil.
⟨10.1145/3793302.3793375⟩
.
⟨hal-05487636⟩
Dong Ho Lee, Jingqi Li, Lasse Peters, Georgios Bakirtzis, David Fridovich-Keil. Breaking exponential complexity in games of ordered preference: A tractable reformulation. 2026.
⟨hal-05579100⟩
Stefano Balla, Stefano Zacchiroli, Thomas Degueule, Jean-Rémy Falleri, Romain Robbes. DRAGON: Robust Classification for Very Large Collections of Software Repositories. 2026.
⟨hal-05498254⟩
Claire Maiza, Lionel Rieg, Mihail Asavoae, Jean-Luc Béchennec, Dominique Blouin, et al.. Collaborative Action on Timing InterferenCes: Summary and Perspectives at Mid-term.
ERTS 2026 - Embedded Real-Time Systems
, Feb 2026, Toulouse, France. pp.1-11,
⟨10.82331/ERTS.2026.27⟩
.
⟨hal-05465745⟩
Mots clés
Ethereum
Natural language processing
Code stylometry
Adversarial attacks
Argumentation
Dataset
Chiffrement
Complexity
Sensors
Stack Cache
Cloud Computing
Software supply chain
Reinforcement learning
Criticality nuclear fission
Timing
Attack Graphs
Autonomous driving systems
Reproducibility
Intrusion Detection System
Cloud computing
Privacy
Agent organisations
Internet of Things
Adversarial machine learning
Computer architecture
Auctions
Autonomic Computing
Blockchain
Survey
Computer systems organization → Embedded and cyber-physical systems
Open source software
Open source
Algorithms
Cyber-physical systems
Computer systems organization → Real-time systems
Software Heritage
AADL
Embedded Systems
Embedded systems
Software heritage
GAN
Computing methodologies → Planning and scheduling
Scheduling
DRAM
Network security
Conferences
2012 ACM Subject Classification Computer systems organization → Embedded and cyber-physical systems
AADL/ALISA
Access control
Threat propagation
Cybersecurity
Sabotage Games
Automata
Runtime
Cryptography and Security csCR
Smart home
Architecture
Functional package management
Logics in Games
Formal Verification
Machine learning
Complexity theory
Formal methods
Games
Real-time systems
Memory Controller
Authentication
Commit
Byzantine fault tolerance
Critical systems
Consensus
Community
Maison intelligente
Cyber-Physical Systems
Lattice agreement
ATL
Software engineering
Commit messages
Security
Scalability
Conception de services
Autonomic computing
Observers
Auditability
Game theory
Real-Time Systems
Deep learning
Design and analysis of algorithms
DVFS
Autonomous vehicles
Coq
Source code
Code generation
Version control systems
Systematic mapping study
Copyright
Computational modeling
Diversity
Asynchronous
Affine tasks
Documents avec texte intégral
203
Références bibliographiques
320
Open access
51 %
Collaborations par pays