<?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-01674831</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-03T12:03:25+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Finding All Potential Run-Time Errors and Data Races in Automotive Software</title>
            <author role="aut">
              <persName>
                <forename type="first">Daniel</forename>
                <surname>Kästner</surname>
              </persName>
              <idno type="halauthorid">499063-0</idno>
              <affiliation ref="#struct-130591"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Antoine</forename>
                <surname>Miné</surname>
              </persName>
              <email type="md5">df246b594d6d3ee8b9b11b824635b973</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">antoine-mine</idno>
              <idno type="idhal" notation="numeric">2206</idno>
              <idno type="halauthorid" notation="string">2252-2206</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6375-3179</idno>
              <idno type="IDREF">https://www.idref.fr/111391636</idno>
              <idno type="ISNI">http://isni.org/isni/0000000356394363</idno>
              <idno type="VIAF">https://viaf.org/viaf/188586588</idno>
              <affiliation ref="#struct-391379"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">André</forename>
                <surname>Schmidt</surname>
              </persName>
              <idno type="halauthorid">883231-0</idno>
              <affiliation ref="#struct-49823"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Heinz</forename>
                <surname>Hille</surname>
              </persName>
              <idno type="halauthorid">1291311-0</idno>
              <orgName ref="#struct-332397"/>
              <affiliation ref="#struct-49823"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Laurent</forename>
                <surname>Mauborgne</surname>
              </persName>
              <idno type="halauthorid">152960-0</idno>
              <affiliation ref="#struct-130591"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Stephan</forename>
                <surname>Wilhelm</surname>
              </persName>
              <idno type="halauthorid">179203-0</idno>
              <affiliation ref="#struct-130591"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Xavier</forename>
                <surname>Rival</surname>
              </persName>
              <email type="md5">e5f0d7309206d118cebbb855f1f4ba39</email>
              <email type="domain">di.ens.fr</email>
              <idno type="idhal" notation="string">xavier-rival</idno>
              <idno type="idhal" notation="numeric">6633</idno>
              <idno type="halauthorid" notation="string">11724-6633</idno>
              <idno type="IDREF">https://www.idref.fr/180389238</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2875-6171</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-240519"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jerome</forename>
                <surname>Feret</surname>
              </persName>
              <email type="md5">1be6d35ad026450ab59de8bbff481ad5</email>
              <email type="domain">ens.fr</email>
              <idno type="idhal" notation="string">jerome-feret</idno>
              <idno type="idhal" notation="numeric">749591</idno>
              <idno type="halauthorid" notation="string">4861-749591</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=TcO5mvwAAAAJ&amp;hl=fr</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2601-2785</idno>
              <affiliation ref="#struct-240519"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Patrick</forename>
                <surname>Cousot</surname>
              </persName>
              <email type="md5">ad3e34cf2479d85d7e9438eee45f7dcd</email>
              <email type="domain">cims.nyu.edu</email>
              <idno type="idhal" notation="numeric">951015</idno>
              <idno type="halauthorid" notation="string">152957-951015</idno>
              <orgName ref="#struct-0"/>
              <affiliation ref="#struct-300459"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Christian</forename>
                <surname>Ferdinand</surname>
              </persName>
              <idno type="halauthorid">170501-0</idno>
              <affiliation ref="#struct-130591"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Jérôme</forename>
                <surname>Feret</surname>
              </persName>
              <email type="md5">1be6d35ad026450ab59de8bbff481ad5</email>
              <email type="domain">ens.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-02-17 11:17:55</date>
              <date type="whenWritten">2017</date>
              <date type="whenModified">2025-10-27 09:38:04</date>
              <date type="whenReleased">2025-02-17 11:19:28</date>
              <date type="whenProduced">2017-04-04</date>
              <date type="whenEndEmbargoed">2025-02-17</date>
              <ref type="file" target="https://inria.hal.science/hal-01674831v1/document">
                <date notBefore="2025-02-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01674831v1/file/article-kastner-al-sae17.pdf" id="file-4951311-4294263">
                <date notBefore="2025-02-17"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="155506">
                <persName>
                  <forename>Jérôme</forename>
                  <surname>Feret</surname>
                </persName>
                <email type="md5">1be6d35ad026450ab59de8bbff481ad5</email>
                <email type="domain">ens.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01674831</idno>
            <idno type="halUri">https://inria.hal.science/hal-01674831</idno>
            <idno type="halBibtex">kastner:hal-01674831</idno>
            <idno type="halRefHtml">&lt;i&gt;WCX™ 2017 - SAE World Congress Experience&lt;/i&gt;, Apr 2017, Detroit, United States. pp.1-9, &lt;a target="_blank" href="https://dx.doi.org/10.4271/2017-01-0054"&gt;&amp;#x27E8;10.4271/2017-01-0054&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">WCX™ 2017 - SAE World Congress Experience, Apr 2017, Detroit, United States. pp.1-9, &amp;#x27E8;10.4271/2017-01-0054&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-4951311-4294263"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-PARIS">Ecole Normale Supérieure de Paris</idno>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</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="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="PSL">Université Paris sciences et lettres</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="INRIA2017">INRIA2017</idno>
            <idno type="stamp" n="INRIA-PSL">INRIA-PSL</idno>
            <idno type="stamp" n="INRIA-300009">Inria 300009</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="ENS-PSL" corresp="PSL">École normale supérieure - PSL</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="INRIA-ETATSUNIS">Copublications Inria-Etats-Unis</idno>
            <idno type="stamp" n="INRIA-ALLEMAGNE">INRIA-ALLEMAGNE</idno>
            <idno type="stamp" n="DIENS" corresp="ENS-PARIS">Département d'informatique de l'ENS-PSL</idno>
          </seriesStmt>
          <notesStmt>
            <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">Finding All Potential Run-Time Errors and Data Races in Automotive Software</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Daniel</forename>
                    <surname>Kästner</surname>
                  </persName>
                  <idno type="halauthorid">499063-0</idno>
                  <affiliation ref="#struct-130591"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Antoine</forename>
                    <surname>Miné</surname>
                  </persName>
                  <email type="md5">df246b594d6d3ee8b9b11b824635b973</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">antoine-mine</idno>
                  <idno type="idhal" notation="numeric">2206</idno>
                  <idno type="halauthorid" notation="string">2252-2206</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6375-3179</idno>
                  <idno type="IDREF">https://www.idref.fr/111391636</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000356394363</idno>
                  <idno type="VIAF">https://viaf.org/viaf/188586588</idno>
                  <affiliation ref="#struct-391379"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">André</forename>
                    <surname>Schmidt</surname>
                  </persName>
                  <idno type="halauthorid">883231-0</idno>
                  <affiliation ref="#struct-49823"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Heinz</forename>
                    <surname>Hille</surname>
                  </persName>
                  <idno type="halauthorid">1291311-0</idno>
                  <orgName ref="#struct-332397"/>
                  <affiliation ref="#struct-49823"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Laurent</forename>
                    <surname>Mauborgne</surname>
                  </persName>
                  <idno type="halauthorid">152960-0</idno>
                  <affiliation ref="#struct-130591"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Stephan</forename>
                    <surname>Wilhelm</surname>
                  </persName>
                  <idno type="halauthorid">179203-0</idno>
                  <affiliation ref="#struct-130591"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Xavier</forename>
                    <surname>Rival</surname>
                  </persName>
                  <email type="md5">e5f0d7309206d118cebbb855f1f4ba39</email>
                  <email type="domain">di.ens.fr</email>
                  <idno type="idhal" notation="string">xavier-rival</idno>
                  <idno type="idhal" notation="numeric">6633</idno>
                  <idno type="halauthorid" notation="string">11724-6633</idno>
                  <idno type="IDREF">https://www.idref.fr/180389238</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2875-6171</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-240519"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jerome</forename>
                    <surname>Feret</surname>
                  </persName>
                  <email type="md5">1be6d35ad026450ab59de8bbff481ad5</email>
                  <email type="domain">ens.fr</email>
                  <idno type="idhal" notation="string">jerome-feret</idno>
                  <idno type="idhal" notation="numeric">749591</idno>
                  <idno type="halauthorid" notation="string">4861-749591</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=TcO5mvwAAAAJ&amp;hl=fr</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2601-2785</idno>
                  <affiliation ref="#struct-240519"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Patrick</forename>
                    <surname>Cousot</surname>
                  </persName>
                  <email type="md5">ad3e34cf2479d85d7e9438eee45f7dcd</email>
                  <email type="domain">cims.nyu.edu</email>
                  <idno type="idhal" notation="numeric">951015</idno>
                  <idno type="halauthorid" notation="string">152957-951015</idno>
                  <orgName ref="#struct-0"/>
                  <affiliation ref="#struct-300459"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Christian</forename>
                    <surname>Ferdinand</surname>
                  </persName>
                  <idno type="halauthorid">170501-0</idno>
                  <affiliation ref="#struct-130591"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">SAE Technical Paper</title>
                <meeting>
                  <title>WCX™ 2017 - SAE World Congress Experience</title>
                  <date type="start">2017-04-04</date>
                  <date type="end">2017-04-06</date>
                  <settlement>Detroit</settlement>
                  <country key="US">United States</country>
                </meeting>
                <imprint>
                  <publisher>SAE International</publisher>
                  <biblScope unit="pp">1-9</biblScope>
                  <date type="datePub">2017-04</date>
                </imprint>
              </monogr>
              <idno type="doi">10.4271/2017-01-0054</idno>
              <ref target="http://papers.sae.org/2017-01-0054/" type="seeAlso"/>
              <ref type="publisher">http://www.sae.org/congress/2017/</ref>
            </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>Safety-critical embedded software has to satisfy stringent quality requirements. All contemporary safety standards require evidence that no data races and no critical run-time errors occur, such as invalid pointer accesses, buffer overflows, or arithmetic overflows. Such errors can cause software crashes, invalidate separation mechanisms in mixed-criticality software, and are a frequent cause of errors in concurrent and multi-core applications. The static analyzer AstrÃ©e has been extended to soundly and automatically analyze concurrent software. This novel extension employs a scalable abstraction which covers all possible thread interleavings, and reports all potential run-time errors, data races, deadlocks, and lock/unlock problems. When the analyzer does not report any alarm, the program is proven free from those classes of errors. Dedicated support for ARINC 653 and OSEK/AUTOSAR enables a fully automatic OS-aware analysis. In this article we give an overview of the key concepts of the concurrency analysis and report on experimental results obtained on concurrent automotive software. The experiments confirm that the novel analysis can be successfully applied to real automotive software projects.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-130591" status="VALID">
          <orgName>AbsInt GmbH</orgName>
          <orgName type="acronym">Angewandte Informatik</orgName>
          <desc>
            <address>
              <addrLine>Science Park 1 66123 Sarrebruck Allemagne</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">http://www.absint.com/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-331693" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-391379" status="OLD">
          <orgName>Algorithmes, Programmes et Résolution</orgName>
          <orgName type="acronym">APR</orgName>
          <date type="start">2008-10-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-49823" status="VALID">
          <orgName>Daimler Chrysler AG</orgName>
          <orgName type="acronym">Daimler</orgName>
          <desc>
            <address>
              <country key="DE"/>
            </address>
            <ref type="url">http://www.daimler.com/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-240519" status="OLD">
          <idno type="RNSR">201421111R</idno>
          <orgName>Analyse Statique par Interprétation Abstraite</orgName>
          <orgName type="acronym">ANTIQUE</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/antique</ref>
          </desc>
          <listRelation>
            <relation active="#struct-25027" type="direct"/>
            <relation active="#struct-59704" type="indirect"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR8548" active="#struct-441569" type="indirect"/>
            <relation active="#struct-86790" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300459" status="VALID">
          <idno type="ISNI">0000 0004 1936 8753</idno>
          <idno type="ROR">https://ror.org/0190ak572</idno>
          <orgName>New York University [New York]</orgName>
          <orgName type="acronym">NYU</orgName>
          <desc>
            <address>
              <addrLine>70 Washington Square South, New York, NY 10012</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://www.nyu.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-566779" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-331693" status="INCOMING">
          <orgName>AbsInt</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-233" status="OLD">
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>Laboratoire d'Informatique de Paris 6</orgName>
          <orgName type="acronym">LIP6</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93591" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93591" status="OLD">
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
          <orgName type="acronym">UPMC</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 place Jussieu - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmc.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="regrouplaboratory" xml:id="struct-25027" status="VALID">
          <idno type="IdRef">148034055</idno>
          <idno type="RNSR">199812876J</idno>
          <idno type="ROR">05y6rqs46</idno>
          <orgName>Département d'informatique - ENS-PSL</orgName>
          <orgName type="acronym">DI-ENS</orgName>
          <date type="start">1999-01-01</date>
          <desc>
            <address>
              <addrLine>École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.di.ens.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-59704" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-59704" status="VALID">
          <idno type="IdRef">031738419</idno>
          <idno type="ISNI">0000000123532622</idno>
          <idno type="ROR">https://ror.org/05a0dhs15</idno>
          <orgName>École normale supérieure - Paris</orgName>
          <orgName type="acronym">ENS-PSL</orgName>
          <date type="start">1985-07-24</date>
          <desc>
            <address>
              <addrLine>45, Rue d'Ulm - 75230 Paris cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens.psl.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-564132" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-564132" status="VALID">
          <idno type="IdRef">241597595</idno>
          <idno type="ISNI">0000 0004 1784 3645</idno>
          <idno type="ROR">https://ror.org/013cjyk83</idno>
          <orgName>Université Paris Sciences et Lettres</orgName>
          <orgName type="acronym">PSL</orgName>
          <desc>
            <address>
              <addrLine>60 rue Mazarine 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.psl.eu/</ref>
          </desc>
        </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-86790" status="OLD">
          <orgName>Inria Paris-Rocquencourt</orgName>
          <date type="end">2016-03-30</date>
          <desc>
            <address>
              <addrLine>INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris-rocquencourt</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-566779" status="VALID">
          <orgName>NYU System</orgName>
          <orgName type="acronym">NYU</orgName>
          <desc>
            <address>
              <country key="US"/>
            </address>
            <ref type="url">http://www.nyu.edu/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>