Skip to Main content Skip to Navigation

hal-03070383v1  Conference papers
Frédéric ChampagnatCédric Herzet. Interpolating and translation-invariant approximations of parametric dictionaries
28th European Signal Processing Conference (EUSIPCO 2020), Dec 2021, Amsterdam, Netherlands
hal-02954037v1  Conference papers
Arnaud FavierNicolas GuittonneauLuciana ArantesAnne FladenmullerJonathan Lejeune et al.  Topology Aware Leader Election Algorithm for Dynamic Networks
PRDC 2020 - 25th IEEE Pacific Rim International Symposium on Dependable Computing, Dec 2021, Perth, Australia. ⟨10.1109/PRDC50213.2020.00011⟩
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-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, Aug 2021, Cambridge, United Kingdom
hal-03105666v1  Conference papers
Bertrand PetitManuel Serrano. Generative Music Using Reactive Programming
International Computer Music Conférence, Jul 2021, Santiago, Chile
hal-03017222v1  Conference papers
Vikas MishraPierre LaperdrixWalter RudametkinRomain Rouvoy. Déjà vu: Abusing Browser Cache Headers to Identify and Track Online Users
International Symposium on Privacy Enhancing Technologies (PoPETS), Jul 2021, Internet, France
hal-02951375v1  Conference papers
Benoit KuglerFlorence ForbesS. Douté. First order Sobol indices for physical models via inverse regression
52èmes Journées de Statistique de la Société Française de Statistique (SFdS), Jun 2021, Nice, France
hal-03046757v1  Conference papers
Manuel BarbosaGilles BartheKarthik BhargavanBruno BlanchetCas Cremers et al.  SoK: Computer-Aided Cryptography
SP 2020 - 42nd IEEE Symposium on Security and Privacy, May 2021, Virtual Conference, United States
hal-03109717v1  Conference papers
Giulio GrassiRenata TeixeiraChadi BarakatMark Crovella. Leveraging Website Popularity Differences to Identify Performance Anomalies
INFOCOM 2021 - IEEE International Conference on Computer Communications, May 2021, Vancouver, Canada
hal-02925036v1  Conference papers
David JourdanMélina SkourasEtienne VougaAdrien Bousseau. Printing-on-Fabric Meta-Material for Self-Shaping Architectural Models
Advances in Architectural Geometry 2020, Apr 2021, Paris, France
hal-02902465v2  Conference papers
Natkamon TovanichNicolas SouliéPetra Isenberg. Visual analytics of bitcoin mining pool evolution : on the road toward stability?
3rd International Workshop on Blockchains and Smart Contracts (BSC 2020-2021), held in conjunction with the 11th IFIP International Conference on New Technologies, Mobility and Security (IFIP NTMS 2021), Apr 2021, Paris, France
hal-03106797v1  Conference papers
Anaïs BadoualMisa ArizonoAudrey DenizotMathieu DucrosHugues Berry et al.  Simulation of Astrocytic Calcium Dynamics in Lattice Light Sheet Microscopy Images
IEEE International Symposium on Biomedical Imaging, Apr 2021, Nice, France
hal-03085554v1  Conference papers
Amir Teshome WonjigaLouis RillingChristine Morin. SLA Definition for Network Intrusion Detection Systems in IaaS Clouds
36th ACM/SIGAPP Symposium on Applied Computing (SAC ’21), Mar 2021, Virtual Event, Republic of Korea., South Korea. ⟨10.1145/3412841.3441885⟩
hal-03104144v1  Conference papers
Liat Peterfreund. Grammars for Document Spanners
ICDT 2021 - 24th International Conference on Extending Database Technology, Mar 2021, Nicosia / Virtual, Cyprus
hal-03090348v1  Conference papers
Yoonseok KoTamara RezkManuel Serrano. SecureJS Compiler: Portable Memory Isolation in JavaScript
SAC 2021 - The 36th ACM/SIGAPP Symposium On Applied Computing, Mar 2021, Gwangju / Virtual, South Korea
hal-03082170v1  Conference papers
Mohammad OjaroudiValeria Loscri. A Novel Design of Ultrathin Metasurface Structure for Terahertz Time-Domain Spectroscopy (THz-TDS) Applications
15th European Conference on Antennas and Propagation, Mar 2021, Düsseldorf, Germany
hal-03106247v1  Conference papers
Brandon FoubertNathalie Mitton. Routing Over Multiple Technologies with RODENT
Percom 2021 (Demo) - 19th International Conference on Pervasive Computing and Communications, Mar 2021, Kassel, Germany
hal-03059076v1  Conference papers
Jens GustedtRobert Seacord. C language mechanism for error handling and deferred cleanup
The 36th ACM/SIGAPP Symposium on Applied Computing (SAC'21), Mar 2021, virtuelle, South Korea. ⟨10.1145/3412841.3442116⟩
hal-03108231v1  Conference papers
Maxime BelairSylvie LaniepceJean-Marc Menaud. SNAPPY: Programmable Kernel-Level Policies for Containers
SAC 2021 - The 36th ACM/SIGAPP Symposium On Applied Computing, Mar 2021, Gwangju / Virtual, South Korea
hal-03030182v1  Conference papers
Federica CacciamaniArnaud ValladierEtienne MaheuxIgor KovalStanley Durrleman​ et al.  Timing and order of pathological events in Alzheimer's disease: focus on the trajectory of the awareness of cognitive decline
AD/PD 2021 - 15thInternational Conference on Alzheimer’s and Parkinson’s Diseases and related neurological disorders, Mar 2021, Barcelone, Spain
hal-03094566v1  Conference papers
Georges-Axel JaloyanClaire DrossMaroua MaalejYannick MoyAndrei Paskevich. Verication of Programs with Pointers in SPARK
ICFEM 2020: Formal Methods and Software Engineering, Mar 2021, Singapore, Singapore. pp.55-72, ⟨10.1007/978-3-030-63406-3_4⟩
hal-03107122v1  Conference papers
Pierre JeanjeanBenoit CombemaleOlivier Barais. IDE as Code: Reifying Language Protocols as First-Class Citizens
ISEC 2021 - Innovations in Software Engineering Conference, Feb 2021, Bhubaneswar / Virtual, India
hal-03051029v1  Conference papers
Clément Moulin-FrierPierre-Yves Oudeyer. Multi-Agent Reinforcement Learning as a Computational Tool for Language Evolution Research: Historical Context and Future Challenges
COMARL AAAI 2020-2021 - Challenges and Opportunities for Multi-Agent Reinforcement Learning, AAAI Spring Symposium Series, Feb 2021, Palo Alto, California / Virtual, United States