• 
  Jean-Paul Bodeveix, M Filali, Julia L. Lawall, Gilles Muller. Vérification automatique de propriétés d'ordonnanceurs Bossa. AFADL 2006 - Conférence Francophone sur les Approches formelles pour le développement de logiciels, Groupe sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2006, Paris, France. pp.95-109. ⟨hal-00457181⟩
• 
  Jean-Paul Bodeveix, M Filali, Julia L. Lawall, Gilles Muller. Formal Methods Meet Domain Specific Languages. IFM 2005 - 5th International Conference on Integrated Formal Methods, Nov 2005, Eindhoven, Netherlands. pp.187-206, ⟨10.1007/11589976_12⟩. ⟨hal-00457182⟩
• 
  Jean-Paul Bodeveix, M Filali, Julia L. Lawall, Gilles Muller. Applying the B formal method to the Bossa domain-specific language. 17th Nordic Workshop on Programming Theory (NWPT 2005), European Association for Theoretical Computer Science (EATCS), 2005, Copenhagen, Denmark, Denmark. pp.35-38. ⟨hal-00457183⟩
• 
  S. Marcatili, J. Collot, S. Curtoni, D. Dauvergne, J.y. Hostachy, et al.. Ultra-fast prompt gamma detection in single proton counting regime for range monitoring in particle therapy. Phys.Med.Biol., 2020, 65 (24), pp.245033. ⟨10.1088/1361-6560/ab7a6c⟩. ⟨hal-02467231⟩
• 
  Stéphanie Tillement, Geoffrey Leuridan. Contracting and Safety: Lessons from Observing an Outsourcing Process “in the Making”. Jan Hayes; Stéphanie Tillement. Contracting and Safety - Exploring Outsourcing practices in High-hazard Industries, Springer International Publishing, pp.9-17, 2022, SpringerBriefs in Applied Sciences and Technology, 978-3-030-89791-8. ⟨10.1007/978-3-030-89792-5_2⟩. ⟨hal-03702126⟩
• 
  Yu Zhang, Nicolas Farrugia, Pierre Bellec. Deep learning models of cognitive processes constrained by human brain connectomes. Medical Image Analysis, Elsevier, 2022, 80, pp.102507. ⟨10.1016/j.media.2022.102507⟩. ⟨hal-03702201⟩
• 
  Alireza Asvadi, Gaëlic Bechu, Antoine Beugnard, Caroline G. L. Cao, Christophe Lohr, et al.. Model-driven deployment of Digital Twins for Smart Environments - The HUman at home projecT case study. Journées nationales du GDR GPL 2022, Jun 2022, Vannes, France. 13, 2022, Actes des journées du GDR GPL 2022. ⟨hal-03701748⟩
• 
  Mohamad Sayed Hassan, Karine Amis Cavalec. Turbo product code decoding for concatenated space-time error correcting codes. 20th Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2009), Sep 2009, Tokyo, Japan. ⟨10.1109/PIMRC.2009.5450262⟩. ⟨hal-00437649⟩
• 
  Abdelhakim youcef, Christophe Laot, Karine Amis Cavalec. Multiple-input hybrid frequency-time domain adpative decision feedback equalization for underwater acoustic digital communications. 11th European Conference on Underwater Acoustics (ECUA 2012), Jul 2012, Edimbourg, United Kingdom. ⟨hal-00725036⟩
• 
  Said Ouala, Duong Nguyen, Cédric Herzet, Lucas Drumetz, Bertrand Chapron, et al.. Learning ocean dynamical priors from noisy data using assimilation-derived neural nets. IGARSS 2019 - International Geoscience and remote Sensing Symposium, Jul 2019, Yokohama, Japan. pp.1-3, ⟨10.1109/IGARSS.2019.8900345⟩. ⟨hal-02285693⟩

• Guide du dépôt dans Hal IMT Atlantique
• Importer par lot ses anciennes publications
• L'IdHal et la page web chercheur
• Créer une page web pour une équipe, etc.

45 %

11 276