• 
  Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, et al.. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Series, 2023, 9 (1), ⟨10.4230/DARTS.9.1.4⟩. ⟨hal-04254710⟩
• 
  Sophia Salas Cordero, Marc Zolghadri, Rob Vingerhoeds, Claude Baron. Identification and Assessment of Obsolescence in the Early Stages of System Design. Journal of Integrated Design and Process Science, 2022, 24 (3-4), pp.15-33. ⟨10.3233/JID-210018⟩. ⟨hal-03837386⟩
• 
  Jean Alinei, Guillaume Arthaud, Luiz Fernando Lavado Villa, Antonio Orgiu, Sahar Karaani, et al.. Improving the repairability of technical systems, a methodological proposal based on collaborative documentation -Example/case of an open source power converter. SGE - Symposium de Génie Electrique 2023, Jul 2023, Lille, France. ⟨hal-04490872⟩
• 
  Frédéric Lerasle, Joris Guérin, Kimberley Gaume. Optimisation conjointe du contenu sémantique et du temps d'exécution pour une tâche robotisée de saisie d'objet. Reconnaissance des Formes, Images, Apprentissage et Perception (RFIAP), Jul 2022, Vannes (Bretagne), France. ⟨hal-04490461⟩
• 
  Romain Cayre, Vincent Nicomette, Guillaume Auriol, Mohamed Kaâniche, Aurélien Francillon. OASIS: An Intrusion Detection System Embedded in Bluetooth Low Energy Controllers. 2024 ACM Asia conference on Computer and Communications Security (ASIACCS)., Jul 2024, Singapore, Singapore. ⟨hal-04488826⟩
• 
  Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa. Benchmarking formalisms for dynamic structure system Modeling and Simulation. Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France. ⟨hal-04465223⟩
• 
  Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa. Benchmarking formalisms for dynamic structure system Modeling and Simulation. 2023. ⟨hal-04397152⟩
• 
  Caroline Lu. Robustesse du logiciel embarqué multicouche par une approche réflexive : application à l'automobile. Informatique et langage [cs.CL]. Institut National Polytechnique de Toulouse - INPT, 2009. Français. ⟨NNT : 2009INPT059H⟩. ⟨tel-04412462v2⟩
• 
  Thomas Robert. Détection d'erreur au plus tôt dans les systèmes temps-réel : une approche basée sur la vérification en ligne. Autre. Institut National Polytechnique de Toulouse - INPT, 2009. Français. ⟨NNT : 2009INPT028H⟩. ⟨tel-04400821v2⟩
• 
  Augustin Godinot, Erwan Le Merrer, Gilles Trédan, Camilla Penzo, François Taïani. Change-Relaxed Active Fairness Auditing. RJCIA 2023 - 21e Rencontres des Jeunes Chercheurs en Intelligence Artificiel, Association Française pour l'Intelligence Artificielle, Jul 2023, Strasbourg, France. pp.91-96. ⟨hal-04395914⟩

767