Publications on HAL

logo de HalLIG page on the Hal archive is the portal for all LIG publications since 2009. It also contains a large part of older publications before 2009. Hal is a national open archive of publications and bibliographic notes.


The last 50 LIG publications

See all LIG publications on HAL.

2020

Journal articles

titre
Compositional model checking with divergence preserving branching bisimilarity is lively
auteur
Sander de Putter, Frédéric Lang, Anton Wijs
article
Science of Computer Programming, Elsevier, 2020, 196, pp.102493. ⟨10.1016/j.scico.2020.102493⟩
Accès au bibtex
BibTex
titre
An Intelligent Approach to Allocating Resources within an Agent-Based Cloud Computing Platform
auteur
Fernando de la Prieta, Sara Rodríguez-González, Pablo Chamoso, Yves Demazeau, Juan Corchado
article
Applied Sciences, MDPI, 2020, Multi-Agent Systems 2020, 10 (12), pp.4361. ⟨10.3390/app10124361⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02882975/file/applsci-10-04361-v2.pdf BibTex
titre
An overview of service placement problem in Fog and Edge Computing
auteur
Farah Ait Salaht, Frédéric Desprez, Adrien Lebre
article
ACM Computing Surveys, Association for Computing Machinery, 2020, 53 (3), Article 65, 35 p. ⟨10.1145/3391196⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02596419/file/ACM_Surveys_Hal.pdf BibTex
titre
Achieving and maintaining important roles in social media
auteur
Anna Zygmunt, Jarosław Koźlak, Bogdan Gliwa, Maria Stojkow, Dorota Żuchowska–skiba, Yves Demazeau
article
Information processing & management, [Oxford]: Elsevier Ltd., 2020, 57 (3), pp.102223. ⟨10.1016/j.ipm.2020.102223⟩
Accès au bibtex
BibTex
titre
Feasibility of on-line speed policies in real-time systems
auteur
Bruno Gaujal, Alain Girault, Stéphan Plassart
article
Real-Time Systems, Springer Verlag, 2020, ⟨10.1007/s11241-020-09347-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02557148/file/Online_policy_comparisonsFinal.pdf BibTex
titre
Backward Type Inference for XML Queries
auteur
Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda
article
Theoretical Computer Science, Elsevier, 2020, Theoretical Computer Science, 823, pp.69 - 99. ⟨10.1016/j.tcs.2020.03.020⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01497857/file/tcs2020.pdf BibTex
titre
Preface to the Special Section Issue on Improving Software Quality through Formal Methods
auteur
Yliès Falcone, Leonardo Mariani
article
Software Quality Journal, Springer Verlag, 2020, pp.1-2. ⟨10.1007/s11219-020-09508-z⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02548907/file/sqj-editorial-author.pdf BibTex
titre
Speech technology for unwritten languages
auteur
Odette Scharenborg, Laurent Besacier, Alan Black, Mark Hasegawa-Johnson, Florian Metze, Graham Neubig, Sebastian Stuker, Pierre Godard, Markus Müller, Lucas Ondel, Shruti Palaskar, Philip Arthur, Francesco Ciannella, Mingxing Du, Elin Larsen, Danny Merkx, Rachid Riad, Liming Wang, Emmanuel Dupoux
article
IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TASLP.2020.2973896⟩
Accès au bibtex
BibTex
titre
Study on preferential concentration of inertial particles in homogeneous isotropic turbulence via big-data techniques
auteur
Martin Obligado, Alain H. Cartellier, Alberto Aliseda, Thomas Calmant, Noël de Palma
article
Physical Review Fluids, American Physical Society, 2020, 5 (2), ⟨10.1103/PhysRevFluids.5.024303⟩
Accès au bibtex
BibTex
titre
Contextuality in multipartite pseudo-telepathy graph games
auteur
Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix
article
Journal of Computer and System Sciences, Elsevier, 2020, 107, pp.156-165. ⟨10.1016/j.jcss.2019.06.005⟩
Accès au bibtex
BibTex
titre
Modèle Transformer à base de Connaissances pour la Recherche d'Information dans des Domaines Spécialisés
auteur
Jibril Frej, Didier Schwab, Jean-Pierre Chevallet
article
Extraction et Gestion des Connaissances (EGC), 2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02474706/file/workshop_EGC_2020.pdf BibTex
titre
Genome sequencing in cytogenetics: Comparison of short‐read and linked‐read approaches for germline structural variant detection and characterization
auteur
Kévin Uguen, Claire Jubin, Yannis Duffourd, Claire Bardel, Valérie Malan, Jean‐michel Dupont, Laila El Khattabi, Nicolas Chatron, Antonio Vitobello, Pierre‐antoine Rollat‐farnier, Céline Baulard, Marc Lelorch, Aurelie Leduc, Frédéric Tran Mau‐them, Vincent Danjean, Marc Délépine, Marianne Till, Vincent Meyer, Stanislas Lyonnet, Anne‐laure Mosca‐boidron, Julien Thevenon, Laurence Faivre, Christel Thauvin‐robinet, Caroline Schluth‐bolard, Anne Boland, Robert Olaso, Patrick Callier, Serge Romana, Jean‐françois Deleuze, Damien Sanlaville
article
Molecular Genetics & Genomic Medicine, Wiley Periodicals, Inc. 2020, pp.1-10. ⟨10.1002/mgg3.1114⟩
Accès au bibtex
BibTex
titre
Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks
auteur
Zain Hammadeh, Sophie Quinton, Rolf Ernst
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2020, 18 (6), pp.1-25. ⟨10.1145/3356865⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02459836/file/tecs-2020.pdf BibTex
titre
Algebraic graph rewriting with controlled embedding
auteur
Andrea Corradini, Dominique Duval, Rachid Echahed, Frederic Prost, Leila Ribeiro
article
Theoretical Computer Science, Elsevier, 2020, 802, pp.19-37. ⟨10.1016/j.tcs.2019.06.004⟩
Accès au bibtex
BibTex
titre
Safety Synthesis for Incrementally Stable Switched Systems using Discretization-Free Multi-Resolution Abstractions
auteur
Antoine Girard, Gregor Gössler
article
Acta Informatica, Springer Verlag, 2020, 57, pp.245-269. ⟨10.1007/s00236-019-00341-x⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02286661/file/main.pdf BibTex
titre
A Deep Coupled LSTM Approach for USD/CNY Exchange Rate Forecasting
auteur
Wei Cao, Weidong Zhu, Wenjun Wang, Yves Demazeau, Chen Zhang
article
IEEE Intelligent Systems, Institute of Electrical and Electronics Engineers, 2020, 35 (2), pp.45-53. ⟨10.1109/MIS.2020.2977283⟩
Accès au bibtex
BibTex
titre
Impact of Social Welfare Metrics on Energy Allocation in Multi-Objective Optimization
auteur
Anders Clausen, Aisha Umair, Yves Demazeau, Bo Nørregaard Jørgensen
article
Energies, MDPI, 2020, 13 (11), pp.2961. ⟨10.3390/en13112961⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02867861/file/energies-13-02961-v2.pdf BibTex
titre
Proximal Gradient methods with Adaptive Subspace Sampling
auteur
Dmitry Grishchenko, Franck Iutzeler, Jérôme Malick
article
Mathematics of Operations Research, INFORMS, In press
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02555292/file/sub_desc.pdf BibTex

Conference papers

titre
Using an enterprise architecture model for GDPR compliance principles
auteur
Gaëlle Blanco-Lainé, Jean-Sébastien Sottet, Sophie Dupuy-Chessa
article
12th IFIP Conference on Practice of Entreprise Modeling, POEM'2019, Nov 2020, Luxembourg, Luxembourg
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02482761/file/paperPOEM2019.pdf BibTex
titre
Optimisation de la capacité des réseaux LoRa
auteur
Christelle Caillouet, Martin Heusse, Franck Rousseau
article
CORES 2020 – 5ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Sep 2020, Lyon, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02877138/file/cores2020.pdf BibTex
titre
Discrete Control of Response for Cybersecurity in Industrial Control
auteur
Gwenaël Delaval, Ayan Hore, Stéphane Mocanu, Lucie Muller, Eric Rutten
article
IFAC 2020 - IFAC World Congress 2020, Jul 2020, Berlin, Germany. pp.1-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02569406/file/main.pdf BibTex
titre
On Fair Selection in the Presence of Implicit Variance
auteur
Vitalii Emelianov, Nicolas Gast, Krishna P. Gummadi, Patrick Loiseau
article
The Twenty-First ACM Conference on Economics and Computation (EC'20), Jul 2020, Budapest, Hungary. ⟨10.1145/3391403.3399482⟩
Accès au bibtex
https://arxiv.org/pdf/2006.13699 BibTex
titre
Bringing Fairness in LoRaWAN through SF Allocation Optimization
auteur
Christelle Caillouet, Martin Heusse, Franck Rousseau
article
ISCC 2020 - 25th IEEE Symposium on Computers and Communications, Jul 2020, Rennes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02780468/file/lp_oldmodel.pdf BibTex
titre
Immersion de divisions territoriales et description de leur évolution dans le Web sémantique
auteur
Camille Bernard, Marlène Villanova-Oliver, Jérôme Gensel, Philippe Genoud, Hy Dao
article
31es Journées francophones d'Ingénierie des Connaissances, Sébastien Ferré, Jun 2020, Angers, France
Accès au bibtex
BibTex
titre
Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account
auteur
Pierre Bouvier, Hubert Garavel, Hernan Ponce de León
article
41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Jun 2020, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02875957/file/Bouvier-Garavel-PonceDeLeon-20.pdf BibTex
titre
SRPT-ECF: challenging Round-Robin for stream-aware multipath scheduling
auteur
Baptiste Jonglez, Martin Heusse, Bruno Gaujal
article
FIT 2020 - Second Workshop on the Future of Internet Transport, Jun 2020, Paris, France. pp.1-7
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02570686/file/networking2020-fit-jonglez-multipath-hal.pdf BibTex
titre
On the Optimization of Recursive Relational Queries: Application to Graph Queries
auteur
Louis Jachiet, Pierre Genevès, Nils Gesbert, Nabil Layaïda
article
SIGMOD 2020 - ACM International Conference on Management of Data, Jun 2020, Portland, United States. pp.1-23, ⟨10.1145/3318464.3380567⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01673025/file/paper.pdf BibTex
titre
TArC : Incrementally and Semi-Automatically Collecting a Tunisian arabish Corpus
auteur
Elisa Gugliotta, Marco Dinarelli
article
6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 2 : Traitement Automatique des Langues Naturelles, Jun 2020, Nancy, France. pp.232-240
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02784772/file/133.pdf BibTex
titre
FlauBERT : des modèles de langue contextualisés pré-entraînés pour le français
auteur
Hang Le, Loïc Vial, Jibril Frej, Vincent Segonne, Maximin Coavoux, Benjamin Lecouteux, Alexandre Allauzen, Benoît Crabbé, Laurent Besacier, Didier Schwab
article
6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 2 : Traitement Automatique des Langues Naturelles, Jun 2020, Nancy, France. pp.268-278
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02784776/file/66.pdf BibTex
titre
Fair in the Eyes of Others
auteur
Parham Shams, Aurélie Beynier, Sylvain Bouveret, Nicolas Maudet
article
24th European Conference on Artificial Intelligence, Jun 2020, Santiago de Compostela, Spain
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02502545/file/ECAI20-crc.pdf BibTex
titre
Exploration of Impactful Countermeasures on IoT Attacks
auteur
Salim Chehida, Abdelhakim Baouya, Marius Bozga, Saddek Bensalem
article
2020 9th Mediterranean Conference on Embedded Computing (MECO), Jun 2020, Budva, Montenegro. pp.1-4, ⟨10.1109/MECO49872.2020.9134200⟩
Accès au bibtex
BibTex
titre
Online optimal motion generation with guaranteed safety in shared workspace
auteur
Pu Zheng, Pierre-Brice Wieber, Olivier Aycard
article
ICRA 2020 - International Conference on Robotics and Automation, May 2020, Paris, France. pp.1-6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02496057/file/Zheng2020ICRA.pdf BibTex
titre
MaSS: A Large and Clean Multilingual Corpus of Sentence-aligned Spoken Utterances Extracted from the Bible
auteur
Marcely Zanon Boito, William Havard, Mahault Garnerin, Éric Le Ferrand, Laurent Besacier
article
Proceedings of The 12th Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.6486 - 6493
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02611059/file/2020.lrec-1.799.pdf BibTex
titre
Specifying a Cryptographical Protocol in Lustre and SCADE
auteur
Lina Marsso
article
MARS 2020 - 4th Workshop on Models for Formal Analysis of Real Systems, Apr 2020, Dublin, Ireland. pp.149-199, ⟨10.4204/EPTCS.316.7⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02556856/file/Marsso-20.pdf BibTex
titre
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
auteur
Frédéric Lang, Radu Mateescu, Franco Mazzanti
article
TACAS 2020 - Tools and Algorithms for the Construction and Analysis of Systems, Apr 2020, Dublin, Ireland. pp.57-76, ⟨10.1007/978-3-030-45237-7_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02555692/file/Lang-Mateescu-Mazzanti-20.pdf BibTex
titre
MOZART: Design and Deployment of Advanced IoT Applications
auteur
Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salaün
article
WWW 2020 - International World Wide Web Conference, Apr 2020, Taipei, Taiwan. pp.1-4, ⟨10.1145/3366424.3383532⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02554029/file/main-web-preprint.pdf BibTex
titre
Don't Forget to Lock the Front Door! Inferring the Deployment of Source Address Validation of Inbound Traffic
auteur
Maciej Korczyński, Yevheniya Nosyk, Qasim Lone, Marcin Skwarek, Baptiste Jonglez, Andrzej Duda
article
International Conference on Passive and Active Network Measurement, Mar 2020, Eugene, United States. ⟨10.1007/978-3-030-44081-7_7⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02475931/file/Don%E2%80%99t%20Forget%20to%20Lock%20the%20Front%20Door%21%20Inferring%20the%20Deployment%20of%20Source%20Address%20Validation%20of%20Inbound%20Traffic.pdf BibTex
titre
Path Planning Problems with Side Observations---When Colonels Play Hide-and-Seek
auteur
Dong Quan Vu, Patrick Loiseau, Alonso Silva, Long Tran-Thanh
article
AAAI 2020 - Thirty-Fourth AAAI Conference on Artificial Intelligence, Feb 2020, New-York, United States. pp.1-15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02375789/file/Vu-etal_SOPPP_AAAI2020-full.pdf BibTex
titre
Promouvoir et soutenir la Pédagogie Par Projet Centré Humain dans le supérieur : le projet APACHES
auteur
Alexis Lebis, Estelle Prior, Nadine Mandran, Abir Karami, Mathieu Vermeulen
article
DIDAPRO 8 - DIDASTIC, Feb 2020, Lille, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02465268/file/Didapro_8_paper_20.pdf BibTex
titre
Fragmentation and Forward Error Correction for LoRaWAN small MTU networks
auteur
Ulysse Coutaud, Martin Heusse, Bernard Tourancheau
article
International Conference on Embedded Wireless Systems and Networks, , Feb 2020, Lyon, France. pp.289--294
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02861091/file/FragmentationAndForwardErrorCorrectionForLoRaWANSmallMTUNetworks_HAL.pdf BibTex
titre
Using Model Checking to Identify Timing Interferences on Multicore Processors
auteur
Viet Anh Nguyen, Eric Jenn, Wendelin Serwe, Frederic Lang, Radu Mateescu
article
ERTS 2020 - 10th European Congress on Embedded Real Time Software and Systems, Jan 2020, Toulouse, France. pp.1-10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02462085/file/ERTS2020_paper_36.pdf BibTex
titre
RDF graph anonymization robust to data linkage
auteur
Rémy Delanaux, Angela Bonifati, Marie-Christine Rousset, Romuald Thion
article
WISE 2019 - 20th International Conference on Web Information Systems Engineering, Jan 2020, Hong Kong, China. pp.491-506, ⟨10.1007/978-3-030-34223-4_31⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02444752/file/paper.pdf BibTex
titre
Agent-Based Simulation of Implicit Demand Response Adoption for Water Distribution System Reservoirs
auteur
Magnus Vaerbak, Zheng Ma, Kristoffer Christensen, Yves Demazeau, Bo Nørregaard Jørgensen
article
2020 IEEE/SICE International Symposium on System Integration (SII), Jan 2020, Honolulu, United States. pp.891-896, ⟨10.1109/SII46433.2020.9026279⟩
Accès au bibtex
BibTex
titre
Agent-based Simulation Design for Technology Adoption
auteur
Kristoffer Christensen, Zheng Ma, Magnus Værbak, Yves Demazeau, Bo Nørregaard Jørgensen
article
2020 IEEE/SICE International Symposium on System Integration (SII), Jan 2020, Honolulu, United States. pp.873-878, ⟨10.1109/SII46433.2020.9025823⟩
Accès au bibtex
BibTex
titre
Représentation du genre dans des données open source de parole
auteur
Mahault Garnerin, Solange Rossato, Laurent Besacier
article
6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 1 : Journées d'Études sur la Parole, 2020, Nancy, France. pp.244-252
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02798544/file/67.pdf BibTex
titre
Proximité rythmique entre apprenants et natifs du français Évaluation d'une métrique basée sur le CEFC
auteur
Sylvain Coulange, Solange Rossato
article
6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 1 : Journées d'Études sur la Parole, 2020, Nancy, France. pp.118-126
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02798525/file/154.pdf BibTex
titre
Providing semantic knowledge to a set of pictograms for people with disabilities: a set of links between WordNet and Arasaac: Arasaac-WN
auteur
D Schwab, P Trial, C Vaschalde, L. Vial, Emmanuelle Esperança-Rodier, Benjamin Lecouteux
article
LREC, 2020, Marseille, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02888279/file/LREC_PICTO%286%29.pdf BibTex
titre
Reconnaissance de parole beatboxée à l'aide d'un système HMM-GMM inspiré de la reconnaissance automatique de la parole
auteur
Solène Evain, Adrien Contesse, Antoine Pinchaud, Didier Schwab, Benjamin Lecouteux, Nathalie Henrich Bernardoni
article
6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 1 : Journées d'Études sur la Parole, 2020, Nancy, France. pp.208-216
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02798538/file/104.pdf BibTex
titre
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
auteur
Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin
article
MARS 2020 - 4th Workshop on Models for Formal Analysis of Real Systems, 2020, Dublin, Ireland. pp.200-239, ⟨10.4204/EPTCS.316.8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02559125/file/Mateescu-Serwe-Bouzafour-Renaudin-20.pdf BibTex
titre
Review of Quantitative Empirical Evaluations of Technology for People with Visual Impairments
auteur
Emeline Brulé, Brianna Tomlinson, Oussama Metatla, Christophe Jouffrais, Marcos Serrano
article
CHI 2020, 2020, Honolulu, United States. ⟨10.1145/3313831.3376749⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02437881/file/Survey_of_evaluation_approaches_AT_for_visually_impaired_people%284%29.pdf BibTex