LS2N, Nantes.

Recherche

Vous trouverez sur cette page les références (doi) de mes différentes publications scientifiques, ainsi que les fichiers .bib et, si possible, les fichiers .pdf associés. Dans tous les cas, vous pouvez me contacter via l'onglet [Contact] pour obtenir une version libre d'un article.

Conférences

  • D.JULIEN, G.CANTIN, B.DELAHAYE - End-to-End Statistical Model Checking for Parametric ODE Models. In Quantitative Evaluation of Systems, Warsaw, Poland, Sept. 2022. (.bib, hal, doi, .pdf)