• 
  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⟩
• 
  Chaymaa Haloui, Gaëtan Toulon, Josiane Tasselli, Yvon Cordier, Éric Frayssinet, et al.. Développement technologique d'un HEMT normally- off avec une grille à barrière P-GaN. SYMPOSIUM DE GENIE ELECTRIQUE (SGE 2020), Nov 2020, Nantes, France. ⟨hal-02918372⟩
• 
  Lya Fontaine, Karine Isoird, Josiane Tasselli, Patrick Austin, Alain Cazarré, et al.. Développement de briques technologiques pour la fabrication de composants MOS diamant : contacts ohmiques et capacités MIS sur diamant de type P. Symposium de Génie Electrique (SGE), Nov 2020, Nantes, France. ⟨hal-02918490⟩
• 
  Isabelle Maroger, Olivier Stasse, Bruno Watier. Comparison of human experimental trajectories and simulations during gait. 45ème congrès de la Société de Biomécanique, Oct 2020, Metz, France. ⟨hal-02922581⟩
• 
  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⟩
• 
  Antonino Sferlazza, Carolina Albea-Sanchez, Germain Garcia. A Hybrid Control Strategy for Quadratic Boost Converters with Inductor Currents Estimation. Control Engineering Practice, Elsevier, 2020, 103, pp.104602. ⟨10.1016/j.conengprac.2020.104602⟩. ⟨hal-02917476⟩
• 
  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. pp.1-4. ⟨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⟩

5 819