<?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-01100179</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-19T07:53:57+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">TESL: A language for reconciling heterogeneous execution traces</title>
            <author role="aut">
              <persName>
                <forename type="first">Frédéric</forename>
                <surname>Boulanger</surname>
              </persName>
              <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="string">frederic-boulanger</idno>
              <idno type="idhal" notation="numeric">4636</idno>
              <idno type="halauthorid" notation="string">54801-4636</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3185-2807</idno>
              <idno type="IDREF">https://www.idref.fr/132922029</idno>
              <affiliation ref="#struct-123689"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Christophe</forename>
                <surname>Jacquet</surname>
              </persName>
              <email type="md5">2d83c216f0dd16615eed3be9134ccc7d</email>
              <email type="domain">supelec.fr</email>
              <idno type="idhal" notation="numeric">942953</idno>
              <idno type="halauthorid" notation="string">289848-942953</idno>
              <idno type="IDREF">https://www.idref.fr/119849283</idno>
              <affiliation ref="#struct-123689"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Cécile</forename>
                <surname>Hardebolle</surname>
              </persName>
              <idno type="halauthorid">300553-0</idno>
              <affiliation ref="#struct-123689"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Iuliana</forename>
                <surname>Prodan</surname>
              </persName>
              <idno type="halauthorid">596800-0</idno>
              <affiliation ref="#struct-123689"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Frédéric</forename>
                <surname>Boulanger</surname>
              </persName>
              <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
              <email type="domain">centralesupelec.fr</email>
            </editor>
            <funder ref="#projanr-17951"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-01-06 10:07:36</date>
              <date type="whenWritten">2014-09-04</date>
              <date type="whenModified">2023-02-14 03:36:14</date>
              <date type="whenReleased">2015-01-06 11:55:55</date>
              <date type="whenProduced">2014-10-19</date>
              <date type="whenEndEmbargoed">2015-01-06</date>
              <ref type="file" target="https://centralesupelec.hal.science/hal-01100179v1/document">
                <date notBefore="2015-01-06"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://centralesupelec.hal.science/hal-01100179v1/file/memocode.pdf" id="file-1100179-1181427">
                <date notBefore="2015-01-06"/>
              </ref>
              <ref type="externalLink" target="http://research.jacquet.xyz/publications/boulanger2014memocode/boulanger2014memocode.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="178320">
                <persName>
                  <forename>Frédéric</forename>
                  <surname>Boulanger</surname>
                </persName>
                <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
                <email type="domain">centralesupelec.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01100179</idno>
            <idno type="halUri">https://centralesupelec.hal.science/hal-01100179</idno>
            <idno type="halBibtex">boulanger:hal-01100179</idno>
            <idno type="halRefHtml">&lt;i&gt;ACM-IEEE MEMOCODE 2014&lt;/i&gt;, Oct 2014, Lausanne, Switzerland. pp.114 - 123, &lt;a target="_blank" href="https://dx.doi.org/10.1109/MEMCOD.2014.6961849"&gt;&amp;#x27E8;10.1109/MEMCOD.2014.6961849&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">ACM-IEEE MEMOCODE 2014, Oct 2014, Lausanne, Switzerland. pp.114 - 123, &amp;#x27E8;10.1109/MEMCOD.2014.6961849&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1100179-1181427"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="SUPELEC">SUPELEC</idno>
            <idno type="stamp" n="SUP_INFO" corresp="SUPELEC">INFO - Département Informatique</idno>
            <idno type="stamp" n="SUP_E3S">E3S - Supélec Sciences des Systèmes</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</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="ANR">ANR</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">TESL: A language for reconciling heterogeneous execution traces</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Frédéric</forename>
                    <surname>Boulanger</surname>
                  </persName>
                  <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="string">frederic-boulanger</idno>
                  <idno type="idhal" notation="numeric">4636</idno>
                  <idno type="halauthorid" notation="string">54801-4636</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3185-2807</idno>
                  <idno type="IDREF">https://www.idref.fr/132922029</idno>
                  <affiliation ref="#struct-123689"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Christophe</forename>
                    <surname>Jacquet</surname>
                  </persName>
                  <email type="md5">2d83c216f0dd16615eed3be9134ccc7d</email>
                  <email type="domain">supelec.fr</email>
                  <idno type="idhal" notation="numeric">942953</idno>
                  <idno type="halauthorid" notation="string">289848-942953</idno>
                  <idno type="IDREF">https://www.idref.fr/119849283</idno>
                  <affiliation ref="#struct-123689"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Cécile</forename>
                    <surname>Hardebolle</surname>
                  </persName>
                  <idno type="halauthorid">300553-0</idno>
                  <affiliation ref="#struct-123689"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Iuliana</forename>
                    <surname>Prodan</surname>
                  </persName>
                  <idno type="halauthorid">596800-0</idno>
                  <affiliation ref="#struct-123689"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of the 12th ACM-IEEE International Conference on Formal Methods and Models for System Design</title>
                <meeting>
                  <title>ACM-IEEE MEMOCODE 2014</title>
                  <date type="start">2014-10-19</date>
                  <date type="end">2014-10-21</date>
                  <settlement>Lausanne</settlement>
                  <country key="CH">Switzerland</country>
                </meeting>
                <imprint>
                  <biblScope unit="serie">Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on</biblScope>
                  <biblScope unit="pp">114 - 123</biblScope>
                  <date type="datePub">2014-10</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1109/MEMCOD.2014.6961849</idno>
              <ref type="publisher">http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6961849</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">time-triggered</term>
                <term xml:lang="en">event-triggered</term>
                <term xml:lang="en">discrete events</term>
                <term xml:lang="en">synchronous models</term>
                <term xml:lang="en">Heterogeneous time</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</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>Various formalisms deal with time, and each of them has its own notion of time. When designing a system, it is often desirable to combine several of these formalisms to model different parts. Therefore one has to reconcile execution traces that may use different kinds of time (discrete, continuous, periodic) and different time scales (e.g. minutes, microseconds or even angles in degrees). In this article, we present a deterministic model of time which allows the specification of the coincidence of events that occur on different time scales, as well as instantaneous causality between events. This model supports both event-driven and time-driven specifications.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-123689" status="OLD">
          <orgName>Supélec Sciences des Systèmes</orgName>
          <orgName type="acronym">E3S</orgName>
          <desc>
            <address>
              <addrLine>Plateau du Moulon - 3 rue Joliot-Curie  -  91192 GIF-SUR-YVETTE CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.supelec.fr/342_p_14975/e3s-equipe.html</ref>
          </desc>
          <listRelation>
            <relation name="EA4454" active="#struct-303397" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-303397" status="VALID">
          <orgName>Ecole Supérieure d'Electricité - SUPELEC (FRANCE)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-17951" status="VALID">
          <idno type="anr">ANR-12-INSE-0011</idno>
          <idno type="program">Supported by the French Agency for Research (ANR), Program INS (Ingénierie Numérique &amp; Sécurité)</idno>
          <orgName>GeMoC</orgName>
          <desc>Un framework de modèles de calcul génériques pour l'exécution et l'analyse dynamique de modèles</desc>
          <date type="start">2012</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>