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
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⟩
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⟩
Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud. Formal Analysis of C-ITS PKI protocols.
SECRYPT : International Conference on Information Security and Cryptography
, Jul 2024, Dijon, France.
⟨hal-04620494⟩
Kameswar Rao Vaddina, Florian Brandner, Gérard Memmi, Pierre Jouvelot. Experimental Assessment and Biaffine Modeling of the Impact of Ambient Temperature on SoC Power Requirements.
SAMOS 2024 : International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation
, Jun 2024, Samos (Greece), Greece.
⟨hal-04604958v2⟩
Felipe Lisboa Malaquias. CoqDRAM - A Foundation for Designing Formally Proven Memory Controllers. Computer Science [cs]. Institut Polytechnique de Paris, 2024. English.
⟨NNT : 2024IPPAT020⟩
.
⟨tel-04714818⟩
Ludovic Courtès, Timothy Sample, Simon Tournier, Stefano Zacchiroli. Source Code Archiving to the Rescue of Reproducible Deployment.
2024 ACM Conference on Reproducibility and Replicability
, Jun 2024, Rennes, France.
⟨10.1145/3641525.3663622⟩
.
⟨hal-04586520⟩
Lucas Massoni Sguerra, Pierre Jouvelot, Fabien Coelho, Emilio Jesús Gallego Arias, Gérard Memmi. The Price of Smart Contract Privacy. E/465/CRI, Mines Paris - PSL. 2024.
⟨hal-04702045⟩
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.
⟨10.1145/3639476.3639767⟩
.
⟨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⟩
Mots clés
Stack Cache
Multi processor architecture
Algorithms
Cyber-physical systems
Real-Time Systems
Authentication
Access control
Cloud Computing
Logics in Games
Conception de services
Higman's lemma
Open source
Formal Verification
Consensus
Software engineering
AADL/ALISA
Embedded systems
Sabotage Games
Automata
Distributed algorithms
Reproducibility
Commit
Domain-Specific language
ATL
Autonomic Computing
Computational modeling
Open source software
Scalability
Dataset
Smart home
Physical unclonable function
Scheduling
Memory Controller
Real time systems
Requirements engineering
Permissionless
Ethereum
ETCS
Asynchronous
Agent organisations
Functional package management
Observers
Linearizability
Génie logiciel
Mixed criticalities
Robustness
Lattice agreement
Architecture
Computer architecture
Internet of Things
Criticality nuclear fission
GAN
Argumentation
Timing
Energy efficiency
Intrusion Detection System
Game Theory
Coq
Attack Graphs
Autonomic computing
Auctions
Privacy
Real-time Systems
Intrusion detection systems
Failure detectors
Program Analysis
DVFS
Conferences
AADL
Affine tasks
Machine learning
Adversarial machine learning
Complexity
Mixed-criticality systems
Critical systems
Security
Maison intelligente
Ocarina
Chiffrement
Intellectual property
Explainable AI
Natural language processing
Copyright
SBaaS
Blockchain
Dynamic Computing
Graph
Code generation
Model-driven engineering
Reinforcement learning
Cyber-Physical Systems
Runtime
Orchestration
Real-time systems
Theory of computation
Security and privacy
Design and analysis of algorithms
Routing
Diversity
DRAM
Documents avec texte intégral
142
Références bibliographiques
310
Open access
44 %
Collaborations par pays