<?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-03650181</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-14T01:04:59+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Error-Sensitive Proof-Labeling Schemes</title>
            <author role="aut">
              <persName>
                <forename type="first">Laurent</forename>
                <surname>Feuilloley</surname>
              </persName>
              <email type="md5">83b4bedf32cb6b8c7c38018d3f353671</email>
              <email type="domain">univ-lyon1.fr</email>
              <idno type="idhal" notation="string">laurent-feuilloley</idno>
              <idno type="idhal" notation="numeric">177191</idno>
              <idno type="halauthorid" notation="string">25510-177191</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3994-0898</idno>
              <affiliation ref="#struct-413088"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pierre</forename>
                <surname>Fraigniaud</surname>
              </persName>
              <email type="md5">d069298a128e57c469a59ab4b5ce7bc6</email>
              <email type="domain">irif.fr</email>
              <idno type="idhal" notation="numeric">840045</idno>
              <idno type="halauthorid" notation="string">167742-840045</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4534-4803</idno>
              <idno type="IDREF">https://www.idref.fr/034843124</idno>
              <orgName ref="#struct-441569"/>
              <affiliation ref="#struct-1005016"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Laurent</forename>
                <surname>Feuilloley</surname>
              </persName>
              <email type="md5">83b4bedf32cb6b8c7c38018d3f353671</email>
              <email type="domain">univ-lyon1.fr</email>
            </editor>
            <funder ref="#projanr-42111"/>
            <funder ref="#projanr-47760"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2022-04-24 15:36:25</date>
              <date type="whenModified">2025-12-19 10:22:02</date>
              <date type="whenReleased">2022-04-26 08:24:40</date>
              <date type="whenProduced">2022-08</date>
              <date type="whenEndEmbargoed">2022-04-24</date>
              <ref type="file" target="https://hal.science/hal-03650181v1/document">
                <date notBefore="2022-04-24"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03650181v1/file/error-sensitive.pdf" id="file-3650181-3187732">
                <date notBefore="2022-04-24"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="314633">
                <persName>
                  <forename>Laurent</forename>
                  <surname>Feuilloley</surname>
                </persName>
                <email type="md5">83b4bedf32cb6b8c7c38018d3f353671</email>
                <email type="domain">univ-lyon1.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03650181</idno>
            <idno type="halUri">https://hal.science/hal-03650181</idno>
            <idno type="halBibtex">feuilloley:hal-03650181</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Parallel and Distributed Computing&lt;/i&gt;, 2022, 166, pp.149-165. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.jpdc.2022.04.015"&gt;&amp;#x27E8;10.1016/j.jpdc.2022.04.015&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Journal of Parallel and Distributed Computing, 2022, 166, pp.149-165. &amp;#x27E8;10.1016/j.jpdc.2022.04.015&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3650181-3187732"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-LYON1">Université Claude Bernard - Lyon I</idno>
            <idno type="stamp" n="UNIV-LYON2">Université Lumière Lyon 2</idno>
            <idno type="stamp" n="INSA-LYON">Institut National des Sciences Appliquées de Lyon</idno>
            <idno type="stamp" n="EC-LYON">Ecole Centrale de Lyon</idno>
            <idno type="stamp" n="LIRIS" corresp="UNIV-LYON1">Laboratoire d'InfoRmatique en Image et Systèmes d'information</idno>
            <idno type="stamp" n="LYON2">Université Lyon2</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="UDL">UDL</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
            <idno type="stamp" n="UNIV-PARIS">Université Paris Cité</idno>
            <idno type="stamp" n="UNIVERSITE-PARIS" corresp="UNIV-PARIS">Université Paris Cité</idno>
            <idno type="stamp" n="UP-SCIENCES">Université Paris Cité - Faculté des Sciences</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="IRIF">Institut de Recherche en Informatique Fondamentale</idno>
            <idno type="stamp" n="HAL-LYON-2-NOUVELLE-VERSION">Nouvelle version portail </idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Error-Sensitive Proof-Labeling Schemes</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Laurent</forename>
                    <surname>Feuilloley</surname>
                  </persName>
                  <email type="md5">83b4bedf32cb6b8c7c38018d3f353671</email>
                  <email type="domain">univ-lyon1.fr</email>
                  <idno type="idhal" notation="string">laurent-feuilloley</idno>
                  <idno type="idhal" notation="numeric">177191</idno>
                  <idno type="halauthorid" notation="string">25510-177191</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3994-0898</idno>
                  <affiliation ref="#struct-413088"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre</forename>
                    <surname>Fraigniaud</surname>
                  </persName>
                  <email type="md5">d069298a128e57c469a59ab4b5ce7bc6</email>
                  <email type="domain">irif.fr</email>
                  <idno type="idhal" notation="numeric">840045</idno>
                  <idno type="halauthorid" notation="string">167742-840045</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4534-4803</idno>
                  <idno type="IDREF">https://www.idref.fr/034843124</idno>
                  <orgName ref="#struct-441569"/>
                  <affiliation ref="#struct-1005016"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">15958</idno>
                <idno type="issn">0743-7315</idno>
                <idno type="eissn">1096-0848</idno>
                <title level="j">Journal of Parallel and Distributed Computing</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">166</biblScope>
                  <biblScope unit="pp">149-165</biblScope>
                  <date type="datePub">2022-08</date>
                  <date type="dateEpub">2022-04-22</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.jpdc.2022.04.015</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Proof-labeling schemes are known mechanisms providing nodes of networks with certificates that can be verified locally by distributed algorithms. Given a boolean predicate on network states, such schemes enable to check whether the predicate is satisfied by the actual state of the network, by having nodes interacting with their neighbors only. Proof-labeling schemes are typically designed for enforcing fault-tolerance, by making sure that if the current state of the network is illegal with respect to some given predicate, then at least one node will detect it. Such a node can raise an alarm, or launch a recovery procedure enabling the system to return to a legal state. In this paper, we introduce error-sensitive proof-labeling schemes. These are proof-labeling schemes which guarantee that the number of nodes detecting illegal states is linearly proportional to the Hamming distance between the current state and the set of legal states. By using error-sensitive proof-labeling schemes, states which are far from satisfying the predicate will be detected by many nodes. We provide a structural characterization of the set of boolean predicates on network states for which there exist error-sensitive proof-labeling schemes. This characterization allows us to show that classical predicates such as, e.g., cycle-freeness, and leader admit error-sensitive proof-labeling schemes, while others like regular subgraphs do not. We also focus on compact error-sensitive prooflabeling schemes. In particular, we show that the known proof-labeling schemes for spanning tree and minimum spanning tree, using certificates on O(log n) bits, and on O log 2 n bits, respectively, are error-sensitive, as long as the trees are locally represented by adjacency lists, and not just by parent pointers.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-413088" status="VALID">
          <orgName>Graphes, AlgOrithmes et AppLications</orgName>
          <orgName type="acronym">GOAL</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-2003" type="direct"/>
            <relation active="#struct-33804" type="indirect"/>
            <relation active="#struct-126765" type="indirect"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="indirect"/>
            <relation active="#struct-219748" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation name="UMR5205" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1005016" status="VALID">
          <idno type="IdRef">193993007</idno>
          <idno type="RNSR">201621976X</idno>
          <idno type="ROR">https://ror.org/02krdtz55</idno>
          <idno type="Wikidata">Q51783269</idno>
          <orgName>Institut de Recherche en Informatique Fondamentale</orgName>
          <orgName type="acronym">IRIF (UMR_8243)</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Université Paris CitéBâtiment Sophie Germain, Case courrier 70148 Place Aurélie Nemours75205 Paris Cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irif.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR8243" active="#struct-441569" type="direct"/>
            <relation name="UMR_8243" active="#struct-557826" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2003" status="VALID">
          <idno type="IdRef">149705271</idno>
          <idno type="ISNI">0000000122577669</idno>
          <idno type="RNSR">200511875R</idno>
          <idno type="ROR">https://ror.org/04dv4he91</idno>
          <orgName>Laboratoire d'InfoRmatique en Image et Systèmes d'information</orgName>
          <orgName type="acronym">LIRIS</orgName>
          <date type="start">2003-01-01</date>
          <desc>
            <address>
              <addrLine>Bâtiment Blaise Pascal - 20, avenue Albert Einstein - 69621 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://liris.cnrs.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-33804" type="direct"/>
            <relation active="#struct-126765" type="direct"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="direct"/>
            <relation active="#struct-219748" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation name="UMR5205" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-33804" status="VALID">
          <idno type="IdRef">02640334X</idno>
          <idno type="ISNI">0000 0001 2188 0906</idno>
          <idno type="ROR">https://ror.org/03rth4p18</idno>
          <idno type="Wikidata">Q4041</idno>
          <orgName>Université Lumière - Lyon 2</orgName>
          <orgName type="acronym">UL2</orgName>
          <desc>
            <address>
              <addrLine>86, rue Pasteur - 69007 Lyon</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon2.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-126765" status="VALID">
          <idno type="ROR">https://ror.org/05s6rge65</idno>
          <orgName>École Centrale de Lyon</orgName>
          <orgName type="acronym">ECL</orgName>
          <desc>
            <address>
              <addrLine>36 avenue Guy de Collongue - 69134 Ecully cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-lyon.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301088" status="VALID">
          <idno type="ROR">https://ror.org/01rk35k63</idno>
          <orgName>Université de Lyon</orgName>
          <desc>
            <address>
              <addrLine>92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-lyon.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-194495" status="VALID">
          <idno type="IdRef">026402823</idno>
          <idno type="ISNI">0000000121686185</idno>
          <idno type="ROR">https://ror.org/029brtt94</idno>
          <orgName>Université Claude Bernard Lyon 1</orgName>
          <orgName type="acronym">UCBL</orgName>
          <desc>
            <address>
              <addrLine>43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-219748" status="VALID">
          <idno type="IdRef">052444724</idno>
          <idno type="ISNI">0000 0001 2292 0228</idno>
          <orgName>Institut National des Sciences Appliquées de Lyon</orgName>
          <orgName type="acronym">INSA Lyon</orgName>
          <date type="start">1957-03-18</date>
          <desc>
            <address>
              <addrLine>20 Avenue Albert Einstein, 69621 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-lyon.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <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-557826" status="VALID">
          <idno type="IdRef">236453505</idno>
          <idno type="ISNI">0000 0004 7885 7602</idno>
          <idno type="ROR">https://ror.org/05f82e368</idno>
          <orgName>Université Paris Cité</orgName>
          <orgName type="acronym">UPCité</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>85 boulevard Saint-Germain75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://u-paris.fr/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-42111" status="VALID">
          <idno type="anr">ANR-16-CE25-0009</idno>
          <orgName>ESTATE</orgName>
          <desc>Auto-stabilisation et amélioration de la sûreté dans les environnements distribués évoluant dans le temps</desc>
          <date type="start">2016</date>
        </org>
        <org type="anrProject" xml:id="projanr-47760" status="VALID">
          <idno type="anr">ANR-18-CE40-0032</idno>
          <orgName>GrR</orgName>
          <desc>Reconfiguration de Graphes</desc>
          <date type="start">2018</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>