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
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⟩
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⟩
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. 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⟩
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⟩
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⟩
Théo Zimmermann, Jean-Rémy Falleri. A grounded theory of Community Package Maintenance Organizations.
Empirical Software Engineering
, 2023, 28 (4), pp.101.
⟨10.1007/s10664-023-10337-4⟩
.
⟨hal-03976601⟩
Romain Lefeuvre, Jessie Galasso, Benoit Combemale, Houari Sahraoui, Stefano Zacchiroli. Fingerprinting and Building Large Reproducible Datasets.
ACM REP '23: Proceedings of the 2023 ACM Conference on Reproducibility and Replicability
, 2023,
⟨10.5281/zenodo.7989955⟩
.
⟨hal-04132604⟩
Roberto Di Cosmo, Stefano Zacchiroli. The Software Heritage Open Science Ecosystem.
Software Ecosystems
, Springer International Publishing, pp.33-61, 2023,
⟨10.1007/978-3-031-36060-2_2⟩
.
⟨hal-04240651⟩
Mingming Qiu. Designing smart home services using machine learning and knowledge-based approaches. Machine Learning [cs.LG]. Institut Polytechnique de Paris, 2023. English.
⟨NNT : 2023IPPAT014⟩
.
⟨tel-04299086⟩
Nan Li. Real-time and efficient control for autonomous racing. Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris, 2023. English.
⟨NNT : 2023IPPAT008⟩
.
⟨tel-04061550⟩
Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano. A Game Theoretic Approach to Attack Graphs.
ICAART 2023 - 15th International Conference on Agents and Artificial Intelligence
, Feb 2023, Lisbon, Portugal. pp.347-354,
⟨10.5220/0011776900003393⟩
.
⟨hal-04336262⟩
Yiming Sun, Daniel M. German, Stefano Zacchiroli. Using the Uniqueness of Global Identifiers to Determine the Provenance of Python Software Source Code.
Empirical Software Engineering
, In press,
⟨10.1007/s10664-023-10317-8⟩
.
⟨hal-04101937⟩
Jesús M. González-Barahona, Sergio Montes-Leon, Gregorio Robles, Stefano Zacchiroli. The Software Heritage License Dataset (2022 Edition).
Empirical Software Engineering
, In press,
⟨10.1007/s10664-023-10377-w⟩
.
⟨hal-04180447⟩
Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno Traverson. Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services.
2022 21st IEEE International Conference on Machine Learning and Applications (ICMLA)
, Dec 2022, Nassau, Bahamas. pp.7-14,
⟨10.1109/ICMLA55696.2022.00010⟩
.
⟨hal-03860833⟩
Adda-Akram Bendoukha, Oana Stan, Renaud Sirdey, Nicolas Quero, Luciano Freitas. Practical homomorphic evaluation of block-cipher-based hash functions with applications.
15th International Symposium on Foundations & Practice of Security
, Dec 2022, Ottawa, Canada. pp.88-103,
⟨10.1007/978-3-031-30122-3_6⟩
.
⟨cea-04463301⟩
Davide Catta, Jean Leneutre, Vadim Malvone. Towards a Formal Verification of Attack Graphs.
SPIRIT 2022 - Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy
, Nov 2022, Udine, Italy.
⟨hal-04336392⟩
Guy Saadon. New architecture and function to improve autonomy, dynamicity, and intelligence of future network management. Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2022. English.
⟨NNT : 2022IPPAT042⟩
.
⟨tel-03910691⟩
Maxime Ayrault. Dynamic Defenses for Improved Resilience of Connected Cars. Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris, 2022. English.
⟨NNT : 2022IPPAT032⟩
.
⟨tel-04498523⟩
Nan Li, Eric Goubault, Laurent Pautet, Sylvie Putot. A Real-Time NMPC Controller for Autonomous Vehicle Racing.
2022 6th International Conference on Automation, Control and Robots (ICACR)
, Sep 2022, Shanghai, China. pp.148-155,
⟨10.1109/ICACR55854.2022.9935523⟩
.
⟨hal-04009646⟩
Zeinab Abou Khalil, Stefano Zacchiroli. Software Artifact Mining in Software Engineering Conferences: A Meta-Analysis.
ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2022)
, Sep 2022, Helsinki, Finland.
⟨10.1145/3544902.3546239⟩
.
⟨hal-03723556⟩
Daniele Serafini, Stefano Zacchiroli. Efficient Prior Publication Identification for Open Source Code.
18th International Conference on Open Source Systems (OSS 2022)
, Sep 2022, Madrid, Spain.
⟨hal-03735961⟩
Davide Catta, Jean Leneutre, Vadim Malvone. Subset sabotage games & attack graphs.
WOA 2022 - 23rd Workshop From Objects to Agents
, Sep 2022, Genova, Italy.
⟨hal-04336385⟩
Mots clés
Cyber-physical systems
Functional package management
Ethereum
Reinforcement learning
Conferences
Chiffrement
Permissionless
Real-Time Systems
Code generation
Copyright
Model-driven engineering
Algorithms
Multi processor architecture
Embedded systems
Affine tasks
AADL
Attack Graphs
ETCS
Asynchronous
Autonomic Computing
Argumentation
Domain-Specific language
Distributed algorithms
Autonomic computing
Lattice agreement
Logics in Games
Real-time systems
Runtime
Design and analysis of algorithms
Formal Verification
Cyber-Physical Systems
Scheduling
Computational modeling
Requirements engineering
ATL
Real-time Systems
Coq
Diversity
SBaaS
Access control
DVFS
Architecture
Blockchain
Game Theory
Commit
Génie logiciel
Open source
Theory of computation
Criticality nuclear fission
Dynamic Computing
Robustness
Sabotage Games
Critical systems
Complexity
Intellectual property
Timing
Orchestration
Linearizability
GAN
Physical unclonable function
Routing
Automata
Observers
Memory Controller
Ocarina
Failure detectors
Mixed criticalities
Authentication
Stack Cache
Computer architecture
Intrusion Detection System
Agent organisations
Adversarial machine learning
Dataset
Smart home
Higman's lemma
Open source software
Scalability
Real time systems
Intrusion detection systems
Consensus
Maison intelligente
Energy efficiency
Cloud Computing
Self-adaptive
Explainable AI
DRAM
Graph
Reproducibility
Program Analysis
Privacy
Mixed-criticality systems
Conception de services
Security
AADL/ALISA
Natural language processing
Security and privacy
Software engineering
Internet of Things
Machine learning
Documents avec texte intégral
Références bibliographiques
310
Open access
42 %
Collaborations par pays