• 
  Philippe Quénel, William Dab, Denis Zmirou-Navier, A Le Tertre, F Balducci, et al.. Impact de la pollution atmosphérique urbaine de type acido-particulaire sur la mortalité quotidienne à Lyon et dans l'agglomération parisienne. Santé Publique, 1995, 4, pp.363-376. ⟨hal-04821812⟩
• 
  Anass Haydar, Mathias Ramparison. Modeling Wazuh rules with Weighted Timed Automata. Mathias Ramparison. Parametric verification to ensure safe behaviour of connected devices. 15th International Conference on Emerging Ubiquitous Systems and Pervasive Networks / 14th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare EUSPN/ICTH 2024, Elsevier, Procedia Computer Science, vol. 251, Nov 2024, Leuven, France. pp.75-82, ⟨10.1016/j.procs.2024.11.086⟩. ⟨hal-04821785⟩
• 
  Mathias Ramparison. Parametric verification to ensure safe behaviour of connected devices. 15th International Conference on Emerging Ubiquitous Systems and Pervasive Networks / 14th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare EUSPN/ICTH 2024, Elsevier, Procedia Computer Science, vol. 251, Nov 2024, Leuven, Belgium. pp.502-507, ⟨10.1016/j.procs.2024.11.139⟩. ⟨hal-04821801⟩
• 
  J.-D. Bardet, J. Gravoulet, E. Ruspini, S. Masseron, B. Allenet, et al.. Le portage à domicile : de la livraison à la dispensation à domicile – Recommandations de bonnes pratiques et perspectives pour le pharmacien d’officine. Le Pharmacien Clinicien, 2022, 57 (1), pp.59-68. ⟨10.1016/j.phclin.2021.09.003⟩. ⟨hal-04803290⟩
• 
  Eric Barat, Camille Pouant, Annaelle Soubieux, Marianne Arrii, Jean-Didier Bardet, et al.. État des lieux de la mise en place en France des entretiens pharmaceutiques en officine : analyse des réponses issues d’un questionnaire. Therapies, 2024, 79 (4), pp.443-451. ⟨10.1016/j.therap.2023.11.010⟩. ⟨hal-04803333⟩
• 
  Marius Bozga, Joseph Sifakis. Safe by Design Autonomous Driving Systems. 2024. ⟨hal-04829824⟩
• 
  Philippe Ciblat, Jacques Combaz, Marceau Coupechoux, Kevin Marquet, Anne-Cécile Orgerie. Effets environnementaux de la 5G (partie 2) : Applications envisagées et acteurs impliqués. 1024 : Bulletin de la Société Informatique de France, 2024, 24, pp.99-127. ⟨hal-04828952⟩
• 
  David Monniaux. Verified compilation: the case of CompCert. Doctoral. En ligne, Russia. 2022. ⟨hal-04828059⟩
• 
  David Monniaux. Formal methods: abstract interpretation & verified compilation. Engineering school. Le Kremlin-Bicêtre, France. 2022. ⟨hal-04827997⟩
• 
  David Monniaux. Trop d’algorithmes tue l’algorithme ?. École d'ingénieur. Vaulx en Velin, France. 2022. ⟨hal-04827975⟩
• 
  Florence Maraninchi. Planetary Limits, Anti-Limits in Computer Systems And The Missing Scenarios. 2024. ⟨hal-04827634⟩
• 
  X. Romand, R. Gastaldi, D. Pérennou, A. Baillet, K. Dieterich. Bone mineral density in adults with arthrogryposis multiplex congenita: a retrospective cohort analysis. Scientific Reports, 2024, 14 (1), pp.8206. ⟨10.1038/s41598-024-58083-x⟩. ⟨hal-04589104⟩
• 
  Xavier Romand, Xiao Liu, M. Arifur Rahman, Zaied Ahmed Bhuyan, Claire Douillard, et al.. Mediation of Interleukin‐23 and Tumor Necrosis Factor–Driven Reactive Arthritis by Chlamydia ‐Infected Macrophages in SKG Mice. Arthritis & rheumatology, 2021, 73 (7), pp.1200-1210. ⟨10.1002/art.41653⟩. ⟨hal-03839613⟩
• 
  Sébastien Lamy, Alexis Descatha, Annie Sobaszek, Sandrine Caroly, Régis de Gaudemaris, et al.. Role of the work-unit environment in the development of new shoulder pain among hospital workers: a longitudinal analysis. Scandinavian Journal of Work, Environment and Health, 2014, 40 (4), pp.400-410. ⟨10.5271/sjweh.3430⟩. ⟨hal-01300651⟩
• 
  Salim Chehida, Abdelhakim Baouya, Diego Fernández Alonso, Paul-Emmanuel Brun, Guillemette Massot, et al.. Asset-Driven Approach for Security Risk Assessment in IoT Systems. Joaquin Garcia-Alfaro; Jean Leneutre; Nora Cuppens; Reda Yaich. Risks and Security of Internet and Systems. 15th International Conference, CRiSIS 2020, Paris, France, November 4–6, 2020, Revised Selected Papers, 12528, Springer, pp.149-163, 2021, Lecture Notes in Computer Science, 978-3-030-68886-8. ⟨10.1007/978-3-030-68887-5_9⟩. ⟨hal-03141642⟩
• 
  Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga. Applied Statistical Model Checking for a Sensor Behavior Analysis. Martin Shepperd; Fernando Brito e Abreu; Alberto Rodrigues da Silva; Ricardo Pérez-Castillo. Quality of Information and Communications Technology. 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings, 1266, Springer, pp.399-411, 2020, Communications in Computer and Information Science, 978-3-030-58792-5. ⟨10.1007/978-3-030-58793-2_32⟩. ⟨hal-02926099⟩
• 
  Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet. Formally Verified Hardening of C Programs against Hardware Fault Injection. 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP’25), Jan 2025, Denver (CO), United States. ⟨10.1145/3703595.3705880⟩. ⟨hal-04818801v2⟩
• 
  Marie-Laure Aix. Air pollution, mobility and health in the Grenoble area. Human health and pathology. Université Grenoble Alpes [2020-..], 2023. English. ⟨NNT : 2023GRALS050⟩. ⟨tel-04825385⟩
• 
  Aurélie Millet, Corentin Coustham, Camille Champigny, Marlène Botella, Christine Demeilliers, et al.. OPA1 deficiency impairs oxidative metabolism in cycling cells, underlining a translational approach for degenerative diseases. Disease Models & Mechanisms, 2023, 16 (9), ⟨10.1242/dmm.050266⟩. ⟨hal-04298018v2⟩
• 
  Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. 7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩. ⟨hal-02115599⟩

4 692

3 837