Laboratoire d'Informatique de Grenoble UMR 5217
Publications dans HAL
La page Hal du LIG est le portail de référence pour les publications du LIG. Elle contient la quasi-totalité des publications internationales et des notices bibliographiques du LIG depuis 2009, et une grande partie des publications antérieures.
Hal est l'archive ouverte nationale de publications et de notices bibliographiques.
Les 50 dernières publications du LIG
Voir toutes les publications du LIG dans HAL.
2020
Article dans une revue
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- eSTIMe : une approche visuelle, interactive et modulable pour l’analyse multi-points de vue des mobilités quotidiennes
- auteur
- Aline Menin, Sonia Chardonnel, Paule-Annick Davoine, Michael Ortega, Etienne Dublé, Luciana Nedel
- article
- Geomatica, Association canadienne des sciences géomatiques, 2020, ⟨10.1139/geomat-2020-0006⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
Communication dans un congrès
- 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
-
- 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
-
- titre
- IAS: an IoT Architectural Self-adaptation Framework
- auteur
- Mahyar T Moghaddam, Eric Rutten, Philippe Lalanda, Guillaume Giraud
- article
- 14th European Conference on Software Architecture (ECSA), Sep 2020, L’Aquila, Italy
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Fog Computing and Blockchain Technology for Massive IoT Deployment
- auteur
- Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga
- article
- 2020 9th Mediterranean Conference on Embedded Computing (MECO), Jun 2020, Budva, Montenegro. pp.1-4, ⟨10.1109/MECO49872.2020.9134098⟩
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- titre
- Investigating Language Impact in Bilingual Approaches for Computational Language Documentation
- auteur
- Marcely Zanon Boito, Aline Villavicencio, Laurent Besacier
- article
- SLTU-CCURL workshop, LREC 2020, May 2020, Marseille, France
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Aporia : Une performance pluri-disciplinaire Arts et IA
- auteur
- Ambre Davat, Alain Quercia, Véronique Aubergé
- article
- Journées d'Informatique Théâtrale, Feb 2020, Grenoble, France
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères
Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France
Tél. : 04 57 42 14 00
