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-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-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-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-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-03211446v2  Conference papers
Julien BensmailFoivos FioravantesFionn Mc InerneyNicolas Nisse. The Largest Connected Subgraph Game
ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2021, La Rochelle, France
...
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
...
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-03212421v1  Conference papers
Ronan-Alexandre CherrueauMarie DelavergneAdrien Lebre. Geo-Distribute Cloud Applications at the Edge
EURO-PAR 2021 - 27th International European Conference on Parallel and Distributed Computing, Aug 2021, Lisbon, Portugal
...
hal-03170612v1  Conference papers
Denis NikitinCarlos Canudas de WitPaolo Frasca. Scale-free boundary control of multiple aggregates in large-scale networks
MTNS 2020 - 24th International Symposium on Mathematical Theory of Networks and Systems, Aug 2021, Cambridge, United Kingdom. pp.1-5
...
hal-02463452v2  Conference papers
Guilherme MazantiIslam BoussaadaSilviu-Iulian NiculescuYacine Chitour. Effects of Roots of Maximal Multiplicity on the Stability of Some Classes of Delay Differential-Algebraic Systems: The Lossless Propagation Case
24th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2021), Aug 2021, Cambridge, United Kingdom
...
hal-02893005v1  Conference papers
Jean AuriolIslam BoussaadaHugues MounierSilviu-Iulian Niculescu. Torsional-vibrations Damping in Drilling Systems: Multiplicity-Induced-Dominancy based design
24th International Symposium on Mathematical Theory of Networks and Systems, Organisé par: I. BOUSSAADA, G. MAZANTI, S-I. NICULESCU, J. CHEN, Aug 2021, Cambridge, United Kingdom
...
hal-03158705v1  Conference papers
Yutaka YamamotoCatherine Bonnet. Bézout Identity in Pseudoratoinal Transfer Functions
MTNS 2020 - 24th International Symposium on Mathematical Theory of Networks and Systems, Aug 2021, Cambridge, France
...
hal-03143737v1  Conference papers
Liz IzhikevichRenata TeixeiraZakir Durumeric. LZR: Identifying Unexpected Internet Services
USENIX Security 2021 - 30th USENIX Security Symposium, Aug 2021, Vancouver / Virtual, Canada