Skip to Main content Skip to Navigation


...
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-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-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-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-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-03354883v1  Conference papers
Daniel Rodrigues CarvalhoAndré Seznec. Conciliating Speed and Efficiency on Cache Compressors
The 39th IEEE International Conference on Computer Design, Oct 2021, Virtual, United States
...
hal-03327140v1  Conference papers
Daniel ZhuArnaud MartinJean-Christophe DuboisYolande Le GallVincent Lemaire. Modèle crédibiliste pour l'échantillonnage en apprentissage actif
Rencontres francophones sur la logique floue et ses applications, Oct 2021, Paris, France
...
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-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-03355253v1  Conference papers
Gwendal JouneauxOlivier BaraisBenoit CombemaleGunter Mussbacher. SEALS: A framework for building Self-Adaptive Virtual Machines
Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering (SLE '21), Oct 2021, Chicago, United States. ⟨10.1145/3486608.3486912⟩
...
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-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-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⟩
...
hal-03340174v1  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-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-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-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-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
...
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-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-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-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-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-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-03339657v1  Conference papers
Ketty FavreMuriel PressigoutEric MarchandLuce Morin. Recalage basé plans de nuages de points pour la navigation dans des environnements structurés
ORASIS 2021 - 18ème édition des journées francophones des jeunes chercheurs en vision par ordinateur, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France. pp.1-8
...
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-03265600v1  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-03339619v1  Conference papers
Jean-Christophe BurnelLuc CourtraiSébastien Lefèvre. Ajouter une modalité complementaire sans annotations
ORASIS 2021, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
...
hal-03339649v1  Conference papers
Manal HamzaouiLaetitia ChapelMinh-Tan PhamSébastien LefÈvre. Hyperbolic Variational Auto-Encoder for Remote Sensing Scene Classification
ORASIS 2021, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
...
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-03339638v1  Conference papers
Iris de GelisSébastien LefèvreThomas Corpetti. Détection de changements urbains 3D par un réseau Siamois sur nuage de points
ORASIS 2021, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
...
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-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-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-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-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-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-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-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-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-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