Check our
Open Access Repository.
2024
62 publication(s):Note: when necessary, only the first 10 authors are displayed.Workshop/conference papers
- 31 -
-
Options Matter: Documenting and Fixing Non-Reproducible Builds in Highly-Configurable Systems
- Georges Aaron Randrianaina, Djamel Eddine Khelladi, Olivier Zendra, Mathieu Acher
- MSR 2024 - 21th International Conference on Mining Software Repository, Apr 2024, Lisbon, Portugal. pp.1-11. ⟨hal-04441579v2⟩
-
- 32 -
-
Skeletal Semantics of a Fragment of Python
- Martin Andrieux, Alan Schmitt
- 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France.
-
- 33 -
-
A Probabilistic Logic for Concrete Security
- David Baelde, Caroline Fontaine, Adrien Koutsos, Guillaume Scerri, Théo Vignon
- CSF 2024 - 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands.
-
- 34 -
-
Géopolitique numérique et cyber : les enjeux de la désinformation
- Brunessen Bertrand, Sandrine Turgis
- Conférence, Institut de Recherche et de Communication sur l'Europe (IRCE); Ecole Centrale d’Electronique (ECE), Apr 2024, Paris, France.
-
- 35 -
-
Le biodroit et les données de santé
- Brunessen Bertrand
- Quel modèle pour le biodroit de l’Union européenne ?, Chaire Jean Monnet EUBioethics, Mar 2024, Nancy, France.
-
- 36 -
-
La modération des contenus par les grandes plateformes numériques
- Brunessen Bertrand
- Ingérences et contre-ingérence, IHEMI; IHEDN; AFDSD, Mar 2024, Paris, France.
-
- 37 -
-
From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert
- Sandrine Blazy
- FASE 2024 - 27th International Conference on Fundamental Approaches to Software Engineering, Apr 2024, Luxembourg, Luxembourg. pp.1-21,
- DOI : https://doi.org/10.1007/978-3-031-57259-3_1
-
- 38 -
-
La Cour de justice face aux résistances des États membres à l'intégration en matière d'action extérieure
- Isabelle Bosse-Platière
- Conférence, Université Côte d'Azur; IDPD; LADIE, Jan 2024, Nice, France.
-
- 39 -
-
MIMIR: Modelling user Intentions with Markov chains for Intention Recommendations
- Romain Brisse, Simon Boche, Frédéric Majorczyk, Jean-François Lalande
- ICDF 2024 - Twentieth Annual IFIP WG 11.9 International Conference on Digital Forensics, Jan 2024, New Delhi, India. pp.1-23.
-
- 40 -
-
FTM-Broadcast : Détermination efficace de coordonnées sur un réseau à grande échelle
- Yann Busnel, Hervé Rivano
- CoRes 2024: 9èmes Rencontres Francophones sur la Conception de Protocoles, l'Évaluation de Performance et l'Expérimentation des Réseaux de Communication, May 2024, Saint-Briac-sur-Mer, France.
-