• 
  N. Segond, D. Viglino, H. Duhem, C. Vigneron, C. Vallot, et al.. Neurological outcome of cardiac arrest patients in mountain areas: An analysis of the Northern French Alps Emergency Network. American Journal of Emergency Medicine, 2024, 81, pp.47-52. ⟨10.1016/j.ajem.2024.04.017⟩. ⟨hal-04567686⟩
• 
  Tarek Alsaka, Philippe Cinquin, M. Taha Chikhaoui. Hierarchy Control of Dual-arm Concentric Tube Continuum Robots with Different Redundancy Resolution Techniques. Advances in Robot Kinematics, Jun 2024, Ljubljana, Slovenia. ⟨hal-04585876⟩
• 
  Olivier Paccoud, Marie Desnos-Ollivier, Sophie Cassaing, Karine Boukris-Sitbon, Alexandre Alanio, et al.. Cryptococcus neoformans Infections Differ Among Human Immunodeficiency Virus (HIV)–Seropositive and HIV-Seronegative Individuals: Results From a Nationwide Surveillance Program in France. Open Forum Infectious Diseases, 2024, 11 (2), pp.ofad658. ⟨10.1093/ofid/ofad658⟩. ⟨hal-04473848⟩
• 
  Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu. Using static analysis to improve automatic test generation. International Journal on Software Tools for Technology Transfer, 2003, 4 (2), pp.142-152. ⟨10.1007/S10009-002-0098-X⟩. ⟨hal-04580695⟩
• 
  Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga. Priority-based scheduling of mixed-critical jobs. Real-Time Systems, 2019, 55 (4), pp.709-773. ⟨10.1007/S11241-019-09329-9⟩. ⟨hal-04580646⟩
• 
  Nicolas de Leiris, Pascale Perret, Charlotte Lombardi, Bülent Gözel, Sabine Chierici, et al.. A single-domain antibody for the detection of pathological Tau protein in the early stages of oligomerization. Journal of Translational Medicine, 2024, 22 (1), pp.163. ⟨10.1186/s12967-024-04987-1⟩. ⟨hal-04583802⟩
• 
  Bertrand Néron, Rémi Denise, Charles Coluzzi, Marie Touchon, Eduardo Rocha, et al.. MacSyFinder v2: An improved search engine to model and identify molecular systems in genomes. JOBIM, Jul 2022, Rennes (Campus de Beaulieu), France. , https://jobim2022.sciencesconf.org/data/pages/JOBIM2022_proceedings_posters_demos.pdf. ⟨pasteur-04583571⟩
• 
  Jean-Philippe Galanaud, Céline Genty-Vermorel, Marie-Thérèse Barrellier, François Becker, Violaine Jabbour, et al.. 25 mm Hg versus 35 mm Hg elastic compression stockings to prevent post-thrombotic syndrome after deep vein thrombosis (CELEST): a randomised, double-blind, non-inferiority trial. The Lancet Haematology, 2022, 9 (12), pp.e886-e896. ⟨10.1016/S2352-3026(22)00247-2⟩. ⟨hal-03890237⟩
• 
  Victor Sérénon, Philippe Rouanet, Diane Charleux-Muller, Clarisse Eveno, Karine Poirot, et al.. Iatrogenic ureteral injury during colorectal surgery has a significant impact on patient outcomes: a French multicentric retrospective cohort study. Colorectal Disease, 2023, ⟨10.1111/codi.16630⟩. ⟨hal-04113776⟩
• 
  Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier. Protocol verification with the ALDÉBARAN toolset. International Journal on Software Tools for Technology Transfer, 2014, 1 (1-2), pp.166-183. ⟨10.1007/S100090050012⟩. ⟨hal-04580714⟩
• 
  Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu. State space reduction based on live variables analysis. Science of Computer Programming, 2003, 47 (2-3), pp.203-220. ⟨10.1016/S0167-6423(02)00133-8⟩. ⟨hal-04580692⟩
• 
  Louis Lenfant, Clément Beitone, Jocelyne Troccaz, Morgan Rouprêt, Thomas Seisen, et al.. LEARNING CURVE OF FUSION MRI-TARGETED PROSTATE BIOPSY AND 3D-TRUS SEGMENTATION. BJU International, 2024, 133 (6), pp.709-716. ⟨10.1111/bju.16287⟩. ⟨hal-04580995⟩
• 
  Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, et al.. Verification and test generation for the SSCOP protocol. Science of Computer Programming, 2000, 36 (1), pp.27-52. ⟨10.1016/S0167-6423(99)00017-9⟩. ⟨hal-04580705⟩
• 
  Antoine El-Hokayem, Marius Bozga, Joseph Sifakis. A temporal configuration logic for dynamic reconfigurable systems. SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Mar 2021, Virtual Event, Republic of Korea, South Korea. pp.1419-1428, ⟨10.1145/3412841.3442017⟩. ⟨hal-04106114⟩
• 
  Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron Peled, Jean Quilbeuf. Performance Evaluation of Process Partitioning using Probabilistic Model Checking. Hardware and Software: Verification and Testing - 9th Haifa Verification Conference, HVC 2013, Nov 2013, Haifa, Israel. pp.344-358, ⟨10.1007/978-3-319-03077-7_23⟩. ⟨hal-04580508⟩
• 
  Jean-François Kempf, Marius Bozga, Oded Maler. As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Mar 2013, Rome, Italy. pp.385-400, ⟨10.1007/978-3-642-36742-7_27⟩. ⟨hal-04580500⟩
• 
  Mohamed Yassin Chkouri, Marius Bozga. Prototyping of Distributed Embedded Systems Using AADL ⋆. Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ACES-MB 2009 - held as part of the 2009 International Conference on Model Driven Engineering Languages and Systems MoDELS'09, Oct 2009, Denver (Colorado, USA), United States. ⟨hal-04580495⟩
• 
  M. Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis. Translating AADL into BIP - Application to the Verification of Real-Time Systems. Models in Software Engineering, Workshops and Symposia at MODELS 2008, Sep 2008, Toulouse, France. pp.5-19, ⟨10.1007/978-3-642-01648-6_2⟩. ⟨hal-04580489⟩
• 
  Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone. Integration of correct-by-construction BIP models into the MetroII design space exploration flow. 30th International IEEE Conference on Computer Design (ICCD 2012), Sep 2012, Montréal, Canada. pp.490-491, ⟨10.1109/ICCD.2012.6378688⟩. ⟨hal-00878187⟩
• 
  Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza, et al.. PRO3D, Programming for Future 3D Manycore Architectures: Project Interim Status. Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Oct 2011, Turin, Italy. pp.277-293, ⟨10.1007/978-3-642-35887-6_15⟩. ⟨hal-04580479⟩

4 394

3 436