Skip to Main content Skip to Navigation


...
hal-03372669v1  Conference papers
Duc Hau NguyenGuillaume GravierPascale Sébillot. A Study of the Plausibility of Attention between RNN Encoders in Natural Language Inference
ICMLA 2021 - 20th IEEE International Conference on Machine Learning and Applications, Dec 2021, Pasadena, United States. pp.1-7
...
hal-03343002v2  Conference papers
Shenghao YuanJean-Pierre Talpin. Verified functional programming of an IoT operating system's bootloader
MEMOCODE 2021 - 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Nov 2021, Beijing, China. pp.1-16
...
hal-03351957v1  Conference papers
Mathieu EscouteloupRonan LashermesJacques FournierJean-Louis Lanet. Under the dome: preventing hardware timing information leakage
CARDIS 2021 - 20th Smart Card Research and Advanced Application Conference, Nov 2021, Lübeck, Germany. pp.1-20
...
hal-03341379v1  Conference papers
Nicola de CarliPaolo SalarisPaolo Robuffo Giordano. Online Decentralized Perception-Aware Path Planning for Multi-Robot Systems
MRS 2021 - 3rd IEEE International Symposium on Multi-Robot and Multi-Agent Systems, Nov 2021, Cambridge, United Kingdom. pp.1-9
...
hal-03338520v1  Conference papers
Thomas BouvierAlexandru CostanGabriel Antoniu. Deploying Heterogeneity-aware Deep Learning Workloads on the Computing Continuum
BDA 2021 - 37e Conférence sur la Gestion de Données - Principes, Technologies et Applications, Oct 2021, Paris, France
...
hal-03332524v1  Conference papers
Daniel RosendoAlexandru CostanGabriel AntoniuPatrick Valduriez. Enabling Reproducible Analysis of Complex Workflows on the Edge-to-Cloud Continuum
BDA 2021 - 37e Conférence sur la Gestion de Données - Principes, Technologies et Applications, Philippe Rigaux, Oct 2021, Paris, France
...
hal-03354883v1  Conference papers
Daniel Rodrigues CarvalhoAndré Seznec. Conciliating Speed and Efficiency on Cache Compressors
ICCD 2021 - 39th IEEE International Conference on Computer Design, Oct 2021, Virtual, United States. pp.1-5
...
hal-03347679v1  Conference papers
Maxime BuronCheikh Brahim El VaighFrançois Goasdoué. Towards Faster Reformulation-based Query Answering on RDF Graphs with RDFS Ontologies
International Semantic Web Conference (ISWC), Oct 2021, Online, United States
...
hal-03347688v1  Conference papers
Wafaa El HusseiniCheikh Brahim El VaighFrançois GoasdouéHélène Jaudoin. Ontology-Mediated Query Answering: Performance Challenges and Advances
International Semantic Web Conference (ISWC), Oct 2021, Online, United States
...
hal-03363999v1  Conference papers
Hanwei ZhangYannis AvrithisTeddy FuronLaurent Amsaleg. Patch Replacement: A Transformation-based Method to Improve Robustness against Adversarial Attacks
Trustworthy AI 2021 - 1st International Workshop on Trustworthy AI for Multimedia Computing, Oct 2021, Virtual, China. pp.1-10, ⟨10.1145/3475731.3484955⟩
...
hal-03355253v1  Conference papers
Gwendal JouneauxOlivier BaraisBenoit CombemaleGunter Mussbacher. SEALS: A framework for building Self-Adaptive Virtual Machines
SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486912⟩
...
hal-03342997v1  Conference papers
Lucas FranceschinoJean-Pierre TalpinDavid Pichardie. Verified Functional Programming of an Abstract Interpreter
SAS 2021 - 28th Static Analysis Symposium, Oct 2021, Chicago, United States. pp.1-20
...
hal-03318816v1  Conference papers
Gwendal JouneauxOlivier BaraisBenoit CombemaleGunter Mussbacher. Towards Self-Adaptable Languages
Onward! 2021 - ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Oct 2021, Chicago, United States. pp.1-16
...
hal-03329646v1  Conference papers
Ketty FavreMuriel PressigoutEric MarchandLuce Morin. Plane-based Accurate Registration of Real-world Point Clouds
SMC 2021 - IEEE International Conference on Systems, Man, and Cybernetics, Oct 2021, Melbourne / Virtual, Australia. pp.1-6
...
hal-03358061v1  Conference papers
Dorian LeroyBenoît LelandaisMarie-Pierre OudotBenoit Combemale. Monilogging for Executable Domain-Specific Languages
SLE 2021 - 13th International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486906⟩
...
hal-03348663v1  Conference papers
Constance ThierryArnaud MartinJean-Christophe DuboisYolande Le Gall. Validation of Smets' hypothesis in the crowdsourcing environment
6th International Conference on Belief Functions, Oct 2021, Shanghai, China
...
hal-03355162v1  Conference papers
Gauthier LyanJean-Marc JézéquelDavid Gross-AmblardBenoit Combemale. DataTime: a Framework to smoothly Integrate Past, Present and Future into Models
MODELS 2021 - ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Fukuoka, Japan. pp.1-11
...
hal-03342678v1  Conference papers
Romain BelafiaPierre JeanjeanOlivier BaraisGurvan Le GuernicBenoit Combemale. From Monolithic to Microservice Architecture: The Case of Extensible and Domain-Specific IDEs
MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Virtual, Japan. pp.1-10
...
hal-03310533v1  Conference papers
Rita FermanianMikael Le PenduChristine Guillemot. Regularizing the Deep Image Prior with a Learned Denoiser for Linear Inverse Problems
MMSP 2021 - IEEE 23rd International Workshop on Multimedia Siganl Processing, Oct 2021, Tampere, Finland. pp.1-6
...
hal-03243791v2  Conference papers
Lucas RobidouPierre Peterlongo. findere: fast and precise approximate membership query
SPIRE 2021 - The 28th annual Symposium on String Processing and Information Retrieval, Oct 2021, Lille / Virtual, France. ⟨10.1101/2021.05.31.446182⟩
...
inserm-03366318v1  Conference papers
Jonathan Rafael-PatinoGabriel GirardRaphaël TruffetMarco PizzolatoJean-Philippe Thiran et al.  The Microstructural Features of the Diffusion-Simulated Connectivity (DiSCo) Dataset
CDMRI 2021 - International Workshop on Computational Diffusion MRI, Oct 2021, Strasbourg, France. pp.159-170, ⟨10.1007/978-3-030-87615-9_14⟩
...
hal-03324177v1  Journal articles
Ronan-Alexandre CherrueauMarie DelavergneAlexandre van KempenAdrien LebreDimitri Pertin et al.  EnosLib: A Library for Experiment-Driven Research in Distributed Computing
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, In press, pp.1-15. ⟨10.1109/TPDS.2021.3111159⟩
...
hal-03356199v1  Conference papers
Gauthier LyanDavid Gross-AmblardJean-Marc Jézéquel. On the Quality of Compositional Prediction for Prospective Analytics on Graphs
DaWaK 2021 - 23rd International Conference on Big Data Analytics and Knowledge Discovery, Sep 2021, Linz, Austria. pp.91-105, ⟨10.1007/978-3-030-87101-7_10⟩
...
hal-03340174v2  Conference papers
Quentin Le DilavrecDjamel KhelladiArnaud BlouinJean-Marc Jézéquel. Untangling Spaghetti of Evolutions in Software Histories to Identify Code and Test Co-evolutions
ICMSE'21 - 37th International Conference on Software Maintenance and Evolution, Sep 2021, Virtual Event, Luxembourg. pp.1-11
...
hal-03335292v1  Conference papers
Zane ZakeFrançois ChaumetteNicolò PedemonteStéphane Caro. Moving-Platform Pose Estimation for Cable-Driven Parallel Robots
IROS 2021 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Sep 2021, Prague, Czech Republic. pp.1-8
...
hal-03358968v2  Directions of work or proceedings
Olivier CommowickFrédéric CervenanskyFrançois CottonMichel Dojat. MSSEG-2 challenge proceedings: Multiple sclerosis new lesions segmentation challenge using a data management and processing infrastructure
MICCAI 2021 - 24th International Conference on Medical Image Computing and Computer Assisted Intervention, Sep 2021, Strasbourg, France. pp.126, 2021
...
hal-02566149v1  Conference papers
Ayman ChouayakhAurelien BechlerIsabel AmigoLoutfi NuaymiPatrick Maillé. An ascending implementation of the Vickrey-Clarke-Groves mechanism for the Licensed Shared Access
NETGCOOP 2020: 10th International Conference on NETwork Games, COntrol and OPtimization, Sep 2021, Cargèse, France
...
hal-03207589v3  Conference papers
Kerian ThuillierCaroline BaroukhAlexander BockmayrLudovic CottretLoïc Paulevé et al.  Learning Boolean controls in regulated metabolic networks: a case-study
CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France
...
hal-02558542v1  Journal articles
Jean-Christophe BurnelKilian FatrasRémi FlamaryNicolas Courty. Generating natural adversarial Remote Sensing Images
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2021
...
hal-03281394v1  Conference papers
Albert BenvenisteBenoît CaillaudMathias Malandain. Compile-Time Impulse Analysis in Modelica
MODELICA 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
...
hal-03281410v1  Conference papers
Albert BenvenisteBenoît CaillaudMathias Malandain. Handling Multimode Models and Mode Changes in Modelica
Modelica 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
...
hal-03320499v1  Conference papers
Benoît CaillaudMathias MalandainAlbert Benveniste. A Reduced Index Mode-Independent Structure Model Transformation for Multimode Modelica Models
MODELICA 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
...
tel-03351598v1  Theses
Mulugeta Ayalew Tamiru. Automatic Resource Management in Geo-Distributed Multi-Cluster Environments
Operating Systems [cs.OS]. Université de Rennes 1, 2021. English
...
hal-03233522v1  Conference papers
Zhaolin XiaoM Eng ZhangHaiyan JinChristine Guillemot. A light field FDL-HSIFT feature in scale-disparity space
ICIP 2021 - IEEE International Conference on Image Processing, Sep 2021, Anchorage, United States. pp.1-5
...
hal-03276700v1  Conference papers
Grégory SmitsMarie-Jeanne LesotOlivier PivertRonald Yager. Flexible Querying using Disjunctive Concepts
International Conference on Flexible Query Answering Systems, Sep 2021, Bratislava, Slovakia
...
hal-03234791v1  Conference papers
Thibault MahoBenoît BonnetTeddy FuronErwan Le Merrer. RoBIC: A benchmark suite for assessing classifiers robustness
ICIP 2021 - IEEE International Conference on Image Processing, Sep 2021, Anchorage, Alaska, United States. pp.1-5, ⟨10.1109/ICIP42928.2021.9506053⟩
...
hal-03236409v1  Conference papers
Heng ZhangElisa FromontSébastien LefèvreBruno Avignon. Deep Active Learning from Multispectral Data Through Cross-Modality Prediction Inconsistency
ICIP 2021 - 28th IEEE International Conference on Image Processing, Sep 2021, Anchorage, United States. pp.1-5
...
hal-03347664v1  Conference papers
Cheikh Brahim El VaighFrançois Goasdoué. A Well-founded Graph-based Summarization Framework for Description Logics
International worshop on Description Logics, Sep 2021, Bratislava, Slovakia
...
hal-03354035v1  Books
Joshua BowdenFrancois TessierCharles DeltelSimone BnàGabriel Antoniu. In-situ visualization using Damaris: the Code Saturne use case
PRACE: Partnership for Advanced Computing in Europe. 2021, PRACE White Papers
...
hal-03349919v1  Conference papers
Pierre RaimbaudAlberto JovaneKatja ZibrekClaudio PacchierottiMarc Christie et al.  Reactive Virtual Agents: A Viewpoint-Driven Approach for Bodily Nonverbal Communication
IVA 2021: ACM International Conference on Intelligent Virtual Agents, Sep 2021, Virtual Event Japan, France. pp.164-166, ⟨10.1145/3472306.3478351⟩
...
hal-03337036v1  Conference papers
Véronne Yepmo TchagheGrégory SmitsOlivier Pivert. A Classification of Anomaly Explanation Methods
Advances in Interpretable Machine Learning and Artificial Intelligence (AIMLAI), Sep 2021, (Online), France
...
hal-03327629v1  Conference papers
Daniel ZhuArnaud MartinYolande Le GallJean-Christophe DuboisVincent Lemaire. Evidential Nearest Neighbours in Active Learning
Worksop on Interactive Adaptive Learning (IAL) - ECML-PKDD, Sep 2021, Bilbao, Spain
...
hal-03326636v1  Conference papers
Mathieu ChambardThomas GuyetYên-Lan NguyenEtienne Audureau. Temporal phenotyping for characterisation of hospital care pathways of COVID19 patients
AALTD 2021 - The 6th International Workshop on Advanced Analytics and Learning on Temporal Data, Sep 2021, Bilbao / Virtual, Spain. pp.1-16
...
hal-03346756v1  Conference papers
Davide FreyLucie GuillouMichel RaynalFrançois Taïani. Consensus-Free Ledgers When Operations of Distinct Processes are Commutative
PaCT 2021 - 16th International Conference on Parallel Computing Technologies, Sep 2021, Kaliningrad, Russia. pp.359-370, ⟨10.1007/978-3-030-86359-3_27⟩
...
hal-03339646v1  Conference papers
Javiera Castillo-NavarroBertrand Le SauxAlexandre BoulchSébastien Lefèvre. Energy-based Models for Earth Observation Applications
ORASIS 2021, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
...
hal-03265600v2  Conference papers
Jerome HenryYann BusnelRomaric LudinardNicolas Montavont. Ranging and Location attacks on 802.11 FTM
PIMRC 2021: IEEE 32nd Annual International Symposium on Personal, Indoor and Mobile Radio Communications, Sep 2021, Oulu, Finland. pp.1-6
...
hal-03350039v1  Conference papers
Sebastian VizcayPanagiotis KourtesisFerran Argelaguet SanzClaudio PacchierottiMaud Marchal. Electrotactile Feedback For Enhancing Contact Information in Virtual Reality
ICAT-EGVE 2021 - International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments, Sep 2021, Sankt Augustin, Germany. ⟨10.2312/egve.20211331⟩
...
hal-03356642v1  Conference papers
Rafik DrissiRonan GaugneThéophane NicolasValérie Gouranton. Immersive Volumetric Point Cloud Manipulation for Cultural Heritage
ICAT-EGVE 2021 - 31th International Conference on Artificial Reality and Telexistence (ICAT 2021) and the 26th Eurographics Symposium on Virtual Environments (EGVE 2021), Sep 2021, Sankt Augustin, Germany. pp.1-5
...
hal-03300796v2  Conference papers
Ovidiu-Cristian MarcuAlexandru CostanBogdan NicolaeGabriel Antoniu. Virtual Log-Structured Storage for High-Performance Streaming
Cluster 2021 - IEEE International Conference on Cluster Computing, Sep 2021, Portland / Virtual, United States. pp.1-11
...
hal-03310540v1  Conference papers
Daniel RosendoAlexandru CostanGabriel AntoniuMatthieu SimoninJean-Christophe Lombardo et al.  Reproducible Performance Optimization of Complex Applications on the Edge-to-Cloud Continuum
Cluster 2021 - IEEE International Conference on Cluster Computing, Sep 2021, Portland, OR, United States
...
hal-03340008v1  Conference papers
Camille Le BonErven RohouFrédéric TronelGuillaume Hiet. DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification
SILM 2021 - Workshop on the Security of Software / Hardware Interfaces, Sep 2021, digital event, Austria. pp.1-10
...
hal-03335263v1  Conference papers
Hugo MartinMathieu AcherJuliana PereiraJean-Marc Jézéquel. A comparison of performance specialization learning for configurable systems
SPLC 2021 - 25th ACM International Systems and Software Product Line Conference, Sep 2021, Leicester, United Kingdom. pp.1-11, ⟨10.1145/3461001.3471155⟩
...
hal-03284626v1  Conference papers
Johann MortaraXhevahire TërnavaPhilippe ColletAnne-Marie Dery-Pinna. Extending the Identification of Object-Oriented Variability Implementations using Usage Relationships
SPLC 2021 - 25th ACM International Systems and Software Product Line Conference, Sep 2021, Leicester, United Kingdom. pp.1-8, ⟨10.1145/3461002.3473943⟩
...
hal-03286127v1  Conference papers
Luc LesoilMathieu AcherXhevahire TërnavaArnaud BlouinJean-Marc Jézéquel. The Interplay of Compile-time and Run-time Options for Performance Prediction
SPLC 2021 - 25th ACM International Systems and Software Product Line Conference - Volume A, Sep 2021, Leicester, United Kingdom. pp.1-12, ⟨10.1145/3461001.3471149⟩
...
hal-03329311v1  Conference papers
Stéphane KastenbaumBenoît BoyerJean-Pierre Talpin. A Mechanically Verified Theory of Contracts
ICTAC 2021 - 18th International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan, Kazakhstan. pp.134-151, ⟨10.1007/978-3-030-85315-0_9⟩
...
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-03371917v1  Conference papers
Cyrielle MallartMichel Le NouyGuillaume GravierPascale Sébillot. Active Learning for Interactive Relation Extraction in a French Newspaper's Articles
RANLP 2021 - Recent Advances in Natural Language Processing, Sep 2021, Online, Bulgaria. pp.1-9
...
hal-03335184v1  Conference papers
Kameswar Rao VaddinaLaurent LefèvreAnne-Cécile Orgerie. Experimental Workflow for Energy and Temperature Profiling on HPC Systems
ISCC 2021 - IEEE Symposium on Computers and Communications, Sep 2021, Athens, Greece. pp.1-7
...
hal-03259438v1  Conference papers
Arnaud LodsEric AnquetilSébastien Macé. Segmentation and graph matching for online analysis of student arithmetic operations
16th International Conference on Document Analysis and Recognition, Sep 2021, Lausanne, Switzerland
...
hal-03229957v1  Conference papers
William MocaërEric AnquetilRichard Kulpa. Online Spatio-Temporal 3D Convolutional Neural Network for Early Recognition of Handwritten Gestures
ICDAR 2021 - 16th International Conference on Document Analysis and Recognition, Sep 2021, Lausanne, Switzerland. pp.1-16
...
hal-03331738v1  Conference papers
Jade MekkiGwénolé LecorvéDelphine BattistelliNicolas Béchet. TREMoLo-Tweets: a Multi-Label Corpus of French Tweets for Language Register Characterization
RANLP 2021 - Recent Advances in Natural Language Processing, Sep 2021, Varna, Bulgaria
...
hal-03350599v1  Journal articles
Rémi GribonvalAntoine ChatalicNicolas KerivenVincent SchellekensLaurent Jacques et al.  Sketching Data Sets for Large-Scale Learning: Keeping only what you need
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2021, 38 (5), pp.12-36. ⟨10.1109/MSP.2021.3092574⟩
...
hal-03347874v1  Journal articles
Michel Raynal. On the Versatility of Bracha’s Byzantine Reliable Broadcast Algorithm
Parallel Processing Letters, World Scientific Publishing, 2021, 31 (03), pp.1-7. ⟨10.1142/S0129626421500067⟩
...
hal-03346710v1  Journal articles
Alex AuvolatDavide FreyMichel RaynalFrançois Taïani. Byzantine-Tolerant Causal Broadcast
Theoretical Computer Science, Elsevier, 2021, 885, pp.55-68. ⟨10.1016/j.tcs.2021.06.021⟩
...
hal-03374571v1  Conference papers
Aurélie LemaitreJean Camillerapp. Segmentation of historical maps without annotated data
6th International Workshop on Historical Document Imaging and Processing (HIP’21), Sep 2021, Lausanne, France. ⟨10.1145/3476887.3476909⟩
...
hal-03251160v1  Conference papers
Zane ZakeFrançois ChaumetteNicolò PedemonteStéphane Caro. Control Stability Workspace for a Cable-Driven Parallel Robot Controlled by Visual Servoing
Proceedings of the 5th International Conference on Cable-Driven Parallel Robots, CableCon 2021, Sep 2021, virtual, France. pp.284-296, ⟨10.1007/978-3-030-75789-2_23⟩
...
hal-03337117v1  Conference papers
Belaid HamoumElsa DuprazLaura Conde-CanenciaDominique Lavenier. Channel Model with Memory for DNA Data Storage with Nanopore Sequencing
ISTC 2021 - 11th International Symposium on Topics in Coding, Aug 2021, Montreal, Canada. pp.1-5
...
hal-03263551v1  Conference papers
Stefano TavonattiDavaadorj BattulgaMozhdeh FarhadiCarlo CapriniDaniele Miorandi. An experimental evaluation of the scalability of permissioned blockchains
FiCloud 2021 - 8th International Conference on Future Internet of Things and Cloud, Aug 2021, Rome / Virtual, Italy. pp.1-8
...
hal-03257252v1  Conference papers
Mozhdeh FarhadiGuillaume PierreDaniele Miorandi. Towards automated privacy compliance checking of applications in Cloud and Fog environments
FiCloud 2021 - 8th International Conference on Future Internet of Things and Cloud, Aug 2021, Rome / Virtual, Italy. pp.1-8
...
hal-01544609v5  Journal articles
Rémi GribonvalGilles BlanchardNicolas KerivenYann Traonmilin. Compressive Statistical Learning with Random Feature Moments
Mathematical Statistics and Learning, EMS Publishing House, 2021, 3 (2), pp.113-164. ⟨10.4171/msl/20⟩
...
hal-03228787v1  Conference papers
Cheikh Brahim El VaighNoa GarciaBenjamin RenoustChenhui ChuYuta Nakashima et al.  GCNBoost: Artwork Classification by Label Propagation through a Knowledge Graph
ICMR 2021 - ACM International Conference on Multimedia Retrieval, Aug 2021, Taipei, Taiwan
...
hal-03280177v1  Conference papers
Abderaouf Nassim AmalouIsabelle PuautGilles Muller. WE-HML: hybrid WCET estimation using machine learning for architectures with caches
RTCSA 2021 - 27th IEEE International Conference on Embedded Real-Time Computing Systems and Applications, Aug 2021, Online Virtual Conference, France. pp.1-10
...
hal-03328395v1  Conference papers
Cassius PuodziusOlivier ZendraAnnelie HeuserLamine Noureddine. Accurate and Robust Malware Analysis through Similarity of External Calls Dependency Graphs (ECDG)
ARES 2021 - The 16th International Conference on Availability, Reliability and Security, Aug 2021, Virtual, Austria. pp.1-12, ⟨10.1145/3465481.3470115⟩
...
hal-03321834v1  Journal articles
Marco AggraviGiuseppe SirignanoPaolo Robuffo GiordanoClaudio Pacchierotti. Decentralized control of a heterogeneous human-robot team for exploration and patrolling
IEEE Transactions on Automation Science and Engineering, Institute of Electrical and Electronics Engineers, 2021, pp.1-17. ⟨10.1109/TASE.2021.3106386⟩