Accéder directement au contenu
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
Tommaso Fontana, Sebastiano Vigna, Stefano Zacchiroli. WebGraph: The Next Generation (Is in Rust).
ACM Web Conference 2024
, May 2024, Singapore, Singapore.
⟨10.1145/3589335.3651581⟩
.
⟨hal-04494627⟩
Julien Malka, Stefano Zacchiroli, Théo Zimmermann. Reproducibility of Build Environments through Space and Time.
46th International Conference on Software Engineering (ICSE 2024) - New Ideas and Emerging Results (NIER) Track
, Apr 2024, Lisbonne, Portugal.
⟨hal-04430009⟩
Julien Malka. Increasing Trust in the Open Source Supply Chain with Reproducible Builds and Functional Package Management.
46th International Conference on Software Engineering (ICSE 2024) - Doctoral Symposium (DS) Track
, Apr 2024, Lisbonne, Portugal.
⟨10.1145/3639478.3639806⟩
.
⟨hal-04482192⟩
Victor Languille, David Menga, Gerard Memmi. Fairness-Privacy Issue in Adaptation of ZEXE Protocol for Exchange Between Untrusted Parties. Telecom Paris; EdF; Institut polytechnique de Paris. 2024.
⟨hal-04445164⟩
Laure Muselli, Mathieu O'Neil, Fred Pailler, Stefano Zacchiroli. Subverting or preserving the institution: Competing IT firm and foundation discourses about open source.
New Media and Society
, 2024,
⟨10.1177/14614448231222249⟩
.
⟨hal-04416993⟩
Luı́s Soeiro, Thomas Robert, Stefano Zacchiroli. Assessing the Threat Level of Software Supply Chains with the Log Model.
2023 IEEE International Conference on Big Data - 6th Annual Workshop on Cyber Threat Intelligence and Hunting
, Dec 2023, Sorrento, Italy, France.
⟨hal-04292650⟩
Davide Catta, Jean Leneutre, Vadim Malvone. Reasoning About Dynamic Game Models Using Obstruction Logic (short paper).
IPS-RCRA-SPIRIT@AI*IA
, Nov 2023, Rome, Italy.
⟨hal-04427546⟩
Ella Hamonic, Rémi Sharrock, Petra Bonfert-Taylor, Michael Goudzwaard, Gérard Memmi, et al.. Designing a unique revision loop updating courses simultaneously on different MOOC platforms.
Learning With MOOCs
, MIT, Oct 2023, Cambridge (MA), US, United States. pp.1-6,
⟨10.1109/LWMOOCS58322.2023.10305900⟩
.
⟨hal-04255412⟩
Hassan Chaitou, Thomas Robert, Jean Leneutre, Laurent Pautet. Intrinsic weaknesses of IDSs to malicious adversarial attacks and their mitigation.
Communications in Computer and Information Science
, 2023, Communications in Computer and Information Science, 1849, pp.122-155.
⟨10.1007/978-3-031-45137-9_6⟩
.
⟨hal-04320964⟩
Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, et al.. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users.
14th International Conference on Interactive Theorem Proving (ITP 2023)
, Jul 2023, Białystok, Poland. pp.1-18,
⟨10.4230/LIPIcs.ITP.2023.12⟩
.
⟨hal-04098856v2⟩
Mots clés
Coq
Dynamic Computing
Commit
Runtime
Stack Cache
Observers
Attack Graphs
Copyright
Multi processor architecture
Intellectual property
Requirements engineering
Privacy
Orchestration
Blockchain
Conferences
Functional package management
AADL
Program Analysis
Affine tasks
Distributed algorithms
Autonomic Computing
Authentication
Reinforcement learning
Consensus
Architecture
Timing
Asynchronous
Theory of computation
DVFS
ETCS
Access control
Complexity
Génie logiciel
Game Theory
Embedded systems
Open source
IOT
AADL/ALISA
Cyber-Physical Systems
Smart home
Real time systems
Computational modeling
Maison intelligente
Machine learning
Open source software
Higman's lemma
Robustness
Argumentation
Internet of Things
Algorithms
SBaaS
Intrusion detection systems
Real-time systems
Dataset
Graph
Software engineering
Reproducibility
Domain-Specific language
Cloud Computing
Autonomic computing
DRAM
Conception de services
Energy efficiency
Scheduling
Adversarial machine learning
Failure detectors
Memory Controller
Mixed-criticality systems
Diversity
Permissionless
Cyber-physical systems
Intrusion Detection System
ATL
Mixed criticalities
Security and privacy
Agent organisations
Critical systems
Code generation
Computer architecture
Automata
Model-driven engineering
Real-Time Systems
Explainable AI
Ethereum
Security
Criticality nuclear fission
Sabotage Games
Natural language processing
Lattice agreement
Chiffrement
Physical unclonable function
Routing
Logics in Games
Ocarina
Scalability
GAN
Internet des objets
Design and analysis of algorithms
Real-time Systems
Linearizability
Documents avec texte intégral
132
Références bibliographiques
307
Open access
42 %
Collaborations par pays