Loading...
Last submissions
-
-
-
-
-
-
-
-
-
-
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⟩
-
-
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⟩
-
-
-
-
-
Marie-Laure Aix, Mélaine Claitte, Dominique Bicout. A Low-Cost Sensors Study Measuring Exposure to Particulate Matter in Mobility Situations. Proceedings of the 12th International Conference on Sensor Networks SENSORNETS 2023, Feb 2023, Online Streaming, France. pp.32-41, ⟨10.5220/0011747600003399⟩. ⟨hal-04098181⟩