Skip to Main content Skip to Navigation


...
hal-02955853v1  Journal articles
Liudmila TumashCarlos Canudas de WitMaria Laura Delle Monache. Boundary Control Design for Traffic with Nonlinear Dynamics
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, In press
...
hal-03176638v1  Lectures
Olivier Ridoux. Histoires d'innovation
École d'ingénieur. France. 2021
...
hal-03182950v1  Conference papers
Téo SanchezBaptiste CaramiauxJules FrançoiseFrédéric BevilacquaWendy E. Mackay. How do People Train a Machine? Strategies and (Mis)Understandings
CSCW 2021 - The 24th ACM Conference on Computer-Supported Cooperative Work and Social Computing, Oct 2021, Virtual, United States
...
hal-03134294v1  Conference papers
Cezara DragoiConstantin EneaBurcu Kulahcioglu OzkanRupak MajumdarFilip Niksic. Testing consensus implementations using communication closure
SPLASH 2020 : ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2021, Chiccago / Virtual, United States. ⟨10.1145/3428278⟩
...
hal-02965830v1  Conference papers
Rasha FaqehChristof FetzerHolger HerrmannsJörg HoffmannMichaela Klauck et al.  Towards Dynamic Dependable Systems through Evidence-Based Continuous Certification
ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2021, Rhodes, Greece
...
hal-02931314v1  Conference papers
Veeraruna KavithaEitan Altman. Controlling Packet Drops to Improve Freshness of information
Netgcoop 2020 - International Conference on NETwork Games, Control and Optimisation, Sep 2021, Cargese, France
...
hal-02931313v1  Conference papers
Eitan AltmanMandar DatarGhilas Ferrat. Maximizing amount of transferred traffic for battery powered mobiles
Netgcoop 2020 - International Conference on NETwork Games, Control and Optimisation, Sep 2021, Cargese, France
...
hal-02938850v1  Conference papers
Bruno GaujalJosu DoncelNicolas Gast. Vaccination in a Large Population: Mean Field Equilibrium versus Social Optimum
NETGCOOP 2020 - 10th International Conference on NETwork Games, COntrol and OPtimization, Sep 2021, Cargèse, France. pp.1-9
hal-03150821v1  Conference papers
Serge HaddadSusanna Donatelli. Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models
Proceedings of the 14th International Conference on Language and Automata Theory and Applications (LATA'20), Sep 2021, Milan, Italy
...
hal-03215527v1  Conference papers
Emilie BoutValeria LoscriAntoine Gallais. Évaluation de l'énergie et de la distance pour les attaques de brouillage dans les réseaux sans fil
: CORES 2021 – 6ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Sep 2021, La Rochelle, France
...
hal-03211446v2  Conference papers
Julien BensmailFoivos FioravantesFionn Mc InerneyNicolas Nisse. Connexions ! Le jeu du plus grand sous-graphe connexe
ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2021, La Rochelle, France
...
hal-03216768v1  Conference papers
Nina SantiBrandon FoubertNathalie Mitton. Comment générer des traces applicatives avec FIT IoT-LAB pour la science ouverte
CORES 2021 – 6ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Sep 2021, La Rochelle, France
...
hal-03219211v1  Conference papers
Yasir SaleemNathalie MittonValeria Loscri. QoS-aware Data Offloading for Vehicular Networks
CORES 2021 – 6ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Sep 2021, La Rochelle, France
...
hal-03221201v1  Conference papers
Hicham LesfariFrédéric Giroire. Une rencontre entre les noyaux de graphes et la détection d’anomalies dans les réseaux
ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2021, La Rochelle, France
...
hal-03218004v1  Conference papers
Christian SalimNathalie Mitton. Réduction de Données pour une agriculture intelligente
CORES 2021 – 6ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Sep 2021, La Rochelle, France
...
hal-03215569v1  Conference papers
Thomas RokickiClémentine MauricePierre Laperdrix. SoK: In Search of Lost Time: A Review of JavaScript Timers in Browsers
6th IEEE European Symposium on Security and Privacy (EuroS&P'21), Sep 2021, Vienna, Austria
hal-03174681v1  Conference papers
Nathalie BareilleMarion RobinLaurent BrunetLuc Delaby. Performance and health of Holstein and Montbéliarde dairy cows in organic systems
Organic World Congress 2021 - From its Roots, Organic Inspires Life, IFOAM ORGANICS INTERNATIONAL, Sep 2021, Nantes, France. 2 p
...
hal-03178425v1  Conference papers
Karthikeyan BhargavanAbhishek BichhawatQuoc DoPedram HosseyniRalf Küsters et al.  DY* : A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
EuroS&P 2021 - 6th IEEE European Symposium on Security and Privacy, Sep 2021, Virtual, Austria
...
hal-03066941v1  Conference papers
Raouf KerkoucheGergely ÁcsClaude CastellucciaPierre Genevès. Compression Boosts Differentially Private Federated Learning
EuroS&P 2021 - 6th IEEE European Symposium on Security and Privacy, Sep 2021, Vienna, Austria. pp.1-15