LS2N, Nantes.

Recherche

Vous trouverez sur cette page les références (hal et 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.

Travaux universitaires

D.JULIEN - Probabilistic Abstraction and Verification of Hybrid Dynamical Systems. Nantes, France, Dec. 2025. (.bib, hal, doi, .pdf)

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)