<?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-01281727</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-18T19:52:12+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events</title>
            <author role="crp">
              <persName>
                <forename type="first">Yliès</forename>
                <surname>Falcone</surname>
              </persName>
              <email type="md5">4a78d641e358e324998e59474166d80b</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="string">ylies-falcone</idno>
              <idno type="idhal" notation="numeric">2827</idno>
              <idno type="halauthorid" notation="string">38042-2827</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0114-0641</idno>
              <idno type="IDREF">https://www.idref.fr/139194975</idno>
              <affiliation ref="#struct-1042443"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Thierry</forename>
                <surname>Jéron</surname>
              </persName>
              <email type="md5">b4ee3a82862b7377c8c2b284062a2157</email>
              <email type="domain">irisa.fr</email>
              <ptr type="url" target="http://www.irisa.fr/prive/jeron/"/>
              <idno type="idhal" notation="string">thierry-jeron</idno>
              <idno type="idhal" notation="numeric">4984</idno>
              <idno type="halauthorid" notation="string">1471-4984</idno>
              <idno type="IDREF">https://www.idref.fr/095612777</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9922-6186</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-210611"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Hervé</forename>
                <surname>Marchand</surname>
              </persName>
              <email type="md5">d6bd27556378be86f2e5cb1effad0ead</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">herve-marchand</idno>
              <idno type="idhal" notation="numeric">418</idno>
              <idno type="halauthorid" notation="string">19754-418</idno>
              <idno type="IDREF">https://www.idref.fr/095626360</idno>
              <affiliation ref="#struct-210611"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Srinivas</forename>
                <surname>Pinisetty</surname>
              </persName>
              <email type="md5">a267c53bc57f3402f0000a65813869d2</email>
              <email type="domain">iitbbs.ac.in</email>
              <idno type="idhal" notation="numeric">770109</idno>
              <idno type="halauthorid" notation="string">666878-770109</idno>
              <idno type="IDREF">https://www.idref.fr/187816751</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7779-8231</idno>
              <affiliation ref="#struct-360464"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Yliès</forename>
                <surname>Falcone</surname>
              </persName>
              <email type="md5">9780edccf70cc5022325e29685e5e70c</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-03-02 16:27:26</date>
              <date type="whenWritten">2015</date>
              <date type="whenModified">2026-01-23 09:12:06</date>
              <date type="whenReleased">2016-03-02 18:33:57</date>
              <date type="whenProduced">2016-03</date>
              <date type="whenEndEmbargoed">2016-03-02</date>
              <ref type="file" target="https://inria.hal.science/hal-01281727v1/document">
                <date notBefore="2016-03-02"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01281727v1/file/SCP-final.pdf" id="file-1281727-1362106">
                <date notBefore="2016-03-02"/>
              </ref>
              <ref type="externalLink" target="https://hal.inria.fr/hal-01281727/file/SCP-final.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="134955">
                <persName>
                  <forename>Yliès</forename>
                  <surname>Falcone</surname>
                </persName>
                <email type="md5">9780edccf70cc5022325e29685e5e70c</email>
                <email type="domain">univ-grenoble-alpes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01281727</idno>
            <idno type="halUri">https://inria.hal.science/hal-01281727</idno>
            <idno type="halBibtex">falcone:hal-01281727</idno>
            <idno type="halRefHtml">&lt;i&gt;Science of Computer Programming&lt;/i&gt;, 2016, 123, pp.2-41. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.scico.2016.02.008"&gt;&amp;#x27E8;10.1016/j.scico.2016.02.008&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Science of Computer Programming, 2016, 123, pp.2-41. &amp;#x27E8;10.1016/j.scico.2016.02.008&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1281727-1362106"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-RENNES1">Université de Rennes 1</idno>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="UNIV-UBS">Université de Bretagne Sud</idno>
            <idno type="stamp" n="INSA-RENNES">Institut National des Sciences Appliquées de Rennes</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="INRIA-RHA">INRIA Grenoble - Rhône-Alpes</idno>
            <idno type="stamp" n="INRIA-RENNES">INRIA Rennes - Bretagne Atlantique</idno>
            <idno type="stamp" n="IRISA">Irisa</idno>
            <idno type="stamp" n="LIG">Laboratoire d'Informatique de Grenoble</idno>
            <idno type="stamp" n="IRISA_SET">IRISA_SET</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="LIG_SRCPR" corresp="LIG">Systèmes Répartis, Calcul Parallèle et Réseaux</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="IRISA-D4">LANGAGE ET GÉNIE LOGICIEL </idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UR1-HAL">Publications labos UR1 dans HAL-Rennes 1</idno>
            <idno type="stamp" n="LIG-SRCPR-CORSE" corresp="LIG_SRCPR">CORSE - Computer Optimization and Run-time SystEms</idno>
            <idno type="stamp" n="UR1-MATH-STIC">UR1 - publications Maths-STIC</idno>
            <idno type="stamp" n="UR1-UFR-ISTIC">UFR ISTIC Informatique et électronique</idno>
            <idno type="stamp" n="TEST-UNIV-RENNES">TEST Université de Rennes</idno>
            <idno type="stamp" n="TEST-UR-CSS">TEST Université de Rennes CSS</idno>
            <idno type="stamp" n="UNIV-RENNES">Université de Rennes</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="INRIA-300009">Inria 300009</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="UGA-COMUE">Université Grenoble Alpes [2016-2019]</idno>
            <idno type="stamp" n="UR1-MATH-NUM">Pôle UnivRennes - Mathématiques - Numérique </idno>
            <idno type="stamp" n="LIG_SIDCH" corresp="LIG">Systèmes intelligents pour les données, les connaissances et les humains</idno>
            <idno type="stamp" n="INRIAARTDOI">INRIAARTDOI</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events</title>
                <author role="crp">
                  <persName>
                    <forename type="first">Yliès</forename>
                    <surname>Falcone</surname>
                  </persName>
                  <email type="md5">4a78d641e358e324998e59474166d80b</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="string">ylies-falcone</idno>
                  <idno type="idhal" notation="numeric">2827</idno>
                  <idno type="halauthorid" notation="string">38042-2827</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0114-0641</idno>
                  <idno type="IDREF">https://www.idref.fr/139194975</idno>
                  <affiliation ref="#struct-1042443"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Thierry</forename>
                    <surname>Jéron</surname>
                  </persName>
                  <email type="md5">b4ee3a82862b7377c8c2b284062a2157</email>
                  <email type="domain">irisa.fr</email>
                  <ptr type="url" target="http://www.irisa.fr/prive/jeron/"/>
                  <idno type="idhal" notation="string">thierry-jeron</idno>
                  <idno type="idhal" notation="numeric">4984</idno>
                  <idno type="halauthorid" notation="string">1471-4984</idno>
                  <idno type="IDREF">https://www.idref.fr/095612777</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9922-6186</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-210611"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Hervé</forename>
                    <surname>Marchand</surname>
                  </persName>
                  <email type="md5">d6bd27556378be86f2e5cb1effad0ead</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">herve-marchand</idno>
                  <idno type="idhal" notation="numeric">418</idno>
                  <idno type="halauthorid" notation="string">19754-418</idno>
                  <idno type="IDREF">https://www.idref.fr/095626360</idno>
                  <affiliation ref="#struct-210611"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Srinivas</forename>
                    <surname>Pinisetty</surname>
                  </persName>
                  <email type="md5">a267c53bc57f3402f0000a65813869d2</email>
                  <email type="domain">iitbbs.ac.in</email>
                  <idno type="idhal" notation="numeric">770109</idno>
                  <idno type="halauthorid" notation="string">666878-770109</idno>
                  <idno type="IDREF">https://www.idref.fr/187816751</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7779-8231</idno>
                  <affiliation ref="#struct-360464"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">18828</idno>
                <idno type="issn">0167-6423</idno>
                <title level="j">Science of Computer Programming</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">123</biblScope>
                  <biblScope unit="pp">2-41</biblScope>
                  <date type="datePub">2016-03</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.scico.2016.02.008</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">timed specifications</term>
                <term xml:lang="en">runtime enforcement</term>
                <term xml:lang="en">monitoring</term>
                <term xml:lang="en">verification</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Runtime enforcement is a verification/validation technique aiming at correcting possibly incorrect executions of a system of interest. In this paper, we consider enforcement monitoring for systems where the physical time elapsing between actions matters. Executions are thus modelled as timed words (i.e., sequences of actions with dates). We consider runtime enforcement for timed specifications modelled as timed automata. Our enforcement mechanisms have the power of both delaying events to match timing constraints, and suppressing events when no delaying is appropriate, thus possibly allowing for longer executions. To ease their design and their correctness-proof, enforcement mechanisms are described at several levels: enforcement functions that specify the input-output behaviour in terms of transformations of timed words, constraints that should be satisfied by such functions, enforcement monitors that describe the operational behaviour of enforcement functions, and enforcement algorithms that describe the implementation of enforcement monitors. The feasibility of enforcement monitoring for timed properties is validated by prototyping the synthesis of enforcement monitors from timed automata.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-1042443" status="OLD">
          <idno type="RNSR">201421151J</idno>
          <orgName>Compiler Optimization and Run-time Systems</orgName>
          <orgName type="acronym">CORSE</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>3 Parvis Louis Néel, 38000 Grenoble</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://team.inria.fr/corse/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2497" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-1041964" type="direct"/>
            <relation active="#struct-89889" type="indirect"/>
            <relation name="UMR5217" active="#struct-441569" type="indirect"/>
            <relation active="#struct-445543" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-210611" status="OLD">
          <idno type="RNSR">201321087U</idno>
          <orgName>SUpervision of large MOdular and distributed systems</orgName>
          <orgName type="acronym">SUMO</orgName>
          <date type="start">2013-01-01</date>
          <date type="end">2014-12-31</date>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu 35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/sumo</ref>
          </desc>
          <listRelation>
            <relation active="#struct-419153" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-419365" type="direct"/>
            <relation active="#struct-105128" type="indirect"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-301262" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-360464" status="VALID">
          <orgName>Aalto University</orgName>
          <date type="start">2015-08-27</date>
          <desc>
            <address>
              <addrLine>P.O. Box 11000, FI-00076 Aalto</addrLine>
              <country key="FI"/>
            </address>
            <ref type="url">https://www.aalto.fi/en</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2497" status="VALID">
          <idno type="RNSR">199218244V</idno>
          <idno type="ROR">https://ror.org/00n8d6z93</idno>
          <orgName>Centre Inria de l'Université Grenoble Alpes</orgName>
          <desc>
            <address>
              <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/grenoble</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-1041964" status="OLD">
          <idno type="IdRef">148425550</idno>
          <idno type="ISNI">0000 0001 2286 4035</idno>
          <idno type="RNSR">200711886U</idno>
          <idno type="ROR">https://ror.org/01c8rcg82</idno>
          <orgName>Laboratoire d'Informatique de Grenoble</orgName>
          <orgName type="acronym">LIG</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9Tél. : 04 57 42 14 00</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.liglab.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-89889" type="direct"/>
            <relation name="UMR5217" active="#struct-441569" type="direct"/>
            <relation active="#struct-445543" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-89889" status="OLD">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.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-445543" status="OLD">
          <idno type="IdRef">188399275</idno>
          <idno type="ROR">https://ror.org/02rx3b187</idno>
          <orgName>Université Grenoble Alpes [2016-2019]</orgName>
          <orgName type="acronym">UGA [2016-2019]</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>38058 Grenoble cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-419153" status="VALID">
          <idno type="RNSR">198018249C</idno>
          <idno type="ROR">https://ror.org/04040yw90</idno>
          <orgName>Centre Inria de l'Université de Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/rennes</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-419365" status="OLD">
          <orgName>LANGAGE ET GÉNIE LOGICIEL</orgName>
          <orgName type="acronym">IRISA-D4</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irisa.fr/fr/departements/d4-langage-genie-logiciel</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105128" type="direct"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-301262" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-105128" status="OLD">
          <idno type="IdRef">026386909</idno>
          <idno type="ISNI">0000 0001 2298 7270</idno>
          <idno type="RNSR">200012163A</idno>
          <idno type="ROR">https://ror.org/00myn0z94</idno>
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">2000-01-01</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>Avenue du général LeclercCampus de Beaulieu 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irisa.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105160" type="direct"/>
            <relation active="#struct-117606" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="direct"/>
            <relation active="#struct-247362" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-301262" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR6074" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-105160" status="VALID">
          <idno type="IdRef">26693823X</idno>
          <idno type="ROR">https://ror.org/015m7wh34</idno>
          <orgName>Université de Rennes</orgName>
          <orgName type="acronym">UR</orgName>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-rennes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-117606" status="VALID">
          <idno type="ROR">https://ror.org/04xaa4j22</idno>
          <orgName>Institut National des Sciences Appliquées - Rennes</orgName>
          <orgName type="acronym">INSA Rennes</orgName>
          <desc>
            <address>
              <addrLine>20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-rennes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-172265" status="VALID">
          <idno type="IdRef">05017746X</idno>
          <idno type="ISNI">0000000121680285</idno>
          <idno type="ROR">https://ror.org/04ed7fw48</idno>
          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <date type="start">1995-02-07</date>
          <desc>
            <address>
              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-247362" status="VALID">
          <idno type="ROR">https://ror.org/03rxtdc22</idno>
          <orgName>École normale supérieure - Rennes</orgName>
          <orgName type="acronym">ENS Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-rennes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301262" status="OLD">
          <orgName>Télécom Bretagne</orgName>
          <date type="start">1977</date>
          <desc>
            <address>
              <addrLine>Technopôle Brest-IroiseCS 8381829238 BREST Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-bretagne.eu/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>