<?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-02153238</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-24T18:00:57+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Parametric updates in parametric timed automata</title>
            <author role="aut">
              <persName>
                <forename type="first">Étienne</forename>
                <surname>André</surname>
              </persName>
              <email type="md5">c5cddd7679a0cba7b78850bd19da63cf</email>
              <email type="domain">lipn13.fr</email>
              <idno type="idhal" notation="string">etienne-andre</idno>
              <idno type="idhal" notation="numeric">8289</idno>
              <idno type="halauthorid" notation="string">28031-8289</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8473-9555</idno>
              <idno type="ARXIV">https://arxiv.org/a/andre_e_2</idno>
              <affiliation ref="#struct-6501"/>
              <affiliation ref="#struct-542009"/>
              <affiliation ref="#struct-994"/>
            </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-473973"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mathias</forename>
                <surname>Ramparison</surname>
              </persName>
              <idno type="halauthorid">1480526-0</idno>
              <orgName ref="#struct-15786"/>
              <affiliation ref="#struct-994"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Étienne</forename>
                <surname>André</surname>
              </persName>
              <email type="md5">c5cddd7679a0cba7b78850bd19da63cf</email>
              <email type="domain">lipn13.fr</email>
            </editor>
            <funder ref="#projanr-41258"/>
            <funder ref="#projanr-50401"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-10-11 15:23:09</date>
              <date type="whenWritten">2018</date>
              <date type="whenModified">2026-02-02 14:42:04</date>
              <date type="whenReleased">2019-10-11 15:30:11</date>
              <date type="whenProduced">2019-06-17</date>
              <date type="whenEndEmbargoed">2021-10-11</date>
              <ref type="file" target="https://hal.science/hal-02153238v1/document">
                <date notBefore="2021-10-11"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02153238v1/file/478668_1_En_3_Chapter.pdf" id="file-2313824-2230348">
                <date notBefore="2021-10-11"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/1904.08824"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="145957">
                <persName>
                  <forename>Étienne</forename>
                  <surname>André</surname>
                </persName>
                <email type="md5">c5cddd7679a0cba7b78850bd19da63cf</email>
                <email type="domain">lipn13.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02153238</idno>
            <idno type="halUri">https://hal.science/hal-02153238</idno>
            <idno type="halBibtex">andre:hal-02153238</idno>
            <idno type="halRefHtml">&lt;i&gt;39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)&lt;/i&gt;, Jun 2019, Copenhagen, Denmark. pp.39-56, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-030-21759-4_3"&gt;&amp;#x27E8;10.1007/978-3-030-21759-4_3&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.39-56, &amp;#x27E8;10.1007/978-3-030-21759-4_3&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-2313824-2230348"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-NANTES">Université de Nantes</idno>
            <idno type="stamp" n="UNIV-PARIS13">Université Paris-Nord - Paris XIII </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="OCA">Observatoire de la Cote d'Azur</idno>
            <idno type="stamp" n="UNAM">l'unam - université nantes angers le mans</idno>
            <idno type="stamp" n="LIPN" corresp="UNIV-PARIS13">Laboratoire d'Informatique de Paris-Nord</idno>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-WG" corresp="IFIP">Working Groups</idno>
            <idno type="stamp" n="IFIP-TC6" corresp="IFIP-TC">TC 6: Communication Systems</idno>
            <idno type="stamp" n="IFIP-WG6-1" corresp="IFIP-WG">Architectures and Protocols for Distributed Systems</idno>
            <idno type="stamp" n="USPC">Université Sorbonne Paris Cité</idno>
            <idno type="stamp" n="IFIP-FORTE">IFIP-FORTE</idno>
            <idno type="stamp" n="LS2N">Laboratoire des Sciences du Numérique de Nantes</idno>
            <idno type="stamp" n="LS2N-STR" corresp="LS2N">LS2N - équipe STR</idno>
            <idno type="stamp" n="IFIP-DISCOTEC">International Federated Conference on Distributed Computing Techniques</idno>
            <idno type="stamp" n="GALILE" corresp="UNIV-PARIS13">Institut Galilée Université Paris 13</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-UNIV" corresp="SORBONNE-UNIVERSITE">Sorbonne Université 01/01/2018</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCI" corresp="SORBONNE-UNIVERSITE">Sciences - Sorbonne Université</idno>
            <idno type="stamp" n="UMI-3527" corresp="SORBONNE-UNIVERSITE">Japanese-French Laboratory for Informatics</idno>
            <idno type="stamp" n="IFIP-LNCS-11535" corresp="IFIP-LNCS">Formal Techniques for Distributed Objects, Components, and Systems</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="SORBONNE-PARIS-NORD">Université Sorbonne Paris Nord</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="CONFRENCE-NATIONALE-SUR-LES-APPLICATIONS-PRATIQUES-DE-LINTELLIGENCE-ARTIFICIELLE" corresp="CNRS">Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle </idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</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>
            <idno type="stamp" n="ACT-R" corresp="UNIV-PARIS13">Act'R </idno>
            <idno type="stamp" n="SUPRA_MATHS_INFO">Mathématiques + Informatique</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 1: Full Papers</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="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Parametric updates in parametric timed automata</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Étienne</forename>
                    <surname>André</surname>
                  </persName>
                  <email type="md5">c5cddd7679a0cba7b78850bd19da63cf</email>
                  <email type="domain">lipn13.fr</email>
                  <idno type="idhal" notation="string">etienne-andre</idno>
                  <idno type="idhal" notation="numeric">8289</idno>
                  <idno type="halauthorid" notation="string">28031-8289</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8473-9555</idno>
                  <idno type="ARXIV">https://arxiv.org/a/andre_e_2</idno>
                  <affiliation ref="#struct-6501"/>
                  <affiliation ref="#struct-542009"/>
                  <affiliation ref="#struct-994"/>
                </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-473973"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mathias</forename>
                    <surname>Ramparison</surname>
                  </persName>
                  <idno type="halauthorid">1480526-0</idno>
                  <orgName ref="#struct-15786"/>
                  <affiliation ref="#struct-994"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)</title>
                  <date type="start">2019-06-17</date>
                  <date type="end">2019-06-21</date>
                  <settlement>Copenhagen</settlement>
                  <country key="DK">Denmark</country>
                </meeting>
                <editor>Jorge A. Pérez</editor>
                <editor>Nobuko Yoshida</editor>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <biblScope unit="serie">Formal Techniques for Distributed Objects, Components, and Syste</biblScope>
                  <biblScope unit="volume">LNCS-11535</biblScope>
                  <biblScope unit="pp">39-56</biblScope>
                  <date type="datePub">2019</date>
                </imprint>
              </monogr>
              <idno type="arxiv">1904.08824</idno>
              <idno type="doi">10.1007/978-3-030-21759-4_3</idno>
              <ref type="publisher">https://www.discotec.org/2019/forte</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</classCode>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>We introduce a new class of Parametric Timed Automata (PTAs) where we allow clocks to be compared to parameters in guards, as in classic PTAs, but also to be updated to parameters. We focus here on the EF-emptiness problem: "is the set of parameter valuations for which some given location is reachable in the instantiated timed automaton empty?". This problem is well-known to be undecidable for PTAs, and so it is for our extension. Nonetheless, if we update all clocks each time we compare a clock with a parameter and each time we update a clock to a parameter, we obtain a syntactic subclass for which we can decide the EF-emptiness problem and even perform the exact synthesis of the set of rational valuations such that a given location is reachable. To the best of our knowledge, this is the first non-trivial subclass of PTAs, actually even extended with parametric updates, for which this is possible.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 6</org>
              <org type="consortium">WG 6.1</org>
              <org type="consortium">ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-6501" status="VALID">
          <idno type="ROR">https://ror.org/04ksd4g47</idno>
          <orgName>National Institute of Informatics</orgName>
          <orgName type="acronym">NII</orgName>
          <desc>
            <address>
              <addrLine>2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430</addrLine>
              <country key="JP"/>
            </address>
            <ref type="url">http://www.nii.ac.jp/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-542009" status="VALID">
          <idno type="RNSR">201220443Y</idno>
          <idno type="ROR">007xn7v02</idno>
          <orgName>Japanese French Laboratory for Informatics</orgName>
          <orgName type="acronym">JFLI</orgName>
          <desc>
            <address>
              <country key="JP"/>
            </address>
            <ref type="url">http://jfli.nii.ac.jp/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-6501" type="direct"/>
            <relation active="#struct-304304" type="direct"/>
            <relation active="#struct-413221" type="direct"/>
            <relation name="IRL3527 / UMI3527" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-994" status="OLD">
          <orgName>Laboratoire d'Informatique de Paris-Nord</orgName>
          <orgName type="acronym">LIPN</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Institut Galilée, Université Paris 13, 99 avenue Jean-Baptiste Clément, F-93430, Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-lipn.univ-paris13.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-15786" type="direct"/>
            <relation active="#struct-301340" type="direct"/>
            <relation active="#struct-303171" type="direct"/>
            <relation name="UMR7030" active="#struct-441569" type="direct"/>
          </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="regroupinstitution" xml:id="struct-304304" status="VALID">
          <idno type="IdRef">029909848</idno>
          <idno type="ROR">https://ror.org/057zh3y96</idno>
          <orgName>The University of Tokyo</orgName>
          <orgName type="acronym">UTokyo</orgName>
          <desc>
            <address>
              <addrLine>7 Chome-3-1 Hongo, Bunkyo, Tokyo 113-8654</addrLine>
              <country key="JP"/>
            </address>
            <ref type="url">https://www.u-tokyo.ac.jp/en/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-413221" status="VALID">
          <idno type="IdRef">221333754</idno>
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Sorbonne Université</orgName>
          <orgName type="acronym">SU</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>21 rue de l’École de médecine - 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-universite.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-15786" status="VALID">
          <idno type="ROR">https://ror.org/05f82e368</idno>
          <orgName>Université Paris 13</orgName>
          <orgName type="acronym">UP13</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris13.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301340" status="VALID">
          <orgName>Institut Galilée</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-303171" status="VALID">
          <idno type="IdRef">19077990X</idno>
          <idno type="ROR">https://ror.org/001z21q04</idno>
          <orgName>Université Sorbonne Paris Cité</orgName>
          <orgName type="acronym">USPC</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>Université Sorbonne Paris Cité | 100-104, avenue de France | 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-paris-cite.fr/fr</ref>
          </desc>
        </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="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>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-41258" status="VALID">
          <idno type="anr">ANR-14-CE28-0002</idno>
          <idno type="program">Appel à projets générique</idno>
          <orgName>PACS</orgName>
          <desc>Analyses paramétrées de systèmes concurrents</desc>
          <date type="start">2014</date>
        </org>
        <org type="anrProject" xml:id="projanr-50401" status="VALID">
          <idno type="anr">ANR-19-CE25-0015</idno>
          <orgName>ProMiS</orgName>
          <desc>Mitigation formelle d'attaques via canaux auxiliaires par vérification paramétrée</desc>
          <date type="start">2019</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>