Julien, D., Ardourel, G., Cantin, G., Delahaye, B., Vérification pour l’Environnement et le LOgiciel (LS2 N - équipe VELO), Laboratoire des Sciences du Numérique de Nantes (LS2 N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ) und ANR-22-CE48-0012,Biso US,Better Synthesis for Underspecified Quantitative Systems(2022) (2024) „End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models ; Verification Statistiques de Modèles pour la Paramétrisation et l’Analyse de Stabilité de modèles différentiels“, ISSN: 1049-3301 ; ACM Transactions on Modeling and Computer Simulation ; https://hal.science/hal-04478120 ; ACM Transactions on Modeling and Computer Simulation, 2024, ⟨10.1145/3649438⟩ [Preprint]. doi:10.1145/3649438.

Julien, David, Gilles Ardourel, Guillaume Cantin, Benoit Delahaye, Vérification pour l’Environnement et le LOgiciel (LS2 N - équipe VELO), Laboratoire des Sciences du Numérique de Nantes (LS2 N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), und ANR-22-CE48-0012,Biso US,Better Synthesis for Underspecified Quantitative Systems(2022). „End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models ; Verification Statistiques De Modèles Pour La Paramétrisation Et l’Analyse De Stabilité De modèles différentiels“. ISSN: 1049-3301 ; ACM Transactions on Modeling and Computer Simulation ; https://hal.science/Hal-04478120 ; ACM Transactions on Modeling and Computer Simulation, 2024, ⟨10.1145/3649438⟩, 1. Januar 2024. https://doi.org/10.1145/3649438.

Julien, D., Ardourel, G., Cantin, G., Delahaye, B., Vérification pour l’Environnement et le LOgiciel (LS2 N - équipe VELO), Laboratoire des Sciences du Numérique de Nantes (LS2 N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), & ANR-22-CE48-0012,Biso US,Better Synthesis for Underspecified Quantitative Systems(2022). (2024). End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models ; Verification Statistiques de Modèles pour la Paramétrisation et l’Analyse de Stabilité de modèles différentiels. ISSN: 1049-3301 ; ACM Transactions on Modeling and Computer Simulation ; https://hal.science/Hal-04478120 ; ACM Transactions on Modeling and Computer Simulation, 2024, ⟨10.1145/3649438⟩. https://doi.org/10.1145/3649438

Julien, D., G. Ardourel, G. Cantin, B. Delahaye, Vérification pour l’Environnement et le LOgiciel (LS2 N - équipe VELO), Laboratoire des Sciences du Numérique de Nantes (LS2 N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), und ANR-22-CE48-0012,Biso US,Better Synthesis for Underspecified Quantitative Systems(2022). „End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models ; Verification Statistiques De Modèles Pour La Paramétrisation Et l’Analyse De Stabilité De modèles différentiels“. ISSN: 1049-3301 ; ACM Transactions on Modeling and Computer Simulation ; https://hal.science/Hal-04478120 ; ACM Transactions on Modeling and Computer Simulation, 2024, ⟨10.1145/3649438⟩, Januar 2024, https://doi.org/10.1145/3649438.

JULIEN, David, Gilles ARDOUREL, Guillaume CANTIN, Benoit DELAHAYE, Vérification pour l’Environnement et le LOgiciel (LS2 N - équipe VELO), Laboratoire des Sciences du Numérique de Nantes (LS2 N), INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-IMT ATLANTIQUE (IMT ATLANTIQUE), INSTITUT MINES-TÉLÉCOM PARIS (IMT)-INSTITUT MINES-TÉLÉCOM PARIS (IMT)-NANTES UNIVERSITÉ - ÉCOLE CENTRALE DE NANTES (NANTES UNIV - ECN), NANTES UNIVERSITÉ (NANTES UNIV)-NANTES UNIVERSITÉ (NANTES UNIV)-NANTES UNIVERSITÉ - UFR DES SCIENCES ET DES TECHNIQUES (NANTES UNIV - UFR ST), NANTES UNIVERSITÉ - PÔLE SCIENCES ET TECHNOLOGIE, NANTES UNIVERSITÉ (NANTES UNIV)-NANTES UNIVERSITÉ (NANTES UNIV)-NANTES UNIVERSITÉ - PÔLE SCIENCES ET TECHNOLOGIE, NANTES UNIVERSITÉ (NANTES UNIV)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-IMT ATLANTIQUE (IMT ATLANTIQUE), NANTES UNIVERSITÉ (NANTES UNIV) und ANR-22-CE48-0012,Biso US,Better Synthesis for Underspecified Quantitative Systems(2022), 2024. End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models ; Verification Statistiques de Modèles pour la Paramétrisation et l’Analyse de Stabilité de modèles différentiels. ISSN: 1049-3301 ; ACM Transactions on Modeling and Computer Simulation ; https://hal.science/hal-04478120 ; ACM Transactions on Modeling and Computer Simulation, 2024, ⟨10.1145/3649438⟩. 1 Januar 2024. DOI 10.1145/3649438