• 
  Florent Galtier, Romain Cayre, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette. A PSD-based fingerprinting approach to detect IoT device spoofing. 25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020), Dec 2021, Perth, Australia. ⟨hal-02962655⟩
• 
  C. de Souza, V. Leite, Sophie Tarbouriech, E. Castelan. Emulation-based Dynamic Output-Feedback Control of Saturating Discrete-time LPV Systems. IEEE Control Systems Letters, IEEE, 2021, 5 (5), pp.2475-1456. ⟨10.1109/LCSYS.2020.3040683⟩. ⟨hal-03069629⟩
• 
  Mederic Fourmy, Thomas Flayols, Nicolas Mansard, Joan Solà. Contact forces pre-integration for the whole body estimation of legged robots. 2021 IEEE International Conference on Robotics and Automation - ICRA, May 2021, Xi'an, China. ⟨hal-02991717⟩
• 
  Didier Henrion, Simone Naldi, Mohab Safey El Din. Exact algorithms for semidefinite programs with degenerate feasible set. Journal of Symbolic Computation, Elsevier, 2021, 104, pp.942-959. ⟨10.1016/j.jsc.2020.11.001⟩. ⟨hal-01705590v3⟩
• 
  Christian Artigues, Pierre Lopez, Oliver Polo Mejía. Structural and Experimental Comparisons of Formulations for a Multi-Skill Project Scheduling Problem with Partial Preemption. 17th International Conference on Project Management and Scheduling (PMS 2020), Apr 2021, Toulouse, France. ⟨hal-03009960⟩
• 
  Quentin Fabry, Alessandro Agnetis, Lotte Berghman, Cyril Briand. On the complexity of the crossdock truck-scheduling problem. 17th International Workshop on Project Management and Scheduling (PMS 2020-2021), Apr 2021, Toulouse, France. ⟨hal-03010169⟩
• 
  Léa Blaise, Christian Artigues, Thierry Benoist. Solution Repair by Inequality Network Propagation in LocalSolver. 17th International Workshop on Project Management and Scheduling (PMS 2020-2021), Apr 2021, Toulouse, France. ⟨hal-03010344⟩
• 
  Guillaume Brau, Mohammed Foughali. Contract-Based Verification of Model Transformations: A Formally Founded Approach. 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021), Mar 2021, Gwangju (virtual), South Korea. ⟨hal-03059942⟩
• 
  Claude Baron, Vincent Louis. Towards a continuous certification of safety-critical avionics software. Computers in Industry, Elsevier, 2021, 125, pp.103382. ⟨10.1016/j.compind.2020.103382⟩. ⟨hal-03093923⟩
• 
  Carolina Albea-Sanchez. Hybrid dynamical control based on consensus algorithm for current sharing in DC-bus microgrids. Nonlinear Analysis: Hybrid Systems, Elsevier, 2021, 39, ⟨10.1016/j.nahs.2020.100972⟩. ⟨hal-02189246⟩
• 
  Didier Henrion, Mauricio Junca, Mauricio Velasco. Moment-SOS hierarchy and exit time of stochastic processes. 2021. ⟨hal-03110452⟩
• 
  Philipp Braun, Luca Zaccarian. Augmented obstacle avoidance controller design for mobile robots. 2021. ⟨hal-03110909⟩

6 085