David Julien

Orcid: 0000-0002-1592-8042

Affiliations:

According to our database¹, David Julien authored at least 2 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., July, 2024

2022

End-to-End Statistical Model Checking for Parametric ODE Models.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022