HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
hal-03653857v1  Conference papers
Basile ClémentAlbert Cohen. End-to-End Translation Validation for the Halide Language
OOPSLA 2022 - Conference on Object-Oriented Programming Systems, Languages, and Applications, Dec 2022, Auckland, New Zealand. ⟨10.1145/3527328⟩
...
hal-03461137v1  Conference papers
Mahyar Tourchi MoghaddamEric RuttenGuillaume Giraud. Hierarchical Control for Self-adaptive IoT Systems A Constraint Programming-Based Adaptation Approach
HICSS 2022 - Hawaii International Conference on System Sciences, Dec 2022, Hawaii, United States. pp.1-10
hal-03533746v1  Book sections
Jean-Louis DinhChristophe GodinEugenio Azpeitia. Introduction to to Computational Modeling of Multicellular Tissues
Plant Systems Biology, 2395, Springer New York, pp.107-145, 2022, Methods in Molecular Biology, ⟨10.1007/978-1-0716-1816-5_7⟩
hal-03432372v1  Book sections
Puviyarasu Subramaniam AnbuchezhianFarouk BelkadiCatherine da CunhaAbdelhamid Chriette. A Requirement Engineering Framework for Smart Cyber-Physical Production System
Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems, Springer International Publishing, pp.381-388, 2022, Lecture Notes in Mechanical Engineering, ⟨10.1007/978-3-030-90700-6_43⟩
...
hal-03418759v1  Book sections
Nicolas BelloirJérémy BuissonLionel Touseau. Model-Driven Engineering as the Interface for Tactical Operation Order of Mixed Robot/Human Platoons
Developments and Advances in Defense and Security, 255, Springer Singapore, pp.205-214, 2022, Smart Innovation, Systems and Technologies, ⟨10.1007/978-981-16-4884-7_16⟩
...
hal-03509562v1  Journal articles
Yohan Bonescki GumielLucas Emanuel Silva E OliveiraVincent ClaveauNatalia GrabarEmerson Cabrera Paraiso et al.  Temporal Relation Extraction in Clinical Texts
ACM Computing Surveys, Association for Computing Machinery, 2022, 54 (7), pp.1-36. ⟨10.1145/3462475⟩
...
hal-03398607v1  Journal articles
Yohan Bonescki GumielLucas Emanuel Silva E OliveiraVincent ClaveauNatalia GrabarEmerson Cabrera Paraiso et al.  Temporal Relation Extraction in Clinical Texts
ACM Computing Surveys, Association for Computing Machinery, 2022, 54 (7), pp.1-36. ⟨10.1145/3462475⟩
...
hal-03672578v1  Conference papers
Alexandre BorthomieuJean-Yves CourtonneVincent JostEmmanuel KriegerGuillaume Mandil et al.  Exploring the French economy with physical supply-use tables
14th ISIE SEM Conference: Transforming socio-economic metabolism in times of multiple crises, Sep 2022, Vienna, Austria
...
hal-03630086v1  Conference papers
Ayoub Belhadji. Des règles de quadrature dans les RKHSs à base de DPPs
GRETSI 2022 - XXVIIIème Colloque Francophone de Traitement du Signal et des Images, Sep 2022, Nancy, France. pp.1-4
hal-03445686v1  Conference papers
Junxiong WangImmanuel TrummerDebabrota Basu. UDO: Universal Database Optimization using Reinforcement Learning
Proceedings of the VLDB Endowment, Sep 2022, Sydney, Australia. pp.3402-3414, ⟨10.14778/3484224.3484236⟩
...
hal-03629785v1  Conference papers
Shakeel SheikhMd SahidullahFabrice HirschSlim Ouni. Robust Stuttering Detection via Multi-task and Adversarial Learning
EUSIPCO 2022 - 30th European Signal Processing Conference, Aug 2022, Belgrade, Serbia
...
hal-03673578v1  Conference papers
Cyril SolerRonak MolazemKartic Subr. A Theoretical Analysis of Compactness of the Light Transport Operator
SIGGRAPH 2022 - Conference and Exhibition on Computer Graphics and Interactive Techniques, Aug 2022, Vancouver, Canada. ⟨10.1145/3528233.3530725⟩
...
hal-03500056v1  Conference papers
David BaeldeStéphanie DelauneAdrien KoutsosSolène Moreau. Cracking the Stateful Nut
CSF 2022 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel
...
hal-03473179v1  Conference papers
Véronique CortierAntoine DallonStéphanie Delaune. A small bound on the number of sessions for security protocols
CSF 2022 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel
...
hal-03654060v1  Conference papers
Willem HeijltjesDominic HughesLutz Straßburger. Normalization Without Syntax
FSCD 2022, Aug 2022, Haifa, Israel
...
hal-03553505v1  Journal articles
Mario BarbareschiSalvatore BaroneAlberto BosioJie HanMarcello Traiola. A Genetic-algorithm-based Approach to the Design of DCT Hardware Accelerators
ACM Journal on Emerging Technologies in Computing Systems, Association for Computing Machinery, 2022, 18 (3), pp.1-25. ⟨10.1145/3501772⟩
hal-03658815v1  Conference papers
Zhao ZhangArmelle BrunBoyer Anne. Managing Learners' Memory Strength in a POMDP-based Learning Path Recommender System
23rd International Conference on Artificial Intelligence in Education, Jul 2022, Durham, United Kingdom
...
hal-02492780v5  Conference papers
Joachim NiehrenSylvain SalvatiRustam Azimov. Jumping Evaluation of Nested Regular Path Queries
38th International Conference on Logic Programming (ICLP'2022), Jul 2022, Haifa, Israel
hal-03556371v1  Conference papers
Jérôme DinetRui Nouchi. Promoting Physical Activity for Elderly People with Immersive Virtual Reality (IVR)
AHFE 2022 - 13th International Conference on Applied Human Factors and Ergonomics, Jul 2022, New York, United States
hal-03556366v1  Conference papers
Jérôme Dinet. Would you be friends with a robot?”: The impact of perceived autonomy and perceived risk
AHFE 2022 - 13th International Conference on Applied Human Factors and Ergonomics, Jul 2022, New York, United States
...
hal-03676312v1  Conference papers
Hicham LesfariFrédéric GiroireStéphane Pérennes. Biased Majority Opinion Dynamics: Exploiting graph $k$-domination
IJCAI 2022 - International Joint Conference on Artificial Intelligence, Jul 2022, Vienna, Austria
...
hal-03646688v1  Conference papers
Kai GuThomas MaugeySebastian KnorrChristine Guillemot. Omni-nerf: neural radiance field from 360° image captures
ICME 2022 - IEEE international conference on multimedia and expo, Jul 2022, Taipei, Taiwan. pp.1-6
...
hal-03652138v1  Conference papers
Fernando Fernandes dos SantosAngeliki KritikakouOlivier SentieysPaolo Rech. Characterizing Deep Neural Networks Neutrons-Induced Error Model
NSREC 2022 - IEEE Nuclear & Space Radiation Effects Conference, Jul 2022, Provo, United States. pp.1-5
...
hal-01793704v4  Conference papers
Lamberto Dell'ElceJean-Baptiste CaillauJean-Baptiste Pomet. Considerations on Two-Phase Averaging of Time-Optimal Control Systems
IFAC CAO 2022 - 18th Workshop on Control Applications of Optimization, Jul 2022, Gif-sur-Yvette, France
...
hal-03671013v1  Conference papers
Loïc RouquetteDavid GeraultMarine MinierChristine Solnon. And Rijndael? Automatic Related-key Differential Analysis of Rijndael
AfricaCrypt 2022 - 13th International Conference on Cryptology AfricaCrypt, Jul 2022, Fes, Morocco
...
hal-03108596v1  Conference papers
Sami TlibaIslam BoussaadaSilviu-Iulian NiculescuRicardo Falcón-Prado. An MID-based control of a vibrating axisymmetric membrane using piezoelectric transducers
ENOC 2022 - 10th European Nonlinear Dynamics Conference, organisée par Z. WANG, T. INSPERGER, G. OROSZ, Jul 2022, Lyon, France
...
hal-03655029v1  Conference papers
Martina PastorinoGabriele MoserSebastiano SerpicoJosiane Zerubia. Semantic Segmentation of Sar Images Through Fully Convolutional Networks and Hierarchical Probabilistic Graphical Models
IEEE IGARSS 2022- International Geoscience and Remote Sensing Symposium, Jul 2022, Kuala Lumpur / Virtual, Malaysia
...
hal-03641137v1  Conference papers
Maria Sayu YamamotoFabien LotteFlorian YgerSylvain Chevallier. Class-distinctiveness-based frequency band selection on the Riemannian manifold for oscillatory activity-based BCIs: preliminary results
EMBC 2022- 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, Jul 2022, Glasgow, United Kingdom
...
hal-03634491v1  Conference papers
Sébastien RimbertFabien Lotte. How ERD modulations during motor imageries relate to users’ traits and BCI performances
44th International Engineering in Medicine and Biology Conference, Jul 2022, Glasgow, United Kingdom
...
hal-03577024v1  Conference papers
Michael TothNataliia BielovaVincent Roca. On dark patterns and manipulation of website publishers by CMPs
PETS 2022 - 22nd Privacy Enhancing Technologies Symposium, Jul 2022, Sydney / Virtual, Australia
...
hal-03580531v1  Conference papers
Olivier BeaumontLionel Eyraud-DuboisMathieu VéritéJulien Langou. I/O-Optimal Algorithms for Symmetric Linear Algebra Kernels
ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery : SIGACT, SIGARCH, Jul 2022, Philadelphie, United States
...
hal-03677966v1  Conference papers
Vitalii EmelianovNicolas GastPatrick Loiseau. Fairness in Selection Problems with Strategic Candidates
ACM Conference on Economics and Computation (EC'22), Jul 2022, Boulder, Colorado, United States. ⟨10.1145/3490486.3538287⟩
...
hal-03619869v1  Conference papers
Nadia YacoubiCatherine FaronFranck MichelFabien GandonOlivier Corby. A Model for Meteorological Knowledge Graphs: Application to Météo-France Observational Data
ICWE 2022- 22nd International Conference on Web Engineering, Jul 2022, Bari, Italy
...
hal-03655372v1  Reports
Pietro LamiIvan LaneseJean-Bernard StefaniClaudio Sacerdoti CoenGiovanni Fabbretti. Reversibility in Erlang: Imperative Constructs -Technical Report
[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-28
...
hal-03616406v2  Conference papers
Alin BostanFrédéric ChyzakHadrien NotarantonioMohab Safey El Din. Algorithms for discrete differential equations of order 1
ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France
...
hal-03676968v1  Conference papers
Manju RajanAbhijit DasJohn Jose. LOKI: A Hardware Trojan Affecting Multiple Components of an SoC
ISVLSI 2022 - IEEE Computer Society Annual Symposium on VLSI, Jul 2022, Paphos, Cyprus
...
hal-03655953v1  Conference papers
Alexandre BettingerArmelle BrunAnne Boyer. Independent Influence of Exploration and Exploitation for Metaheuristic-based Recommendations
The Genetic and Evolutionary Computation Conference (GECCO), Jul 2022, Boston, United States. ⟨10.1145/3520304.3528972⟩
...
hal-03038344v1  Journal articles
Florian BertonFabien GrzeskowiakAlexandre BonneauAlberto JovaneMarco Aggravi et al.  Crowd Navigation in VR: exploring haptic rendering of collisions
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2022, 28 (7), pp.2589 - 2601. ⟨10.1109/TVCG.2020.3041341⟩
...
hal-03666587v1  Conference papers
Adrien GougeonFrançois LemercierAnne BlavetteAnne-Cécile Orgerie. Modeling the End-to-End Energy Consumption of a Nation-Wide Smart Metering Infrastructure
ISCC 2022 - IEEE Symposium on Computers and Communications, Jun 2022, Rhodes, Greece. pp.1-7
...
hal-03636686v1  Journal articles
Leslie LamportStephan Merz. Prophecy Made Simple
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2022, 44 (2), pp.1-27. ⟨10.1145/3492545⟩
hal-03630238v1  Conference papers
Mohamed YagoubiRachid El BachtiriRedouane Chaibi. Photovoltaic System's MPPT Under Partial Shading Using T-S Fuzzy Robust Control
14th IFAC International Workshop on Adaptive and Learning Control Systems (ALCOS 2022), Jun 2022, Casablanca, Morocco
...
hal-03647675v1  Conference papers
Florent JacquemardLydia Rodriguez--de la Nava. Symbolic Weighted Language Models, Quantitative Parsing and Automated Music Transcription
CIAA 2022 - International Conference on Implementation and Application of Automata, Jun 2022, Rouen, France
...
hal-03626802v1  Conference papers
Jean-Louis ColaçoBaptiste PaugetMarc Pouzet. Inférer et vérifier les tailles de tableaux avec des types polymorphes
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France
...
hal-03626762v1  Conference papers
Guillaume BaudartLouis MandelMarc PouzetReyyan Tekin. Inférence parallèle pour un langage réactif probabiliste
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France
...
hal-03604902v1  Conference papers
Valentin BlotLouise Dubois de PrisqueChantal KellerPierre Vial. Bécassine à la chasse au Coq (démonstration)
JFLA 2022 - Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France
...
hal-03626847v1  Conference papers
Çagdas BozmanMohamed IguernlalaMichael LaporteMaxime LevillainAlain Mebsout et al.  Jouez à Faire Consensus Avec MITTEN (démonstration)
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France
...
hal-03626859v1  Conference papers
Aymeric FromherzAntonin Reitz. Démonstration de Steel, une logique de séparation concurrente pour prouver des programmes F* (démonstration)
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France
...
hal-03626854v1  Conference papers
Pablo DonatoPierre-Yves StrubBenjamin Werner. Actema : une interface graphique et gestuelle pour preuves formelles (démonstration)
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France
...
hal-03626845v1  Conference papers
Léo AndrèsRaja BoujbelLouis GesbertDario Pinto. Connecter l'écosystème OCaml à Software Heritage via opam
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France
...
hal-03626853v1  Conference papers
Alain DelaëtDenis Merigoux. Catala, un langage pour transformer la loi en code (démonstration)
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France
...
hal-03626843v1  Conference papers
Cinzia GiustoLoïc GuizouarnLudovic HenrioEtienne Lozes. Formalising Futures and Promises in Viper
JFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.1-19
...
hal-03626851v1  Conference papers
Denis CousineauEnzo CranceAssia Mahboubi. Trakt : Uniformiser les types pour automatiser les preuves (démonstration)
JFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.1-3
...
hal-03604962v1  Conference papers
Amélie LedeinValentin BlotCatherine Dubois. Vers une traduction de K en Dedukti
JFLA 2022 - Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France
...
hal-03624311v1  Conference papers
Laurent BulteauGuillaume FertinVincent JugéStéphane Vialette. Permutation Pattern Matching for Doubly Partially Ordered Patterns
33rd Annual Symposium on Combinatorial Pattern Matching, Hideo Bannai and Jan Holub, Jun 2022, Prague, Czech Republic
...
hal-03662157v1  Conference papers
Louis MontautQuentin Le LidecVladimir PetrikJosef SivicJustin Carpentier. Collision Detection Accelerated: An Optimization Perspective
RSS 2022 - Robotics: Science and Systems, Jun 2022, New York, United States
...
hal-03637107v1  Conference papers
Gwendal PatatMohamed SabtPierre-Alain Fouque. WideLeak: How Over-the-Top Platforms Fail in Android
DSN 2022 - 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2022, Baltimore, MD, United States
...
hal-03651510v2  Conference papers
Arthur AmalvyVincent LabatutRichard Dufour. Remplacement de mentions pour l'adaptation d'un corpus de reconnaissance d'entités nommées à un domaine cible
29ème Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jun 2022, Avignon, France
...
hal-03467403v2  Conference papers
Francesco d'AmoreIsabella Ziccardi. Phase Transition of the 3-Majority Dynamics with Uniform Communication Noise
SIROCCO 2022 - Structural information and communication complexity, Jun 2022, Paderborn, Germany
...
hal-03659318v1  Conference papers
Alexandre BettingerArmelle BrunAnne Boyer. Influence indépendante de l'exploration et de l'exploitation : le cas des systèmes de recommandation par métaheuristiques
CNIA 2022 - Conférence Nationale en Intelligence Artificielle, Jun 2022, Saint Etienne, France
hal-03654966v1  Conference papers
Francesco MassimoMathieu LobetJulien DerouillatArnaud BeckGuillaume Bouchard et al.  A Task Programming Implementation for the Particle in Cell Code Smilei
Platform for Advanced Scientific Computing, Jun 2022, Basel, Switzerland
...
hal-03675515v1  Conference papers
Hee-Soo Choi. État de l'art : Liage de ressources lexicales du français
RÉCITAL 2022 - 24e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, Jun 2022, Avignon, France
...
hal-03676506v1  Conference papers
Nicolas ZampieriCarlos RamischIrina IllinaDominique Fohr. Identification des Expressions Polylexicales dans les Tweets
Traitement Automatique des Langues Naturelles (TALN), Jun 2022, Avignon, France
...
hal-03583589v1  Conference papers
A GutierrezV GudaS MugishaC ChevallereauDamien Chablat. Trajectory planning in Dynamics Environment : Application for Haptic Perception in Safe HumanRobot Interaction
24TH INTERNATIONAL CONFERENCE ON HUMAN-COMPUTER INTERACTION, Jun 2022, Gothenburg, Sweden
...
hal-03594927v1  Conference papers
Andrea GotelliFederico ZaccariaOlivier KermorgantSébastien Briot. A Gazebo Simulator for Continuum Parallel Robots
18th International Symposium on Advances in Robot Kinematics (ARK 2022), Jun 2022, Bilbao, Spain
...
hal-03610293v1  Conference papers
Jean-Pierre MerletRomain Tissot. A panorama of methods for dealing with sagging cables in cable-driven parallel robots
ARK 2022 - 18th International Symposium on Advances in robots kinematics, Jun 2022, Bilbao, Spain
...
hal-03621688v3  Conference papers
Nicolas Torres AlbertoLucas JosephVincent PadoisDavid Daney. A linearization method based on Lie algebra for pose estimation in a time horizon
ARK 2022 - 18th International Symposium on Advances in Robot Kinematics, Jun 2022, Bilbao, Spain
hal-03658833v1  Conference papers
Evan DufraisseCelina TreuillierArmelle BrunJulien TourilleSylvain Castagnos et al.  Don't burst blindly: for a better use of natural language processing to fight opinion bubbles in news recommendations
PoliticalNLP 2022 - First Workshop on Natural Language Processing for Political sciences, Jun 2022, Marseille, France
hal-03596653v1  Conference papers
Simon GabayPedro Ortiz SuarezAlexandre BartzAlix ChaguéRachel Bawden et al.  From FreEM to D'AlemBERT
Proceedings of the 13th Language Resources and Evaluation Conference, European Language Resources Association, Jun 2022, Marseille, France
...
hal-03674156v1  Conference papers
Ujjwal PratapLeo SeniqueCarlos Canudas de Wit. GTL-Healthmob: Simulation platform for urban mobility and epidemic control
6èmes Journées des Démonstrateurs en Automatique, Jun 2022, Angers, France
...
hal-03650833v1  Conference papers
Esteban CarvalhoPierre SusbielleAhmad HablyJilles DibangoyeNicolas Marchand. Neural Enhanced Control for Quadrotor Linear Behavior Fitting
ICUAS 2022 - IEEE International Conference on Unmanned Aircraft Systems, Jun 2022, Dubrovnik, Croatia
...
hal-03362828v2  Conference papers
Imran SheikhEmmanuel VincentIrina Illina. Transformer versus LSTM Language Models Trained on Uncertain ASR Hypotheses in Limited Data Scenarios
LREC 2022 - 13th Language Resources and Evaluation Conference, Jun 2022, Marseille, France
...
hal-03189354v2  Conference papers
Mehmet Ali Tugtekin TuranDietrich KlakowEmmanuel VincentDenis Jouvet. Adapting Language Models When Training on Privacy-Transformed Data
LREC 2022 - 13th Language Resources and Evaluation Conference, Jun 2022, Marseille, France