<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-02021064</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-24T12:50:12+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Statistical model checking for parameterized models</title>
            <author role="aut">
              <persName>
                <forename type="first">Benoit</forename>
                <surname>Delahaye</surname>
              </persName>
              <email type="md5">b04f605f573cf43f25071c1904d1d1be</email>
              <email type="domain">univ-nantes.fr</email>
              <idno type="idhal" notation="string">benoit-delahaye</idno>
              <idno type="idhal" notation="numeric">3473</idno>
              <idno type="halauthorid" notation="string">21804-3473</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9104-4361</idno>
              <idno type="IDREF">https://www.idref.fr/148063128</idno>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Paulin</forename>
                <surname>Fournier</surname>
              </persName>
              <idno type="idhal" notation="numeric">774411</idno>
              <idno type="halauthorid" notation="string">783853-774411</idno>
              <idno type="IDREF">https://www.idref.fr/194641805</idno>
              <affiliation ref="#struct-481378"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Didier</forename>
                <surname>Lime</surname>
              </persName>
              <email type="md5">541a3915720d3330fe206d3e64c7830c</email>
              <email type="domain">ec-nantes.fr</email>
              <idno type="idhal" notation="string">didier-lime</idno>
              <idno type="idhal" notation="numeric">17326</idno>
              <idno type="halauthorid" notation="string">267158-17326</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9429-7586</idno>
              <idno type="IDREF">https://www.idref.fr/08563025X</idno>
              <idno type="IDREF">https://www.idref.fr/151927081</idno>
              <affiliation ref="#struct-481380"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Benoît</forename>
                <surname>Delahaye</surname>
              </persName>
              <email type="md5">b04f605f573cf43f25071c1904d1d1be</email>
              <email type="domain">univ-nantes.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-02-15 16:02:22</date>
              <date type="whenModified">2026-01-19 16:46:19</date>
              <date type="whenReleased">2019-02-19 09:30:04</date>
              <date type="whenProduced">2019-02-15</date>
              <date type="whenEndEmbargoed">2019-02-15</date>
              <ref type="file" target="https://hal.science/hal-02021064v1/document">
                <date notBefore="2019-02-15"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02021064v1/file/main.pdf" id="file-2021064-2030397">
                <date notBefore="2019-02-15"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="133577">
                <persName>
                  <forename>Benoît</forename>
                  <surname>Delahaye</surname>
                </persName>
                <email type="md5">b04f605f573cf43f25071c1904d1d1be</email>
                <email type="domain">univ-nantes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02021064</idno>
            <idno type="halUri">https://hal.science/hal-02021064</idno>
            <idno type="halBibtex">delahaye:hal-02021064</idno>
            <idno type="halRefHtml">2019</idno>
            <idno type="halRef">2019</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2021064-2030397"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-NANTES">Université de Nantes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="EC-NANTES">Ecole Centrale de Nantes</idno>
            <idno type="stamp" n="UNAM">l'unam - université nantes angers le mans</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="LS2N">Laboratoire des Sciences du Numérique de Nantes</idno>
            <idno type="stamp" n="LS2N-AELOS" corresp="LS2N">LS2N - équipe AeLoS ( Architectures et Logiciels Sûrs )</idno>
            <idno type="stamp" n="LS2N-STR" corresp="LS2N">LS2N - équipe STR</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="NANTES-UNIVERSITE">Nantes Université</idno>
            <idno type="stamp" n="UNIV-NANTES-AV2022">Université de Nantes</idno>
            <idno type="stamp" n="NU-CENTRALE">École Centrale de Nantes</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Statistical model checking for parameterized models</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Benoit</forename>
                    <surname>Delahaye</surname>
                  </persName>
                  <email type="md5">b04f605f573cf43f25071c1904d1d1be</email>
                  <email type="domain">univ-nantes.fr</email>
                  <idno type="idhal" notation="string">benoit-delahaye</idno>
                  <idno type="idhal" notation="numeric">3473</idno>
                  <idno type="halauthorid" notation="string">21804-3473</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9104-4361</idno>
                  <idno type="IDREF">https://www.idref.fr/148063128</idno>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Paulin</forename>
                    <surname>Fournier</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">774411</idno>
                  <idno type="halauthorid" notation="string">783853-774411</idno>
                  <idno type="IDREF">https://www.idref.fr/194641805</idno>
                  <affiliation ref="#struct-481378"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Didier</forename>
                    <surname>Lime</surname>
                  </persName>
                  <email type="md5">541a3915720d3330fe206d3e64c7830c</email>
                  <email type="domain">ec-nantes.fr</email>
                  <idno type="idhal" notation="string">didier-lime</idno>
                  <idno type="idhal" notation="numeric">17326</idno>
                  <idno type="halauthorid" notation="string">267158-17326</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9429-7586</idno>
                  <idno type="IDREF">https://www.idref.fr/08563025X</idno>
                  <idno type="IDREF">https://www.idref.fr/151927081</idno>
                  <affiliation ref="#struct-481380"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We propose a simulation-based technique, in the spirit of Statistical Model Checking, for approximate verification of probabilis-tic models with parametric transitions, and we focus in particular on parametric Markov chains. Our technique is based on an extension of Monte Carlo algorithms that allows to approximate the probability of satisfying a given finite trace property as a (polynomial) function of the parameters of the model. The confidence intervals associated with this approximation can also be expressed as a function of the parameters. In the paper, we present both the theoretical foundations of this technique and a prototype implementation in Python which we evaluate on a set of benchmarks.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-481378" status="OLD">
          <orgName>Architectures et Logiciels Sûrs</orgName>
          <orgName type="acronym">LS2N - équipe AeLoS</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-473973" type="direct"/>
            <relation active="#struct-97058" type="indirect"/>
            <relation active="#struct-93263" type="indirect"/>
            <relation active="#struct-111023" type="indirect"/>
            <relation name="UMR6004" active="#struct-441569" type="indirect"/>
            <relation active="#struct-481355" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-481380" status="OLD">
          <orgName>STR</orgName>
          <orgName type="acronym">LS2N - équipe STR</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ls2n.fr/equipe/str/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-473973" type="direct"/>
            <relation active="#struct-97058" type="indirect"/>
            <relation active="#struct-93263" type="indirect"/>
            <relation active="#struct-111023" type="indirect"/>
            <relation name="UMR6004" active="#struct-441569" type="indirect"/>
            <relation active="#struct-481355" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-473973" status="OLD">
          <idno type="IdRef">203637585</idno>
          <idno type="RNSR">201722241F</idno>
          <idno type="ROR">https://ror.org/02snf8m58</idno>
          <orgName>Laboratoire des Sciences du Numérique de Nantes</orgName>
          <orgName type="acronym">LS2N</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>Université de Nantes – faculté des Sciences et Techniques (FST)2 Chemin de la HoussinièreBP 92208, 44322 Nantes Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ls2n.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-97058" type="direct"/>
            <relation active="#struct-93263" type="indirect"/>
            <relation active="#struct-111023" type="direct"/>
            <relation name="UMR6004" active="#struct-441569" type="direct"/>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-97058" status="OLD">
          <orgName>Université de Nantes - UFR des Sciences et des Techniques</orgName>
          <orgName type="acronym">UN UFR ST</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sciences-techniques.univ-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93263" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93263" status="OLD">
          <idno type="IdRef">026403447</idno>
          <idno type="ROR">https://ror.org/03gnr7b55</idno>
          <orgName>Université de Nantes</orgName>
          <orgName type="acronym">UN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-nantes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-111023" status="OLD">
          <idno type="IdRef">03063525X</idno>
          <idno type="ISNI">0000000122039289</idno>
          <idno type="ROR">https://ror.org/03nh7d505</idno>
          <orgName>École Centrale de Nantes</orgName>
          <orgName type="acronym">ECN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-nantes.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-481355" status="VALID">
          <idno type="IdRef">202743233</idno>
          <idno type="ROR">https://ror.org/030hj3061</idno>
          <orgName>IMT Atlantique</orgName>
          <orgName type="acronym">IMT Atlantique</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -Campus Rennes :  2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt-atlantique.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>