<?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-04551862</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-04-28T03:37:34+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Automatic synthesis of random generators for numerically constrained algebraic recursive types</title>
            <author role="aut">
              <persName>
                <forename type="first">Ghiles</forename>
                <surname>Ziat</surname>
              </persName>
              <email type="md5">e06ab65ad251e250855ff67a2e08f028</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">ghiles-ziat</idno>
              <idno type="idhal" notation="numeric">21515</idno>
              <idno type="halauthorid" notation="string">39452-21515</idno>
              <idno type="IDREF">https://www.idref.fr/250750422</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9623-9416</idno>
              <affiliation ref="#struct-1005016"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Vincent</forename>
                <surname>Botbol</surname>
              </persName>
              <email type="md5">ad9243028bba44f5f28da1ae482567e2</email>
              <email type="domain">nomadic-labs.com</email>
              <idno type="idhal" notation="numeric">1158793</idno>
              <idno type="halauthorid" notation="string">956764-1158793</idno>
              <affiliation ref="#struct-577698"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Matthieu</forename>
                <surname>Dien</surname>
              </persName>
              <email type="md5">69a1741e3457e3f50d460142fd924add</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">matthieu-dien</idno>
              <idno type="idhal" notation="numeric">169757</idno>
              <idno type="halauthorid" notation="string">30367-169757</idno>
              <idno type="IDREF">https://www.idref.fr/223313807</idno>
              <affiliation ref="#struct-150"/>
              <affiliation ref="#struct-388984"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Arnaud</forename>
                <surname>Gotlieb</surname>
              </persName>
              <email type="md5">0c8b56253e9d93a3e1eb85b0d259651c</email>
              <email type="domain">simula.no</email>
              <idno type="idhal" notation="numeric">766224</idno>
              <idno type="halauthorid" notation="string">105646-766224</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8980-7585</idno>
              <affiliation ref="#struct-1135351"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Martin</forename>
                <surname>Pépin</surname>
              </persName>
              <email type="md5">8b6300c3780df81a8ac4bbfad2e4071f</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">martin-pepin</idno>
              <idno type="idhal" notation="numeric">1376266</idno>
              <idno type="halauthorid" notation="string">1836819-1376266</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1892-3017</idno>
              <idno type="ARXIV">https://arxiv.org/a/pepin_m_2</idno>
              <idno type="GOOGLE SCHOLAR">5Mh7OsQAAAAJ</idno>
              <idno type="IDREF">https://www.idref.fr/263577716</idno>
              <affiliation ref="#struct-1005016"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Catherine</forename>
                <surname>Dubois</surname>
              </persName>
              <email type="md5">bbc73a992d5b3329ef9e8ef1f1216c5a</email>
              <email type="domain">ensiie.fr</email>
              <idno type="idhal" notation="string">catherine-dubois</idno>
              <idno type="idhal" notation="numeric">1017342</idno>
              <idno type="halauthorid" notation="string">206595-1017342</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9477-8109</idno>
              <affiliation ref="#struct-563936"/>
              <affiliation ref="#struct-442703"/>
              <affiliation ref="#struct-442707"/>
              <affiliation ref="#struct-179741"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Martin</forename>
                <surname>Pépin</surname>
              </persName>
              <email type="md5">dcad887a37dc23864eb1f835e6fe36fd</email>
              <email type="domain">unicaen.fr</email>
            </editor>
            <funder ref="#projanr-50734"/>
            <funder ref="#projeurop-730518"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2024-04-18 18:29:09</date>
              <date type="whenModified">2026-01-21 03:32:57</date>
              <date type="whenReleased">2024-04-18 18:29:09</date>
              <date type="whenProduced">2022-09-22</date>
              <ref type="externalLink" target="http://arxiv.org/pdf/2208.12747"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="1508191">
                <persName>
                  <forename>Martin</forename>
                  <surname>Pépin</surname>
                </persName>
                <email type="md5">dcad887a37dc23864eb1f835e6fe36fd</email>
                <email type="domain">unicaen.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04551862</idno>
            <idno type="halUri">https://hal.science/hal-04551862</idno>
            <idno type="halBibtex">ziat:hal-04551862</idno>
            <idno type="halRefHtml">&lt;i&gt;32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)&lt;/i&gt;, Sep 2022, Tbilisi, Georgia. &lt;a target="_blank" href="https://dx.doi.org/10.48550/arXiv.2208.12747"&gt;&amp;#x27E8;10.48550/arXiv.2208.12747&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), Sep 2022, Tbilisi, Georgia. &amp;#x27E8;10.48550/arXiv.2208.12747&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="ENSI-CAEN">Ecole Nationale Supérieure d'Ingénieurs de Caen</idno>
            <idno type="stamp" n="TELECOM-SUDPARIS" corresp="INSTITUT-MINES-TELECOM">Télécom SudParis</idno>
            <idno type="stamp" n="OPENAIRE">OpenAIRE</idno>
            <idno type="stamp" n="GREYC">Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen (GREYC)</idno>
            <idno type="stamp" n="GREYC-AMACC" corresp="GREYC">GREYC amacc</idno>
            <idno type="stamp" n="COMUE-NORMANDIE">Normandie Université</idno>
            <idno type="stamp" n="ENSICAEN">École Nationale Supérieure d’Ingénieurs de Caen</idno>
            <idno type="stamp" n="UNICAEN">Université de Caen Normandie</idno>
            <idno type="stamp" n="IP_PARIS">Institut Polytechnique de Paris</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="UNIV-PARIS">Université Paris Cité</idno>
            <idno type="stamp" n="UNIVERSITE-PARIS" corresp="UNIV-PARIS">Université Paris Cité</idno>
            <idno type="stamp" n="UP-SCIENCES">Université Paris Cité - Faculté des Sciences</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="IRIF">Institut de Recherche en Informatique Fondamentale</idno>
            <idno type="stamp" n="ENSIIE">ENSIIE</idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
            <idno type="stamp" n="DEPARTEMENT-DE-MATHEMATIQUES">Collection du Département de Mathématiques</idno>
            <idno type="stamp" n="IP-PARIS-DEPARTEMENT-MATHEMATIQUES">Département de Mathèmatiques</idno>
            <idno type="stamp" n="IP-PARIS-MATHEMATIQUES">IP Paris Département de Mathématiques</idno>
            <idno type="stamp" n="IP-PARIS-INFORMATION-COMMUNICATION-ELECTRONIQUE">IP Paris Département d'Information, de Communication et d'Électronique</idno>
            <idno type="stamp" n="IP-PARIS-INFORMATIQUE-DONNEES-ET-IA">IP Paris Département d'Informatique, de Données et d'IA</idno>
            <idno type="stamp" n="SAMOVAR">Services répartis, Architectures, Modélisation, Validation, Administration des Réseaux</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Paper presented at the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), Tbilisi, Georgia, and Virtual, September 22-23, 2022 (arXiv:2208.04235)</note>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Automatic synthesis of random generators for numerically constrained algebraic recursive types</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Ghiles</forename>
                    <surname>Ziat</surname>
                  </persName>
                  <email type="md5">e06ab65ad251e250855ff67a2e08f028</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">ghiles-ziat</idno>
                  <idno type="idhal" notation="numeric">21515</idno>
                  <idno type="halauthorid" notation="string">39452-21515</idno>
                  <idno type="IDREF">https://www.idref.fr/250750422</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9623-9416</idno>
                  <affiliation ref="#struct-1005016"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Vincent</forename>
                    <surname>Botbol</surname>
                  </persName>
                  <email type="md5">ad9243028bba44f5f28da1ae482567e2</email>
                  <email type="domain">nomadic-labs.com</email>
                  <idno type="idhal" notation="numeric">1158793</idno>
                  <idno type="halauthorid" notation="string">956764-1158793</idno>
                  <affiliation ref="#struct-577698"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Matthieu</forename>
                    <surname>Dien</surname>
                  </persName>
                  <email type="md5">69a1741e3457e3f50d460142fd924add</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">matthieu-dien</idno>
                  <idno type="idhal" notation="numeric">169757</idno>
                  <idno type="halauthorid" notation="string">30367-169757</idno>
                  <idno type="IDREF">https://www.idref.fr/223313807</idno>
                  <affiliation ref="#struct-150"/>
                  <affiliation ref="#struct-388984"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Arnaud</forename>
                    <surname>Gotlieb</surname>
                  </persName>
                  <email type="md5">0c8b56253e9d93a3e1eb85b0d259651c</email>
                  <email type="domain">simula.no</email>
                  <idno type="idhal" notation="numeric">766224</idno>
                  <idno type="halauthorid" notation="string">105646-766224</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8980-7585</idno>
                  <affiliation ref="#struct-1135351"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Martin</forename>
                    <surname>Pépin</surname>
                  </persName>
                  <email type="md5">8b6300c3780df81a8ac4bbfad2e4071f</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">martin-pepin</idno>
                  <idno type="idhal" notation="numeric">1376266</idno>
                  <idno type="halauthorid" notation="string">1836819-1376266</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1892-3017</idno>
                  <idno type="ARXIV">https://arxiv.org/a/pepin_m_2</idno>
                  <idno type="GOOGLE SCHOLAR">5Mh7OsQAAAAJ</idno>
                  <idno type="IDREF">https://www.idref.fr/263577716</idno>
                  <affiliation ref="#struct-1005016"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Catherine</forename>
                    <surname>Dubois</surname>
                  </persName>
                  <email type="md5">bbc73a992d5b3329ef9e8ef1f1216c5a</email>
                  <email type="domain">ensiie.fr</email>
                  <idno type="idhal" notation="string">catherine-dubois</idno>
                  <idno type="idhal" notation="numeric">1017342</idno>
                  <idno type="halauthorid" notation="string">206595-1017342</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9477-8109</idno>
                  <affiliation ref="#struct-563936"/>
                  <affiliation ref="#struct-442703"/>
                  <affiliation ref="#struct-442707"/>
                  <affiliation ref="#struct-179741"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)</title>
                  <date type="start">2022-09-22</date>
                  <date type="end">2022-09-23</date>
                  <settlement>Tbilisi</settlement>
                  <country key="GE">Georgia</country>
                </meeting>
                <imprint>
                  <date type="datePub">2022-08-26</date>
                </imprint>
              </monogr>
              <idno type="arxiv">2208.12747</idno>
              <idno type="doi">10.48550/arXiv.2208.12747</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In program verification, constraint-based random testing is a powerful technique which aims at generating random test cases that satisfy functional properties of a program. However, on recursive constrained data-structures (e.g., sorted lists, binary search trees, quadtrees), and, more generally, when the structures are highly constrained, generating uniformly distributed inputs is difficult. In this paper, we present Testify: a framework in which users can define algebraic data-types decorated with high-level constraints. These constraints are interpreted as membership predicates that restrict the set of inhabitants of the type. From these definitions, Testify automatically synthesises a partial specification of the program so that no function produces a value that violates the constraints (e.g. a binary search tree where nodes are improperly inserted). Our framework augments the original program with tests that check such properties. To achieve that, we automatically produce uniform random samplers that generate values which satisfy the constraints, and verifies the validity of the outputs of the tested functions. By generating the shape of a recursive data-structure using Boltzmann sampling and generating evenly distributed finite domain variable values using constraint solving, our framework guarantees size-constrained uniform sampling of test cases. We provide use-cases of our framework on several key data structures that are of practical relevance for developers. Experiments show encouraging results.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1005016" status="VALID">
          <idno type="IdRef">193993007</idno>
          <idno type="RNSR">201621976X</idno>
          <idno type="ROR">https://ror.org/02krdtz55</idno>
          <idno type="Wikidata">Q51783269</idno>
          <orgName>Institut de Recherche en Informatique Fondamentale</orgName>
          <orgName type="acronym">IRIF (UMR_8243)</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Université Paris CitéBâtiment Sophie Germain, Case courrier 70148 Place Aurélie Nemours75205 Paris Cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irif.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR8243" active="#struct-441569" type="direct"/>
            <relation name="UMR_8243" active="#struct-557826" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-577698" status="VALID">
          <orgName>Nomadic Labs</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://nomadic-labs.com/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-150" status="VALID">
          <idno type="IdRef">035827335</idno>
          <idno type="ISNI">0000 0000 9466 2590</idno>
          <idno type="RNSR">201722568L</idno>
          <idno type="ROR">https://ror.org/043749971</idno>
          <idno type="Wikidata">Q3117752</idno>
          <orgName>Groupe de Recherche en Informatique, Image et Instrumentation de Caen</orgName>
          <orgName type="acronym">GREYC</orgName>
          <date type="start">1995-01-01</date>
          <desc>
            <address>
              <addrLine>Boulevard du Maréchal Juin - 14050 CAEN Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.greyc.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-7127" type="direct"/>
            <relation active="#struct-455934" type="indirect"/>
            <relation active="#struct-246955" type="direct"/>
            <relation name="UMR6072" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-388984" status="VALID">
          <orgName>Equipe AMACC - Laboratoire GREYC - UMR6072</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-150" type="direct"/>
            <relation active="#struct-7127" type="indirect"/>
            <relation active="#struct-455934" type="indirect"/>
            <relation active="#struct-246955" type="indirect"/>
            <relation name="UMR6072" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1135351" status="VALID">
          <orgName>Simula Research Laboratory [OSLO]</orgName>
          <desc>
            <address>
              <addrLine>Kristian Augusts gate 230164 Oslo</addrLine>
              <country key="NO"/>
            </address>
            <ref type="url">https://www.simula.no/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-442703" status="VALID">
          <orgName>Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing</orgName>
          <orgName type="acronym">ACMES-SAMOVAR</orgName>
          <desc>
            <address>
              <addrLine>TELECOM Sudparis 9 rue Charles Fourier 91011 EVRY</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu</ref>
          </desc>
          <listRelation>
            <relation active="#struct-638" type="direct"/>
            <relation active="#struct-352124" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-442707" status="OLD">
          <orgName>Méthodes et modèles pour les réseaux</orgName>
          <orgName type="acronym">METHODES-SAMOVAR</orgName>
          <date type="end">2023-05-31</date>
          <desc>
            <address>
              <addrLine>TELECOM Sudparis 9 rue Charles Fourier 91011 EVRY</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu</ref>
          </desc>
          <listRelation>
            <relation active="#struct-638" type="direct"/>
            <relation active="#struct-352124" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-179741" status="VALID">
          <orgName>Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise</orgName>
          <orgName type="acronym">ENSIIE</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ensiie.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-557826" status="VALID">
          <idno type="IdRef">236453505</idno>
          <idno type="ISNI">0000 0004 7885 7602</idno>
          <idno type="ROR">https://ror.org/05f82e368</idno>
          <orgName>Université Paris Cité</orgName>
          <orgName type="acronym">UPCité</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>85 boulevard Saint-Germain75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://u-paris.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-7127" status="VALID">
          <idno type="IdRef">026403064</idno>
          <idno type="ISNI">0000000121864076</idno>
          <idno type="ROR">https://ror.org/051kpcy16</idno>
          <orgName>Université de Caen Normandie</orgName>
          <orgName type="acronym">UNICAEN</orgName>
          <date type="start">1432-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 CAEN Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.unicaen.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-455934" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-455934" status="VALID">
          <idno type="IdRef">190906332</idno>
          <idno type="ISNI">0000000417859671 </idno>
          <idno type="ROR">https://ror.org/01k40cz91</idno>
          <orgName>Normandie Université</orgName>
          <orgName type="acronym">NU</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.normandie-univ.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-246955" status="VALID">
          <idno type="IdRef">190907991</idno>
          <idno type="ROR">https://ror.org/01fpqqe90</idno>
          <orgName>École Nationale Supérieure d'Ingénieurs de Caen</orgName>
          <orgName type="acronym">ENSICAEN</orgName>
          <desc>
            <address>
              <addrLine>6, Boulevard du Maréchal Juin CS 45053 14050 CAEN cedex 04</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ensicaen.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-455934" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-638" status="VALID">
          <idno type="IdRef">281286515</idno>
          <idno type="ISNI">0000000403830480</idno>
          <idno type="RNSR">200319330C</idno>
          <orgName>Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux</orgName>
          <orgName type="acronym">SAMOVAR</orgName>
          <desc>
            <address>
              <addrLine>Télécom Sudparis, 9 rue Charles Fourier -91011 Evry cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-352124" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-352124" status="VALID">
          <idno type="IdRef">162347510</idno>
          <idno type="ISNI">0000000406406351</idno>
          <idno type="ROR">https://ror.org/05xvk4r52</idno>
          <idno type="Wikidata">Q43305</idno>
          <orgName>Télécom SudParis</orgName>
          <orgName type="acronym">TSP</orgName>
          <desc>
            <address>
              <addrLine>9 rue Charles Fourier -91011 Evry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
            <relation name="563936" active="#struct-563936" 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>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-50734" status="VALID">
          <idno type="anr">ANR-19-CE48-0014</idno>
          <orgName>PPS</orgName>
          <desc>Sémantique des programmes probabilistes</desc>
          <date type="start">2019</date>
        </org>
        <org type="europeanProject" xml:id="projeurop-730518" status="INCOMING">
          <idno type="number">ERDF/ESF 2014-2020</idno>
          <orgName>DynNet</orgName>
          <desc>Dynamic Networks</desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>