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 la page Contact pour obtenir une version libre d'un article.

Articles de journal

  • D.JULIEN, G. ARDOUREL, G.CANTIN, B.DELAHAYE - End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models. In ACM Transactions on Modeling and Computer Simulation, July 2024. (.bib, hal, doi, .pdf)

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)