• 
  Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, et al.. Rigorous Component-Based System Design Using the BIP Framework. IEEE Software, 2011, 28 (3), pp.41-48. ⟨10.1109/MS.2011.27⟩. ⟨hal-00722395v2⟩
• 
  Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis. Model-based design of IoT systems with the BIP component framework. Software: Practice and Experience, 2018, 48 (6), pp.1167 - 1194. ⟨10.1002/spe.2568⟩. ⟨hal-01889124⟩
• 
  Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier. Function Synthesis for Maximizing Model Counting. 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), Jan 2024, Londres, United Kingdom. pp.258-279, ⟨10.1007/978-3-031-50524-9_12⟩. ⟨hal-04578258⟩
• 
  Marius Bozga, Joseph Sifakis. Correct by design coordination of autonomous driving systems. International Journal on Software Tools for Technology Transfer, 2023, 25 (5-6), pp.625-639. ⟨10.1007/S10009-023-00723-0⟩. ⟨hal-04578203⟩
• 
  Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis. From High-Level Component-Based Models to Distributed Implementations. 10th International conference on Embedded software (EMSOFT 2010), Oct 2010, Scottsdale, AZ, United States. pp.209-218, ⟨10.1145/1879021.1879049⟩. ⟨hal-00557792⟩
• 
  Marius Bozga, Jianmin Hu, Oded Maler, Sergio Yovine. Verification of Asynchronous Circuits using Timed Automata. Theory and Practice of Timed Systems TPTS'02, Apr 2002, Grenoble, France. pp.47-59, ⟨10.1016/S1571-0661(04)80468-7⟩. ⟨hal-00374812⟩
• 
  Pascal Petit, Elise Gondard, Gérald Gandon, Olivier Moreaud, Mathilde Sauvée, et al.. Agricultural activities and risk of Alzheimer’s disease: the TRACTOR project, a nationwide retrospective cohort study. European Journal of Epidemiology, 2024, 39 (3), pp.271-287. ⟨10.1007/s10654-023-01079-0⟩. ⟨hal-04390645⟩
• 
  Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. International Journal on Software Tools for Technology Transfer, 2012, 14 (1), pp.53-72. ⟨10.1007/s10009-011-0201-2⟩. ⟨hal-00722489⟩
• 
  Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf. Model-based implementation of distributed systems with priorities. Design Automation for Embedded Systems, 2012, 2, pp.251-276. ⟨10.1007/s10617-012-9091-0⟩. ⟨hal-00878023⟩
• 
  Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis. A framework for automated distributed implementation of component-based models. Distributed Computing, 2012, 25 (5), pp.383-409. ⟨10.1007/s00446-012-0168-6⟩. ⟨hal-00877995⟩
• 
  Stéphane Devismes, Erwan Jahier, Karine Altisen. sasa : a SimulAtor of Self-stabilizing Algorithms. The Computer Journal, 2023, 66 (4), pp.796-814. ⟨10.1093/comjnl/bxab196⟩. ⟨hal-04186596⟩
• 
  Marius Bozga, Saddek Bensalem, Thanh-Hung Nguyen, Joseph Sifakis. Compositional Verification for Component-based Systems and Application. IET Software, 2010, 4 (3), pp.181-193. ⟨10.1049/iet-sen.2009.0011⟩. ⟨hal-00568866⟩
• 
  Matthias Tummers. Cosserat Rod Modeling of Continuum Robots : Application to Concentric Agonist-Antagonist Robots. Human health and pathology. Université Grenoble Alpes [2020-..], 2023. English. ⟨NNT : 2023GRALS041⟩. ⟨tel-04575228⟩
• 
  Clément Beitone, Jocelyne Troccaz. 3D Multi-eXpert Fusion Framework For Prostate Segmentation In 3D TRUS Imaging. International Symposium on Biomedical Imaging ISBI'2024, May 2024, Athenes, Greece. ⟨hal-04573874⟩
• 
  Mathilde Aubert, Diane Mege, Yann Parc, Eric Rullier, Eddy Cotte, et al.. Surgical Management of Retrorectal Tumors A French Multicentric Experience of 270 Consecutives Cases. Annals of Surgery, 2021, 274 (5), pp.766-772. ⟨10.1097/SLA.0000000000005119⟩. ⟨hal-03566160⟩
• 
  Bob Aubouin--Pairault, Mirko Fiacchini, Thao Dang. PID and Model Predictive Control Approach for Drug Dosage in Anesthesia During Induction: a Comparative Study ⋆. PID24 - 4th IFAC Conference on Advances in Proportional-Integral-Derivative Control, IFAC - International Federation of Automatic Control, Jun 2024, Almeria, Spain. ⟨hal-04565817⟩
• 
  Bob Aubouin--Pairault, Mirko Fiacchini, Thao Dang. Comparison of multiple Kalman filter and moving horizon estimator for the anesthesia process. Journal of Process Control, In press, 136, pp.103179. ⟨10.1016/j.jprocont.2024.103179⟩. ⟨hal-04565805⟩
• 
  Pierre-Marie Roy, Andrea Penaloza, Olivier Hugli, Frederikus Klok, Armelle Arnoux, et al.. Triaging acute pulmonary embolism for home treatment by Hestia or simplified PESI criteria: the HOME-PE randomized trial. European Heart Journal, 2021, 42 (33), pp.3146-3157. ⟨10.1093/eurheartj/ehab373⟩. ⟨hal-03885526⟩
• 
  Adeline Ruyssen-Witrand, Damien Caillet-Portillo, Aurélie Najm, Olivier Fogel, Athan Baillet, et al.. Standardized reporting for systematic global evaluation of axial spondyloarthritis: An evidence-based and consensus-driven initiative. Joint Bone Spine, 2024, 91 (5), pp.105733. ⟨10.1016/j.jbspin.2024.105733⟩. ⟨hal-04564488⟩
• 
  Matthias Tummers, Frédéric Boyer, Vincent Lebastard, Alexis Offermann, Jocelyne Troccaz, et al.. Continuum concentric push-pull robots: a Cosserat rod model. 2024. ⟨hal-04553471⟩

4 369

3 440