• 
  Mohammed Foughali, Pierre-Emmanuel Hladik. Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics. Journal of Systems Architecture, Elsevier, 2020, 111, pp.101817. ⟨10.1016/j.sysarc.2020.101817⟩. ⟨hal-02864928⟩
• 
  Melya Boukheddimi, Rohan Budhiraja, Philippe Souères, Bruno Watier. Anthropomorphic Gait Generation using Differential Dynamic Programming with a Reduced Number of Cost Criteria. The 8th IEEE RAS/EMBS International Conference on Biomedical Robotics & Biomechatronics, Nov 2020, New York, United States. ⟨hal-02615813⟩
• 
  Diane Bury, Jean-Baptiste Izard, Marc Gouttefarde, Florent Lamiraux. Continuous Tension Validation for Cable-Driven Parallel Robots. International Conference on Intelligent Robots and Systems (IROS), Oct 2020, Las Vegas, United States. ⟨hal-02900961⟩
• 
  Simon Belieres, Mike Hewitt, Nicolas Jozefowiez, Frédéric Semet, Tom van Woensel. A Benders decomposition-based approach for logistics service network design. European Journal of Operational Research, Elsevier, 2020, 286 (2), pp.523-537. ⟨10.1016/j.ejor.2020.03.056⟩. ⟨hal-02564514v2⟩
• 
  Erwan Le Merrer, Benoît Morgan, Gilles Trédan. Bug ou ban ? Une Perspective Topologique sur le Shadow Banning. ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. ⟨hal-02875595⟩
• 
  El-Fadel Bonfoh, Djolo Cédric Tape, Christophe Chassot, Samir Medjiah. Déploiement et Utilisation Transparente de mécanismes protocolaires légers. 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. ⟨hal-02847011⟩
• 
  Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Belief functions for safety arguments confidence estimation : A comparative study. The 14th International Conference on Scalable Uncertainty Management (SUM2020), Sep 2020, Bolzano, Italy. ⟨hal-02900485⟩
• 
  Elodie Chanthery, Anna Sztyber, Louise Travé-Massuyès, Carlos Gustavo Pérez-Zuñiga. Process decomposition and test selection for distributed fault diagnosis. 33th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2020), Sep 2020, Kitakyushu, Japan. ⟨hal-02875561⟩
• 
  Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Clément Robert, Thomas Claverie, et al.. Testing an Underwater Robot Executing Transect Missions in Mayotte. 21st Towards Autonomous Robotic Systems Conference (TAROS), Sep 2020, Virtual, United Kingdom. ⟨lirmm-02895512⟩
• 
  Rafael Bailon-Ruiz, Simon Lacroix. Wildfire remote sensing with UAVs: A review from the autonomy point of view. International Conference on Unmanned Aircraft Systems (ICUAS 2020), Sep 2020, Athens, Greece. ⟨hal-02614975⟩
• 
  Mukherjee Chhandak, Guilhem Larrieu, Cristell Maneux. Compact Modeling of 3D Vertical Junctionless Gate-all-around Silicon Nanowire Transistors. EuroSOI-ULIS 2020, Sep 2020, Caen, France. ⟨hal-02869216⟩
• 
  Tao Wu, Florent Sevely, Baptiste Julien, Felipe Sodre, Jérémy Cure, et al.. New coordination complexes-based gas-generating energetic composites. Combustion and Flame, Elsevier, 2020, 219, pp.478-487. ⟨10.1016/j.combustflame.2020.05.022⟩. ⟨hal-02895505⟩

5 778