<?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-00972559</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-20T22:55:12+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Efficient and Generalized Decentralized Monitoring of Regular Languages</title>
            <author role="aut">
              <persName>
                <forename type="first">Yliès</forename>
                <surname>Falcone</surname>
              </persName>
              <email type="md5">4a78d641e358e324998e59474166d80b</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="string">ylies-falcone</idno>
              <idno type="idhal" notation="numeric">2827</idno>
              <idno type="halauthorid" notation="string">38042-2827</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0114-0641</idno>
              <idno type="IDREF">https://www.idref.fr/139194975</idno>
              <affiliation ref="#struct-24471"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Tom</forename>
                <surname>Cornebize</surname>
              </persName>
              <email type="md5">9cc266b620615335d788a6298d1f7f6b</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">tom-cornebize</idno>
              <idno type="idhal" notation="numeric">16444</idno>
              <idno type="halauthorid" notation="string">35397-16444</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1439-2466</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=4YtfEysAAAAJ&amp;hl=fr</idno>
              <idno type="IDREF">https://www.idref.fr/253120039</idno>
              <affiliation ref="#struct-24471"/>
              <affiliation ref="#struct-194"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Claude</forename>
                <surname>Fernandez</surname>
              </persName>
              <email type="md5">c4ab80a91ce1a90d1f479243a662f10c</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="numeric">858857</idno>
              <idno type="halauthorid" notation="string">119554-858857</idno>
              <affiliation ref="#struct-194"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Yliès</forename>
                <surname>Falcone</surname>
              </persName>
              <email type="md5">9780edccf70cc5022325e29685e5e70c</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2014-04-04 07:28:40</date>
              <date type="whenWritten">2013-07-01</date>
              <date type="whenModified">2025-09-27 19:50:02</date>
              <date type="whenReleased">2014-04-04 08:42:41</date>
              <date type="whenProduced">2014-06-03</date>
              <date type="whenEndEmbargoed">2014-04-04</date>
              <ref type="file" target="https://hal.science/hal-00972559v1/document">
                <date notBefore="2014-04-04"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00972559v1/file/forte14.pdf" id="file-972559-1139800">
                <date notBefore="2014-04-04"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/1402.3821"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="134955">
                <persName>
                  <forename>Yliès</forename>
                  <surname>Falcone</surname>
                </persName>
                <email type="md5">9780edccf70cc5022325e29685e5e70c</email>
                <email type="domain">univ-grenoble-alpes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00972559</idno>
            <idno type="halUri">https://hal.science/hal-00972559</idno>
            <idno type="halBibtex">falcone:hal-00972559</idno>
            <idno type="halRefHtml">&lt;i&gt;34th Formal Techniques for Networked and Distributed Systems (FORTE)&lt;/i&gt;, Jun 2014, Berlin, Germany. pp.66-83, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-662-43613-4_5"&gt;&amp;#x27E8;10.1007/978-3-662-43613-4_5&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.66-83, &amp;#x27E8;10.1007/978-3-662-43613-4_5&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-972559-1139800"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="IMAG">IMAG</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-GRENOBLE1">Université Joseph Fourier - Grenoble I</idno>
            <idno type="stamp" n="UNIV-PMF_GRENOBLE">Université Pierre-Mendès-France - Grenoble II</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="LIG">Laboratoire d'Informatique de Grenoble</idno>
            <idno type="stamp" n="LIG_GLSI" corresp="LIG">Génie des Logiciels et des Systèmes d'Information</idno>
            <idno type="stamp" n="LIG_GLSI_VASCO" corresp="LIG_GLSI">VASCO</idno>
            <idno type="stamp" n="VERIMAG">VERIMAG</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="IFIP-FORTE">IFIP-FORTE</idno>
            <idno type="stamp" n="IFIP-LNCS-8461" corresp="IFIP-LNCS">Formal Techniques for Distributed Objects, Components, and Systems</idno>
            <idno type="stamp" n="IFIP-2010">IFIP-2010</idno>
            <idno type="stamp" n="LIG_SIDCH" corresp="LIG">Systèmes intelligents pour les données, les connaissances et les humains</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 2: Monitoring and Testing</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="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Efficient and Generalized Decentralized Monitoring of Regular Languages</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Yliès</forename>
                    <surname>Falcone</surname>
                  </persName>
                  <email type="md5">4a78d641e358e324998e59474166d80b</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="string">ylies-falcone</idno>
                  <idno type="idhal" notation="numeric">2827</idno>
                  <idno type="halauthorid" notation="string">38042-2827</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0114-0641</idno>
                  <idno type="IDREF">https://www.idref.fr/139194975</idno>
                  <affiliation ref="#struct-24471"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Tom</forename>
                    <surname>Cornebize</surname>
                  </persName>
                  <email type="md5">9cc266b620615335d788a6298d1f7f6b</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">tom-cornebize</idno>
                  <idno type="idhal" notation="numeric">16444</idno>
                  <idno type="halauthorid" notation="string">35397-16444</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1439-2466</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=4YtfEysAAAAJ&amp;hl=fr</idno>
                  <idno type="IDREF">https://www.idref.fr/253120039</idno>
                  <affiliation ref="#struct-24471"/>
                  <affiliation ref="#struct-194"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Claude</forename>
                    <surname>Fernandez</surname>
                  </persName>
                  <email type="md5">c4ab80a91ce1a90d1f479243a662f10c</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="numeric">858857</idno>
                  <idno type="halauthorid" notation="string">119554-858857</idno>
                  <affiliation ref="#struct-194"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>34th Formal Techniques for Networked and Distributed Systems (FORTE)</title>
                  <date type="start">2014-06-03</date>
                  <date type="end">2014-06-06</date>
                  <settlement>Berlin</settlement>
                  <country key="DE">Germany</country>
                </meeting>
                <editor>Erika Ábrahám</editor>
                <editor>Catuscia Palamidessi</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Formal Techniques for Distributed Objects, Components, and Systems</biblScope>
                  <biblScope unit="volume">LNCS-8461</biblScope>
                  <biblScope unit="pp">66-83</biblScope>
                  <date type="datePub">2014-03-10</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-662-43613-4_5</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</classCode>
              <classCode scheme="halTypology" n="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>This paper proposes an efficient and generalized decentralized monitoring algorithm allowing to detect satisfaction or violation of any regular specification by local monitors alone in a system without central observation point. Our algorithm does not assume any form of synchronization between system events and communication of monitors, uses state machines as underlying mechanism for efficiency, and tries to keep the number and size of messages exchanged between monitors to a minimum. We provide a full implementation of the algorithm with an open-source benchmark to evaluate its efficiency in terms of number, size of exchanged messages, and delay induced by communication between monitors. Experimental results demonstrate the effectiveness of our algorithm which outperforms the previous most general one along several (new) monitoring metrics.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 6</org>
              <org type="consortium">WG 6.1</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-24471" status="OLD">
          <idno type="IdRef">148425550</idno>
          <idno type="ISNI">0000 0001 2286 4035 </idno>
          <idno type="RNSR">200711886U</idno>
          <idno type="ROR">https://ror.org/01c8rcg82</idno>
          <orgName>Laboratoire d'Informatique de Grenoble</orgName>
          <orgName type="acronym">LIG</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.liglab.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-3886" type="direct"/>
            <relation active="#struct-51016" type="direct"/>
            <relation active="#struct-89889" type="direct"/>
            <relation active="#struct-300275" type="direct"/>
            <relation name="UMR5217" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-194" status="OLD">
          <idno type="IdRef">184945623</idno>
          <idno type="ISNI">0000 0004 0382 7652</idno>
          <idno type="RNSR">199511789R</idno>
          <idno type="ROR">https://ror.org/05afmzm11</idno>
          <orgName>VERIMAG</orgName>
          <orgName type="acronym">VERIMAG - IMAG</orgName>
          <date type="start">1993-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>VerimagBâtiment IMAGUniversité Grenoble Alpes700, avenue centrale38401 Saint Martin d’HèresFrance</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-51016" type="direct"/>
            <relation active="#struct-89889" type="direct"/>
            <relation active="#struct-300275" type="direct"/>
            <relation name="UMR5104" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-3886" status="OLD">
          <idno type="IdRef">02640432X</idno>
          <idno type="ROR">https://ror.org/02f7wz369</idno>
          <orgName>Université Pierre Mendès France - Grenoble 2</orgName>
          <orgName type="acronym">UPMF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-51016" status="OLD">
          <idno type="IdRef">026404796</idno>
          <idno type="ROR">https://ror.org/02aj0kh94</idno>
          <orgName>Université Joseph Fourier - Grenoble 1</orgName>
          <orgName type="acronym">UJF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ujf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-89889" status="OLD">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300275" status="OLD">
          <idno type="IdRef">026388804</idno>
          <orgName>Institut National Polytechnique de Grenoble</orgName>
          <orgName type="acronym">INPG</orgName>
          <date type="end">2006-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <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>
      </listOrg>
    </back>
  </text>
</TEI>