Accueil > Recherche > Étudiants/Post-docs > Julien Henry (TER/IRL)

Julien Henry (TER/IRL)

Analyse de Programme par SMT Solving

mercredi 18 août 2010

Années: 2010 (IRL Ensimag)
Co-encadrant: David Monniaux
Sujet: Analyse de Programme par SMT Solving

2024

Journal articles

ref_biblio
Yann Nguyen, Gaëtane Nocturne, Julien Henry, Wan-Fai Ng, Rakiba Belkhir, et al.. Identification of distinct subgroups of Sjögren's disease by cluster analysis based on clinical and biological manifestations: data from the cross-sectional Paris-Saclay and the prospective ASSESS cohorts. The Lancet Rheumatology, 2024, ⟨10.1016/S2665-9913(23)00340-5⟩. ⟨hal-04489543⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04489543/file/2024%20Nguyen%20%20et%20al.%2C%20Identification.pdf BibTex

2023

Journal articles

ref_biblio
Marie Chevalerias, Guillaume Coiffier, Christelle Darrieutort-Laffite, Sophie Godot, Sebastien Ottaviani, et al.. Association between radiographic and functional outcome in vertebral osteomyelitis SPONDIMMO, a 6-month prospective multicenter cohort. Joint Bone Spine, 2023, 90 (6), pp.105600. ⟨10.1016/j.jbspin.2023.105600⟩. ⟨hal-04205859⟩
Accès au bibtex
BibTex
ref_biblio
Élise Maigné, Céline Noirot, Julien Henry, Yaa Adu Kesewaah, Ludovic Badin, et al.. ASTERICS: A Simple Tool for the ExploRation and Integration of omiCS data. BMC Bioinformatics, 2023, 24 (1), pp.391. ⟨10.1186/s12859-023-05504-9⟩. ⟨hal-04248315⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04248315/file/s12859-023-05504-9.pdf BibTex

2022

Journal articles

ref_biblio
Adrien Le Pluart, Guillaume Coiffier, Christelle Darrieutort-Lafitte, Sophie Godot, Sebastien Ottaviani, et al.. Spine immobilization and neurological outcome in vertebral osteomyelitis SPONDIMMO, a prospective multicentric cohort. Joint Bone Spine, 2022, 89 (4), pp.105333. ⟨10.1016/j.jbspin.2021.105333⟩. ⟨hal-03868000⟩
Accès au bibtex
BibTex
ref_biblio
Jacques-Eric Gottenberg, Aurore Chaudier, Yves Allenbach, Arsène Mekinian, Zahir Amoura, et al.. Tolerance and efficacy of targeted therapies prescribed for off-label indications in refractory systemic autoimmune diseases: data of the first 100 patients enrolled in the TATA registry (TArgeted Therapy in Autoimmune Diseases).. RMD Open, 2022, 8, ⟨10.1136/rmdopen-2022-002324⟩. ⟨hal-03986570⟩
Accès au bibtex
BibTex
ref_biblio
Jacques-Eric Gottenberg, Aurore Chaudier, Yves Allenbach, Arsène Mekinian, Zahir Amoura, et al.. Tolerance and efficacy of targeted therapies prescribed for off-label indications in refractory systemic autoimmune diseases: data of the first 100 patients enrolled in the TATA registry (TArgeted Therapy in Autoimmune Diseases).. RMD Open, 2022, 8. ⟨hal-04027573⟩
Accès au bibtex
BibTex

Conference papers

ref_biblio
Élise Maigné, Céline Noirot, Jérôme Mariette, Yaa Adu Kesewaah, Sébastien Déjean, et al.. ASTERICS: A Tool for the ExploRation and Integration of omiCS data. Les Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM), Inria; INRAE, Jul 2022, Rennes, France. ⟨hal-03697843⟩
Accès au bibtex
BibTex

Poster communications

ref_biblio
Élise Maigné, Céline Noirot, Jérôme J. Mariette, Yaa Adu Kesewaah, Sébastien Dejean, et al.. ASTERICS: A Tool for the ExploRation and Integration of omiCS data. Journée Régional Bioinfo/Biostat, Dec 2022, Toulouse, France. ⟨hal-03882998⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03882998/file/maigne_etal_JBB2022.pdf BibTex
ref_biblio
Élise Maigné, Céline Noirot, Jérôme J. Mariette, Yaa Adu Kesewaah, Sébastien Dejean, et al.. ASTERICS: A Tool for the ExploRation and Integration of omiCS data. ECCB: 21st European Conference on Computational Biology, Sep 2022, Sitges, Spain. , 2022, ⟨10.7490/f1000research.1119290.1⟩. ⟨hal-03890660⟩
Accès au texte intégral et bibtex
https://hal.inrae.fr/hal-03890660/file/maigne_etal_ECCB2022.pdf BibTex

Software

ref_biblio
Elise Maigné, Céline Noirot, Julien Henry, Yaa Adu Kesewaah, Ludovic Badin, et al.. ASTERICS. 2022, ⟨swh:1:dir:313f6ac758c7daab63c6b81a0fe5717de3da7b08;origin=https://forgemia.inra.fr/asterics/asterics;visit=swh:1:snp:241132a0f4b9dc0a22a1f6df8ac9be0f7035428b;anchor=swh:1:rev:fce1072b8cc351d499edf7f700351732ce81a29d⟩. ⟨hal-04095877⟩
Accès au bibtex
BibTex

2021

Journal articles

ref_biblio
Jérôme Avouac, Elodie Drumez, Eric Hachulla, Raphaèle Seror, Sophie Georgin-Lavialle, et al.. COVID-19 outcomes in patients with inflammatory rheumatic and musculoskeletal diseases treated with rituximab: a cohort study. The Lancet Rheumatology, 2021, 3 (6), pp.e419-e426. ⟨10.1016/S2665-9913(21)00059-X⟩. ⟨hal-03365306⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03365306/file/S266599132100059X.pdf BibTex

2020

Journal articles

ref_biblio
Florence Aeschlimann, Nassim Ait-Abdallah, Jean-David Albert, Didier Alcais, Yannick Allanore, et al.. Severity of COVID-19 and survival in patients with rheumatic and inflammatory diseases: data from the French RMD COVID-19 cohort of 694 patients. Annals of the Rheumatic Diseases, 2020, pp.annrheumdis-2020-218310. ⟨10.1136/annrheumdis-2020-218310⟩. ⟨hal-03105409⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03105409/file/annrheumdis-2020-218310.full.pdf BibTex

2019

Journal articles

ref_biblio
Salam Abbara, Raphaele Seror, Julien Henry, Pascale Chretien, Aude Gleizes, et al.. Anti-RNP positivity in primary Sjogren's syndrome is associated with a more active disease and a more frequent muscular and pulmonary involvement. RMD Open : Rheumatic & Musculoskeletal Diseases, 2019, 5 (2), ⟨10.1136/rmdopen-2019-001033⟩. ⟨hal-03295371⟩
Accès au texte intégral et bibtex
https://cnrs.hal.science/hal-03295371/file/e001033.full.pdf BibTex

2018

Journal articles

ref_biblio
David Montani, Julien Henry, Caroline O'Connell, Xavier Jaïs, Vincent Cottin, et al.. Association between Rheumatoid Arthritis and Pulmonary Hypertension: Data from the French Pulmonary Hypertension Registry. Respiration, 2018, 95 (4), pp.244 - 250. ⟨10.1159/000485631⟩. ⟨hal-01788817⟩
Accès au texte intégral et bibtex
https://hal.umontpellier.fr/hal-01788817/file/2018%20Montani%20et%20al.%2C%20Association%20between.pdf BibTex

2014

Conference papers

ref_biblio
Julien Henry, Mihail Asavoae, David Monniaux, Claire Maïza. How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics. ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014, Jun 2014, Edimbourg, United Kingdom. pp.1-10. ⟨hal-00998138⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00998138/file/Henry_et_al_LCTES2014.pdf BibTex

Theses

ref_biblio
Julien Henry. Static Analysis by Abstract Interpretation and Decision Procedures. Software Engineering [cs.SE]. Université de Grenoble, 2014. English. ⟨NNT : ⟩. ⟨tel-01102418⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01102418/file/these.pdf BibTex
ref_biblio
Julien Henry. Analyse statique par interprétation abstraite et procédures de décision. Logic in Computer Science [cs.LO]. Université de Grenoble, 2014. English. ⟨NNT : 2014GRENM037⟩. ⟨tel-01485202⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01485202/file/41754_HENRY_2014_archivage.pdf BibTex

2012

Conference papers

ref_biblio
Julien Henry, David Monniaux, Matthieu Moy. PAGAI: a path sensitive static analyzer. Tools for Automatic Program AnalysiS (TAPAS 2012), Sep 2012, Deauville, France. pp.3. ⟨hal-00718438⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00718438/file/pagai_article.pdf BibTex
ref_biblio
Nicolas Halbwachs, Julien Henry. When the Decreasing Sequence Fails. SAS 2012 The 19th International Static Analysis Symposium, Sep 2012, Deauville, France. pp.198-213, ⟨10.1007/978-3-642-33125-1_15⟩. ⟨hal-00734340⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00734340/file/sas-14.pdf BibTex
ref_biblio
Julien Henry, David Monniaux, Matthieu Moy. Succinct Representations for Abstract Interpretation. Static analysis symposium (SAS), Sep 2012, Deauville, France. pp.283-299, ⟨10.1007/978-3-642-33125-1_20⟩. ⟨hal-00709833⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00709833/file/implicitization_article.pdf BibTex

2010

Journal articles

ref_biblio
Franck Chotel, Julien Henry, Romain Seil, Julien Chouteau, Bernard Moyen, et al.. Growth disturbances without growth arrest after ACL reconstruction in children. Knee Surgery, Sports Traumatology, Arthroscopy, 2010, 18 (11), pp. 1496-1500. ⟨10.1007/s00167-010-1069-5⟩. ⟨hal-00983736⟩
Accès au bibtex
BibTex

Voir en ligne : Results on EnsiWiki

Documents joints


Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License