Skip to Main content Skip to Navigation


...
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
...
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-03108576v1  Conference papers
Hakki Ulas UnalMarc R. RousselIslam BoussaadaSilviu-Iulian Niculescu. Insights from a qualitative analysis of a gene expression model with delays
24th International Symposium on Mathematical Theory of Networks and Systems, organisée par I. BOUSSAADA, G. MAZANTI, S.-I. NICULESCU, J. CHEN, 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-03223314v1  Conference papers
Spandan DeyGoutam SahaMd Sahidullah. Cross-Corpora Language Recognition: A Preliminary Investigation with Indian Languages
EUSIPCO 2021 – 29th European Signal Processing Conference, Aug 2021, Dublin / Virtual, Ireland
...
hal-03213188v1  Conference papers
Théo LacombeYuichi IkeMathieu CarriereFrédéric ChazalMarc Glisse et al.  Topological Uncertainty: Monitoring trained neural networks through persistence of activation graphs
2021 International Joint Conference on Artificial Intelligence, Aug 2021, Montréal, Canada
...
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
...
hal-03218278v1  Conference papers
Premjeet SinghGoutam SahaMd Sahidullah. Deep scattering network for speech emotion recognition
EUSIPCO 2021 – 29th European Signal Processing Conference, Aug 2021, Dublin, Ireland
...
hal-03115203v1  Conference papers
Waldez GomesPauline MauriceEloïse DalinJean-Baptiste MouretSerena Ivaldi. Improving Ergonomics at Work with Personalized Multi-Objective Optimization of Human Movements
AHFE 2021 - 12th International Conference on Applied Human Factors and Ergonomics and the Affiliated Conferences, Jul 2021, New York, United States
hal-03216603v1  Conference papers
Eloïse ZehnderJérôme DinetFrançois Charpillet. Social virtual agents and loneliness: Impact of virtual agent anthropomorphism on users’ feedbacks
12th International Conference on Applied Human Factors and Ergonomics (AHFE 2021), Jul 2021, New York, United States
...
hal-03115202v1  Conference papers
Lorenzo VianelloJean-Baptiste MouretEloïse DalinAlexis AubrySerena Ivaldi. Probabilistic estimation of postures during human-robot collaboration: an ergonomics perspective
12th International Conference on Applied Human Factors and Ergonomics and the Affiliated Conferences, AHFE 2021, Jul 2021, New York, United States
...
hal-03105666v1  Conference papers
Bertrand PetitManuel Serrano. Generative Music Using Reactive Programming
International Computer Music Conférence, Jul 2021, Santiago, Chile
...
hal-03157992v2  Conference papers
Yann ThanwerdasXavier Pennec. Geodesics and Curvature of the Quotient-Affine Metrics on Full-Rank Correlation Matrices
GSI 2021 - 5th conference on Geometric Science of Information, Jul 2021, Paris, France
...
hal-03205743v1  Conference papers
Mulugeta TamiruGuillaume PierreJohan TordssonErik Elmroth. mck8s: An orchestration platform for geo-distributed multi-cluster environments
ICCCN 2021 - 30th International Conference on Computer Communications and Networks, Jul 2021, Athens, Greece. pp.1-12
...
hal-03206689v1  Conference papers
Hamidreza ArkianGuillaume PierreJohan TordssonErik Elmroth. Model-based Stream Processing Auto-scaling in Geo-Distributed Environments
ICCCN 2021 - 30th International Conference on Computer Communications and Networks, Jul 2021, Athens, Greece. pp.1-11
...
hal-03219482v1  Conference papers
Guy ArbitmanShmuel KleinPierre PeterlongoDana Shapira. Approximate Hashing for Bioinformatics
CIAA 2021 - 25th International Conference on Implementation and Application of Automata, Jul 2021, Bremen, Germany
...
hal-02022062v2  Conference papers
Christophe CerisaraPaul CaillonGuillaume Le Berre. Unsupervised post-tuning of deep neural networks
IJCNN, Jul 2021, Virtual Event, United States
...
hal-03222657v1  Conference papers
Vincent DivolThéo Lacombe. Estimation and Quantization of Expected Persistence Diagrams
International Conference on Machine Learning, Jul 2021, Virtual Conference, France
...
hal-03218198v1  Conference papers
Lison Blondeau-PatissierPierre Clairambault. Positional Injectivity for Innocent Strategies
6TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION, Jul 2021, Buenos Aires, Argentina
...
hal-03017222v1  Conference papers
Vikas MishraPierre LaperdrixWalter RudametkinRomain Rouvoy. Déjà vu: Abusing Browser Cache Headers to Identify and Track Online Users
PETS 2021 - The 21th International Symposium on Privacy Enhancing Technologies, Jul 2021, Virtual, France
...
hal-03223444v1  Conference papers
Malcolm Egan. Dependence Testing via Extremes for Regularly Varying Models
IEEE International Symposium on Information Theory (ISIT), Jul 2021, Melbourne, Australia
...
hal-03183775v1  Conference papers
Gersende FortE Moulines. The perturbed prox-preconditioned spider algorithm: non-asymptotic convergence bounds
IEEE Statistical Signal Processing Workshop, Jul 2021, Rio de Janeiro, Brazil
...
hal-03183774v1  Conference papers
Gersende FortEric Moulines. The Perturbed Prox-Preconditioned SPIDER algorithm for EM-based large scale learning
IEEE Statistical Signal Processing Workshop, Jul 2021, Rio de Janeiro, Brazil
...
hal-03196365v1  Conference papers
Paul DufosséNikolaus Hansen. Augmented Lagrangian, penalty techniques and surrogate modeling for constrained optimization with CMA-ES
GECCO 2021 - The Genetic and Evolutionary Computation Conference, Jul 2021, Lille / Virtual, France
...
hal-03205870v1  Conference papers
Eugénie MarescauxNikolaus Hansen. Hypervolume in Biobjective Optimization Cannot Converge Faster Than Ω$(1/p)$
GECCO 2021 - The Genetic and Evolutionary Computation Conference, Jul 2021, Lille / Virtual, France
...
pasteur-03220556v1  Conference papers
Johann DreoArnaud LiefoogheSébastien VerelMarc SchoenauerJuan Merelo et al.  Paradiseo: From a Modular Framework for Evolutionary Computation to the Automated Design of Metaheuristics
2021 Genetic and Evolutionary Computation Conference, ACM Sigevo, Jul 2021, Lille, France
...
hal-03202437v1  Conference papers
Zakaria OurnaniRomain RouvoyPierre RustJoel Penhoat. Tales from the Code #1: The Effective Impact of Code Refactorings on Software Energy Consumption
ICSOFT 2021 - 16th International Conference on Software Technologies, Jul 2021, Virtual, France