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
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
Collaborations
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
Les derniers dépôts
Consulter/Rechercher toutes les publications
Portail HAL Télécom Paris
×
×
×
Loading...
×
Dernières publications
Julien Malka, Stefano Zacchiroli, Théo Zimmermann. Does Functional Package Management Enable Reproducible Builds at Scale? Yes.
22nd International Conference on Mining Software Repositories
, Apr 2025, Ottawa, France.
⟨hal-04913007⟩
Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli. Is This You, LLM? Recognizing AI-written Programs with Multilingual Code Stylometry.
IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2025
, Mar 2025, Montréal, Canada.
⟨10.48550/arXiv.2412.14611⟩
.
⟨hal-04845581⟩
Andrei Tonkikh. Distributed computing for blockchains and beyond. Distributed, Parallel, and Cluster Computing [cs.DC]. Institut Polytechnique de Paris, 2024. English.
⟨NNT : 2024IPPAT041⟩
.
⟨tel-04920408⟩
Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli. Stylometry for real-world expert coders: a zero-shot approach.
PeerJ Computer Science
, 2024, 10, pp.e2429.
⟨10.7717/peerj-cs.2429⟩
.
⟨hal-04793178⟩
Franco Cordeiro, Samuel Tardieu, Laurent Pautet. Shackling Uncertainty using Mixed Criticality in Monte-Carlo Tree Search.
2024 IEEE 14th International Symposium on Industrial Embedded Systems
, Oct 2024, Chengdu, China. pp.34-41,
⟨10.1109/SIES62473.2024.10767910⟩
.
⟨hal-04820824⟩
Lorenzo Guerra, Linhan Xu, Paolo Bellavista, Thomas Chapuis, Guillaume Duc, et al.. AI-Driven Intrusion Detection Systems (IDS) on the ROAD Dataset: A Comparative Analysis for Automotive Controller Area Network (CAN).
CSCS '24: Proceedings of the 2024 on Cyber Security in CarS Workshop
, Oct 2024, Salt Lake City, United States. pp.39-49,
⟨10.1145/3689936.3694696⟩
.
⟨hal-04795854⟩
Moussa Amrani, Mittal Rakshit, Miguel Goulão, Vasco Amaral, Sylvain Guérin, et al.. A Survey of Federative Approaches for Model Management in MBSE.
1st International Workshop on Model Management (MoM) at MODELS 2024
, Sep 2024, Linz (AUSTRIA), Austria.
⟨10.1145/3652620.3688221⟩
.
⟨hal-04721128⟩
Thomas Lamiaux, Pierre Rousselin, Théo Zimmermann. Coq Platform docs: A Compilation of Short Interactive Tutorials and How-To Guides for Coq.
The 15th Coq Workshop 2024
, Clément Pit-Gaudel; Théo Winterhalter, Sep 2024, Tbilisi / Hybrid, Georgia.
⟨hal-04823184⟩
Stefano Balla, Maurizio Gabbrielli, Stefano Zacchiroli. Code stylometry vs formatting and minification.
PeerJ Computer Science
, 2024, 10, pp.e2142.
⟨10.7717/peerj-cs.2142⟩
.
⟨hal-04793169⟩
Hugo Teixeira de Castro, Ahmed Hussain, Gregory Blanc, Jamal El Hachem, Dominique Blouin, et al.. A model-based approach for assessing the security of cyber-physical systems.
The 19th International Conference on Availability, Reliability and Security (ARES) (2024)
, Jul 2024, Vienne, Austria. pp.1-10,
⟨10.1145/3664476.3670470⟩
.
⟨hal-04669279⟩
Mots clés
Cloud Computing
Energy efficiency
Software engineering
Ethereum
Machine learning
Algorithms
Criticality nuclear fission
Byzantine fault tolerance
Multi processor architecture
Domain-Specific language
Real-Time Systems
Open source
Runtime
Memory Controller
Embedded Systems
Software supply chain
AADL/ALISA
Internet of Things
Agent organisations
Intrusion Detection System
Program Analysis
Deep learning
Distributed algorithms
Security
Formal Verification
Network security
Génie logiciel
DRAM
Mixed-criticality systems
Conception de services
Linearizability
Commit
Consensus
Design and analysis of algorithms
Complexity
Reinforcement learning
Chiffrement
Reproducibility
Asynchronous
Adversarial machine learning
Code generation
Mixed criticalities
Sabotage Games
Autonomic Computing
Stack Cache
Model-driven engineering
Smart home
Coq
Auctions
Observers
Conferences
Autonomic computing
Natural language processing
Logics in Games
Computational modeling
Automata
Privacy
Architecture
Cyber-physical systems
Physical unclonable function
Authentication
Ocarina
Dataset
Access control
ATL
Blockchain
Critical systems
Functional package management
Open source software
Maison intelligente
Explainable AI
AADL
Computer architecture
Affine tasks
Scheduling
Orchestration
Graph
Copyright
Intellectual property
Permissionless
Attack Graphs
Argumentation
Dynamic Computing
Code stylometry
Lattice agreement
Theory of computation
Scalability
GAN
Intrusion detection systems
ETCS
Real time systems
Real-time systems
Higman's lemma
DVFS
Game Theory
Diversity
Cyber-Physical Systems
Embedded systems
Failure detectors
Timing
Documents avec texte intégral
152
Références bibliographiques
309
Open access
44 %
Collaborations par pays