<?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-01490406</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-26T10:42:25+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Acumen: An Open-Source Testbed for Cyber-Physical Systems Research</title>
            <author role="aut">
              <persName>
                <forename type="first">Walid</forename>
                <surname>Taha</surname>
              </persName>
              <email type="md5">cce0f1000e261a3925fc998b1aa0fa5d</email>
              <email type="domain">hh.se</email>
              <idno type="idhal" notation="numeric">885794</idno>
              <idno type="halauthorid" notation="string">518984-885794</idno>
              <affiliation ref="#struct-50885"/>
              <affiliation ref="#struct-175568"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Adam</forename>
                <surname>Duracz</surname>
              </persName>
              <idno type="halauthorid">977319-0</idno>
              <affiliation ref="#struct-50885"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Yingfu</forename>
                <surname>Zeng</surname>
              </persName>
              <idno type="halauthorid">708253-0</idno>
              <affiliation ref="#struct-175568"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Atkinson</forename>
                <surname>Kevin</surname>
              </persName>
              <idno type="halauthorid">1149449-0</idno>
              <affiliation ref="#struct-175568"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Paul</forename>
                <surname>Brauner</surname>
              </persName>
              <email type="md5">38d66db45e6e2612229591a0bd668f5e</email>
              <email type="domain">loria.fr</email>
              <idno type="idhal" notation="numeric">837290</idno>
              <idno type="halauthorid" notation="string">185396-837290</idno>
              <affiliation ref="#struct-54175"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jan</forename>
                <surname>Duracz</surname>
              </persName>
              <idno type="halauthorid">1149450-0</idno>
              <affiliation ref="#struct-50885"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Fei</forename>
                <surname>Xu</surname>
              </persName>
              <idno type="halauthorid">331097-0</idno>
              <affiliation ref="#struct-50885"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Robert</forename>
                <surname>Cartwright</surname>
              </persName>
              <idno type="halauthorid">708254-0</idno>
              <affiliation ref="#struct-54086"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Michal</forename>
                <surname>Konecny</surname>
              </persName>
              <email type="md5">2fb5d321493265f3e7848e677778b946</email>
              <email type="domain">ousa.sk</email>
              <idno type="idhal" notation="numeric">871484</idno>
              <idno type="halauthorid" notation="string">466928-871484</idno>
              <affiliation ref="#struct-117080"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jun</forename>
                <surname>Inoue</surname>
              </persName>
              <idno type="idhal" notation="numeric">767855</idno>
              <idno type="halauthorid" notation="string">690084-767855</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9035-5010</idno>
              <affiliation ref="#struct-302425"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Anita</forename>
                <surname>Sant’anna</surname>
              </persName>
              <idno type="halauthorid">1149451-0</idno>
              <affiliation ref="#struct-50885"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Roland</forename>
                <surname>Philippsen</surname>
              </persName>
              <idno type="halauthorid">1149452-0</idno>
              <affiliation ref="#struct-50885"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alexandre</forename>
                <surname>Chapoutot</surname>
              </persName>
              <email type="md5">46888827ea2bf7c3fda5a2dc64fbb66a</email>
              <email type="domain">ensta-paris.fr</email>
              <idno type="idhal" notation="string">alexandre-chapoutot</idno>
              <idno type="idhal" notation="numeric">3322</idno>
              <idno type="halauthorid" notation="string">24241-3322</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-7230-0710</idno>
              <idno type="IDREF">https://www.idref.fr/198059833</idno>
              <orgName ref="#struct-300065"/>
              <affiliation ref="#struct-212394"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Marcia</forename>
                <surname>O'Malley</surname>
              </persName>
              <email type="md5">771c1e49fb86e7fe5bbd8d236c3d2a79</email>
              <email type="domain">rice.edu</email>
              <idno type="idhal" notation="numeric">885793</idno>
              <idno type="halauthorid" notation="string">518983-885793</idno>
              <affiliation ref="#struct-136792"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Aaron</forename>
                <surname>Ames</surname>
              </persName>
              <idno type="halauthorid">708256-0</idno>
              <affiliation ref="#struct-185693"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Veronica</forename>
                <surname>Gaspes</surname>
              </persName>
              <idno type="halauthorid">708255-0</idno>
              <affiliation ref="#struct-50885"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Lise</forename>
                <surname>Hvatum</surname>
              </persName>
              <idno type="halauthorid">1149453-0</idno>
              <affiliation ref="#struct-471721"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Shyam</forename>
                <surname>Mehta</surname>
              </persName>
              <idno type="halauthorid">1149454-0</idno>
              <affiliation ref="#struct-471721"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Henrik</forename>
                <surname>Eriksson</surname>
              </persName>
              <idno type="halauthorid">977320-0</idno>
              <affiliation ref="#struct-50885"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Christian</forename>
                <surname>Grante</surname>
              </persName>
              <idno type="halauthorid">379565-0</idno>
              <affiliation ref="#struct-84807"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Alexandre</forename>
                <surname>Chapoutot</surname>
              </persName>
              <email type="md5">46888827ea2bf7c3fda5a2dc64fbb66a</email>
              <email type="domain">ensta-paris.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-03-15 11:43:16</date>
              <date type="whenModified">2026-04-24 15:32:21</date>
              <date type="whenReleased">2017-03-15 11:43:16</date>
              <date type="whenProduced">2015-10-27</date>
              <ref type="externalLink" target="http://duracz.net/jan/publications/cyclone2015.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="132605">
                <persName>
                  <forename>Alexandre</forename>
                  <surname>Chapoutot</surname>
                </persName>
                <email type="md5">46888827ea2bf7c3fda5a2dc64fbb66a</email>
                <email type="domain">ensta-paris.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01490406</idno>
            <idno type="halUri">https://hal.science/hal-01490406</idno>
            <idno type="halBibtex">taha:hal-01490406</idno>
            <idno type="halRefHtml">&lt;i&gt;International Internet of Things Summit&lt;/i&gt;, Oct 2015, Rome, Italy. pp.118-130, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-47063-4_11"&gt;&amp;#x27E8;10.1007/978-3-319-47063-4_11&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">International Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, &amp;#x27E8;10.1007/978-3-319-47063-4_11&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="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INPL">Institut National Polytechnique de Lorraine</idno>
            <idno type="stamp" n="INRIA-LORRAINE">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="ENSTA_U2IS">Unité d'Informatique et d'Ingénierie des Systèmes (U2IS)</idno>
            <idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="LORIA">Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="ENSTA-SACLAY" corresp="UNIV-PARIS-SACLAY">ENSTA-SACLAY</idno>
            <idno type="stamp" n="INRIA-JAPON">Co-publications INRIA Japon</idno>
            <idno type="stamp" n="INRIA-ETATSUNIS">Copublications Inria-Etats-Unis</idno>
            <idno type="stamp" n="INRIA-ROYAUMEUNI">INRIA-ROYAUMEUNI</idno>
            <idno type="stamp" n="ENSTA-PARIS">ENSTA-PARIS</idno>
            <idno type="stamp" n="ENSTA">Ensta</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="AM2I-UL">Pôle scientifique Automatique, Mathématiques, Informatique et leurs Intéractions de l'Université de Lorraine</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="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Acumen: An Open-Source Testbed for Cyber-Physical Systems Research</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Walid</forename>
                    <surname>Taha</surname>
                  </persName>
                  <email type="md5">cce0f1000e261a3925fc998b1aa0fa5d</email>
                  <email type="domain">hh.se</email>
                  <idno type="idhal" notation="numeric">885794</idno>
                  <idno type="halauthorid" notation="string">518984-885794</idno>
                  <affiliation ref="#struct-50885"/>
                  <affiliation ref="#struct-175568"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Adam</forename>
                    <surname>Duracz</surname>
                  </persName>
                  <idno type="halauthorid">977319-0</idno>
                  <affiliation ref="#struct-50885"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Yingfu</forename>
                    <surname>Zeng</surname>
                  </persName>
                  <idno type="halauthorid">708253-0</idno>
                  <affiliation ref="#struct-175568"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Atkinson</forename>
                    <surname>Kevin</surname>
                  </persName>
                  <idno type="halauthorid">1149449-0</idno>
                  <affiliation ref="#struct-175568"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Paul</forename>
                    <surname>Brauner</surname>
                  </persName>
                  <email type="md5">38d66db45e6e2612229591a0bd668f5e</email>
                  <email type="domain">loria.fr</email>
                  <idno type="idhal" notation="numeric">837290</idno>
                  <idno type="halauthorid" notation="string">185396-837290</idno>
                  <affiliation ref="#struct-54175"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jan</forename>
                    <surname>Duracz</surname>
                  </persName>
                  <idno type="halauthorid">1149450-0</idno>
                  <affiliation ref="#struct-50885"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Fei</forename>
                    <surname>Xu</surname>
                  </persName>
                  <idno type="halauthorid">331097-0</idno>
                  <affiliation ref="#struct-50885"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Robert</forename>
                    <surname>Cartwright</surname>
                  </persName>
                  <idno type="halauthorid">708254-0</idno>
                  <affiliation ref="#struct-54086"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Michal</forename>
                    <surname>Konecny</surname>
                  </persName>
                  <email type="md5">2fb5d321493265f3e7848e677778b946</email>
                  <email type="domain">ousa.sk</email>
                  <idno type="idhal" notation="numeric">871484</idno>
                  <idno type="halauthorid" notation="string">466928-871484</idno>
                  <affiliation ref="#struct-117080"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jun</forename>
                    <surname>Inoue</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">767855</idno>
                  <idno type="halauthorid" notation="string">690084-767855</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9035-5010</idno>
                  <affiliation ref="#struct-302425"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Anita</forename>
                    <surname>Sant’anna</surname>
                  </persName>
                  <idno type="halauthorid">1149451-0</idno>
                  <affiliation ref="#struct-50885"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Roland</forename>
                    <surname>Philippsen</surname>
                  </persName>
                  <idno type="halauthorid">1149452-0</idno>
                  <affiliation ref="#struct-50885"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexandre</forename>
                    <surname>Chapoutot</surname>
                  </persName>
                  <email type="md5">46888827ea2bf7c3fda5a2dc64fbb66a</email>
                  <email type="domain">ensta-paris.fr</email>
                  <idno type="idhal" notation="string">alexandre-chapoutot</idno>
                  <idno type="idhal" notation="numeric">3322</idno>
                  <idno type="halauthorid" notation="string">24241-3322</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-7230-0710</idno>
                  <idno type="IDREF">https://www.idref.fr/198059833</idno>
                  <orgName ref="#struct-300065"/>
                  <affiliation ref="#struct-212394"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Marcia</forename>
                    <surname>O'Malley</surname>
                  </persName>
                  <email type="md5">771c1e49fb86e7fe5bbd8d236c3d2a79</email>
                  <email type="domain">rice.edu</email>
                  <idno type="idhal" notation="numeric">885793</idno>
                  <idno type="halauthorid" notation="string">518983-885793</idno>
                  <affiliation ref="#struct-136792"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Aaron</forename>
                    <surname>Ames</surname>
                  </persName>
                  <idno type="halauthorid">708256-0</idno>
                  <affiliation ref="#struct-185693"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Veronica</forename>
                    <surname>Gaspes</surname>
                  </persName>
                  <idno type="halauthorid">708255-0</idno>
                  <affiliation ref="#struct-50885"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Lise</forename>
                    <surname>Hvatum</surname>
                  </persName>
                  <idno type="halauthorid">1149453-0</idno>
                  <affiliation ref="#struct-471721"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Shyam</forename>
                    <surname>Mehta</surname>
                  </persName>
                  <idno type="halauthorid">1149454-0</idno>
                  <affiliation ref="#struct-471721"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Henrik</forename>
                    <surname>Eriksson</surname>
                  </persName>
                  <idno type="halauthorid">977320-0</idno>
                  <affiliation ref="#struct-50885"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Christian</forename>
                    <surname>Grante</surname>
                  </persName>
                  <idno type="halauthorid">379565-0</idno>
                  <affiliation ref="#struct-84807"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering</title>
                <meeting>
                  <title>International Internet of Things Summit</title>
                  <date type="start">2015-10-27</date>
                  <date type="end">2015-10-29</date>
                  <settlement>Rome</settlement>
                  <country key="IT">Italy</country>
                </meeting>
                <editor>Benny Mandler</editor>
                <editor>Johann Marquez-Barja</editor>
                <editor>Radu-Laurentiu Vieriu</editor>
                <editor>Miguel Elias Mitre Campista</editor>
                <editor>Dagmar Cagáňová</editor>
                <editor>Hakima Chaouchi</editor>
                <editor>Sherali Zeadally</editor>
                <editor>Mohamad Badra</editor>
                <editor>Stefano Giordano</editor>
                <editor>Maria Fazio</editor>
                <editor>Andrey Somov</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="volume">169</biblScope>
                  <biblScope unit="pp">118-130</biblScope>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-47063-4_11</idno>
              <ref type="publisher">http://link.springer.com/book/10.1007/978-3-319-47063-4</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Hybrid systems</term>
                <term xml:lang="en">Modeling</term>
                <term xml:lang="en">Cyber-Physical Systems (CPS)</term>
                <term xml:lang="en">Testbed</term>
                <term xml:lang="en">Simulation</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</classCode>
              <classCode scheme="halDomain" n="info.info-ds">Computer Science [cs]/Data Structures and Algorithms [cs.DS]</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>Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space of what rigorous-but-practical next-generation tools can deliver to developers of Cyber-Physical Systems. Like verification tools, a design goal for Acumen is to provide rigorous results. Like simulation tools, it aims to be intuitive, practical, and scalable. However, it is far from evident whether these two goals can be achieved simultaneously. This paper explains the primary design goals for Acumen, the core challenges that must be addressed in order to achieve these goals, the “agile research method” taken by the project, the steps taken to realize these goals, the key lessons learned, and the emerging language design.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-50885" status="VALID">
          <orgName>University College of Halmstad</orgName>
          <desc>
            <address>
              <country key="SE"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-301196" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-175568" status="VALID">
          <orgName>Department of computer Science [Houston]</orgName>
          <desc>
            <address>
              <addrLine>3122 Duncan Hall, 6100 Main Street, Houston TX 77005</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://compsci.rice.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-54086" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-54175" status="OLD">
          <idno type="RNSR">200820941G</idno>
          <orgName>Formal islands: foundations and applications</orgName>
          <orgName type="acronym">PAREO</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/pareo</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2496" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-466633" type="direct"/>
            <relation active="#struct-300291" type="indirect"/>
            <relation active="#struct-300292" type="indirect"/>
            <relation active="#struct-300293" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-54086" status="VALID">
          <idno type="ROR">https://ror.org/008zs3103</idno>
          <orgName>Rice University [Houston]</orgName>
          <desc>
            <address>
              <addrLine>P.O. Box 1892, Houston, Texas 77251-1892</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://www.rice.edu/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-117080" status="INCOMING">
          <orgName>Department of Clinical Genetics</orgName>
          <desc>
            <address>
              <addrLine>Heydukova 10;812 50;Bratislava</addrLine>
              <country key="SK"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-328366" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302425" status="VALID">
          <idno type="ROR">https://ror.org/01703db54</idno>
          <orgName>National Institute of Advanced Industrial Science and Technology</orgName>
          <orgName type="acronym">AIST</orgName>
          <desc>
            <address>
              <addrLine>Higashi, Tsukuba, Ibaraki 305-8561</addrLine>
              <country key="JP"/>
            </address>
            <ref type="url">http://www.aist.go.jp/index_en.html</ref>
          </desc>
        </org>
        <org type="department" xml:id="struct-212394" status="OLD">
          <orgName>Sûreté et Fiabilité des Logiciels</orgName>
          <orgName type="acronym">SFL</orgName>
          <desc>
            <address>
              <addrLine>828, boulevard des Maréchaux 91762 Palaiseau Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://u2is.ensta-paristech.fr/groups/SL/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-234188" type="direct"/>
            <relation active="#struct-300065" type="indirect"/>
            <relation active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-136792" status="VALID">
          <orgName>Department of Mechanical Engineering and Materials Science [Rice]</orgName>
          <orgName type="acronym">MEMS</orgName>
          <desc>
            <address>
              <addrLine>Science - MS 321 PO Box 1892 Houston, Texas 77251-1892</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://memsweb.rice.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-54086" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-185693" status="VALID">
          <orgName>Department of Computer Science and Engineering [Tamu]</orgName>
          <orgName type="acronym">Parasol Laboratory</orgName>
          <desc>
            <address>
              <addrLine>College Station, TX 77843-3112</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">https://parasol.tamu.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1125105" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-471721" status="VALID">
          <orgName>Schlumberger</orgName>
          <desc>
            <address>
              <country key="US"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-84807" status="VALID">
          <orgName>Department of Computer Science [Hull]</orgName>
          <desc>
            <address>
              <addrLine>Cottingham Road Hull HU6 7RX</addrLine>
              <country key="GB"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-450355" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-301196" status="VALID">
          <orgName>University College of Halmstad</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2496" status="OLD">
          <orgName>INRIA Lorraine</orgName>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</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-466633" status="OLD">
          <orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
          <orgName type="acronym">LORIA</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-300291" type="direct"/>
            <relation active="#struct-300292" type="direct"/>
            <relation active="#struct-300293" type="direct"/>
            <relation name="UMR7503" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300291" status="OLD">
          <orgName>Université Henri Poincaré - Nancy 1</orgName>
          <orgName type="acronym">UHP</orgName>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300292" status="OLD">
          <orgName>Université Nancy 2</orgName>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300293" status="OLD">
          <orgName>Institut National Polytechnique de Lorraine</orgName>
          <orgName type="acronym">INPL</orgName>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </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-328366" status="INCOMING">
          <orgName>St. Elizabeth Cancer Institute</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-234188" status="OLD">
          <idno type="IdRef">203564529</idno>
          <idno type="RNSR">200920620D</idno>
          <orgName>Unité d'Informatique et d'Ingénierie des Systèmes</orgName>
          <orgName type="acronym">U2IS</orgName>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>828, boulevard des Maréchaux, 91762 Palaiseau CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://u2is.ensta-paris.fr/index.php?lang=fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300065" type="direct"/>
            <relation active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300065" status="OLD">
          <idno type="IdRef">028139577</idno>
          <idno type="ISNI">0000000122070120</idno>
          <idno type="ROR">https://ror.org/0309cs235</idno>
          <idno type="Wikidata">Q838454</idno>
          <orgName>École Nationale Supérieure de Techniques Avancées</orgName>
          <orgName type="acronym">ENSTA Paris</orgName>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>828, boulevard des Maréchaux 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ensta-paris.fr/fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-563936" type="direct"/>
          </listRelation>
        </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="institution" xml:id="struct-1125105" status="VALID">
          <idno type="ROR">https://ror.org/01f5ytq51</idno>
          <orgName>Texas A&amp;M University [College Station]</orgName>
          <orgName type="acronym">TAMU</orgName>
          <date type="start">1876-01-01</date>
          <desc>
            <address>
              <addrLine>400 Bizzell St.College Station, TX 77843</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">https://www.tamu.edu/index.html</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-450355" status="VALID">
          <orgName>University of Hull [United Kingdom]</orgName>
          <desc>
            <address>
              <addrLine>Cottingham Rd, Hull, Yorkshire HU6 7RX</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">https://www.hull.ac.uk/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>