• 
  Anastasia Konik. Hybrid geometric self-calibration of radiological systems. Medical Imaging. Université Grenoble Alpes [2020-..], 2023. English. ⟨NNT : 2023GRALM002⟩. ⟨tel-04116886⟩
• 
  Clémence Brun, Alexis Akinyemi, Laurène Houtin, Oulmann ZERHOUNI, Richard Monvoisin, et al.. "Just to be sure": Intolerance of Uncertainty influences investigative and prescriptive behaviors of health professionals. Association for Psychological Science Annual Convention, May 2023, Washington DC, United States. ⟨hal-04116280⟩
• 
  El-Mahdi Hafiani, Pierre Cassier, Serge Aho, Pierre Albaladejo, Hélène Beloeil, et al.. Guidelines for clothing in the operating theatre, 2021. Anaesthesia Critical Care & Pain Medicine, 2022, 41 (3), pp.101084. ⟨10.1016/j.accpm.2022.101084⟩. ⟨hal-03690335⟩
• 
  Alexis Descatha, François Morin, Marc Fadel, Thomas Bizouard, Romain Mermillod-Blondin, et al.. Cardiac Arrest Management in the Workplace: Improving but Not Enough?. Safety and Health at Work, 2023, 14 (1), pp.131-134. ⟨10.1016/j.shaw.2022.12.004⟩. ⟨hal-04088589⟩
• 
  Arias-Cartin Rodrigo, Kazemzadeh Ferizhendi Katayoun, Séchet Emmanuel, Pelosi Ludovic, Loeuillet Corinne, et al.. Role of the Escherichia coli ubiquinone-synthesizing UbiUVT pathway in adaptation to changing respiratory conditions. 2023. ⟨pasteur-04109372⟩
• 
  Léo Gourdin. "Lazy" Code Transformations in a Formally Verified Compiler. 2023. ⟨hal-04108775⟩
• 
  Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis. Programming dynamic reconfigurable systems. International Journal on Software Tools for Technology Transfer, 2021, 23 (5), pp.701-719. ⟨10.1007/s10009-020-00596-7⟩. ⟨hal-04106085⟩
• 
  Marius Bozga, Radu Iosif, Joseph Sifakis. Verification of component-based systems with recursive architectures. Theoretical Computer Science, 2023, 940, Part B, pp.146-175. ⟨10.1016/j.tcs.2022.10.022⟩. ⟨hal-04106065⟩
• 
  David Monniaux. Completeness in static analysis by abstract interpretation, a personal point of view. Vincenzo Arceri; Agostino Cortesi; Pietro Ferrara; Martina Olliaro. Challenges of Software Verification, Springer Singapore, 2023, 978-981-19-9600-9. ⟨hal-03857312v2⟩
• 
  Marius Bozga, Joseph Sifakis. Correct by Design Coordination of Autonomous Driving Systems. 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2022), Oct 2022, Rhodes, Greece. pp.13-29, ⟨10.1007/978-3-031-19759-8_2⟩. ⟨hal-04105468⟩
• 
  Gaël Mouterde, Frédérique Gandjbakhch, Benoît Le Goff, Philippe Gaudin, Maria-Antonietta D’agostino. Recommendations for the pragmatic use of ultrasound in rheumatoid arthritis by the GEISPER French group. Joint Bone Spine, 2021, 88 (4), pp.105187. ⟨10.1016/j.jbspin.2021.105187⟩. ⟨hal-03704361⟩
• 
  Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis. A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. International Conference on Software Engineering and Formal Methods, SEFM 2020, Sep 2020, Amsterdam, Netherlands. pp.284-302, ⟨10.1007/978-3-030-58768-0_16⟩. ⟨hal-04104591⟩
• 
  Marius Bozga, Joseph Sifakis. Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. Jean-Francois Raskin; Krishnendu Chatterjee; Laurent Doyen; Rupak Majumdar. Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, 13660, Springer Nature Switzerland, pp.85-106, 2022, Lecture Notes in Computer Science, 978-3-031-22336-5. ⟨10.1007/978-3-031-22337-2_5⟩. ⟨hal-04103905⟩
• 
  Rima Souki, Jérémy Amosse, Valentine Genet, Morgane Le Gall, Benjamin Saintpierre, et al.. Small RNA-sequencing reveals the involvement of microRNA-132 in benzo[a]pyrene-induced toxicity in primary human blood cells. Environmental Pollution, 2023, 328, pp.121653. ⟨10.1016/j.envpol.2023.121653⟩. ⟨hal-04099863⟩
• 
  Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard. Formally Verifying Optimizations with Block Simulations. 2023. ⟨hal-04102940⟩
• 
  Soline Calla, Paul Henry, Jean Tomazewski, Hugo Villi, Nicolas Pinsault, et al.. Étude préliminaire au développement d'un outil de dépistage automatisé de la scoliose idiopathique à l'aide d'un nuage de points en 3 dimensions obtenu par une caméra de profondeur. HANDICAP 2022, IFRATH, Jun 2022, Paris, France. pp.6. ⟨hal-04102580⟩
• 
  Soline Calla, Jean Tomaszewski, Paul Henry, Hugo Villi, Guillaume Thomann, et al.. Preliminary Study for the Development of an Automatic Evaluation Tool of the Idiopathic Scoliosis Based on a 3D Point Cloud Captured by a Depth Camera. Modelling, measurement and control C, 2022, 83 (1-4), pp.33-38. ⟨10.18280/mmc_c.831-406⟩. ⟨hal-04102534⟩
• 
  Guillaume Thomann, Lyna Hireche, Frédéric Noel, Sergio-Camilo Medina-Galvis, Nicolas Pinsault. Utilisation de la Réalité augmentée pour l'enseignement de gestes de kinésithérapie. S.mart, 18émé colloque National, Apr 2023, Carry-Le-Rouet, France. 6 p. ⟨hal-04102504⟩
• 
  Hugo Villi, Guillaume Thomann, Nicolas Pinsault. Suivi dynamique de la courbure de la colonne vertébrale : cas de la détection de la scoliose. S.mart, 18ème Colloque National, Apr 2023, Carry-Le-Rouet, France. 5 p. ⟨hal-04102497⟩
• 
  Alessio Trebbi. Definition of a methodology to evaluate finite element models of the human heel for the prevention of pressure ulcers. Health. Université Grenoble Alpes [2020-..], 2022. English. ⟨NNT : 2022GRALS038⟩. ⟨tel-04099932⟩

4 138

3 320