<?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-04405518v2</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-15T14:41:19+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">VerifIoU - Robustness of Object Detection to Perturbations</title>
            <author role="aut">
              <persName>
                <forename type="first">Noémie</forename>
                <surname>Cohen</surname>
              </persName>
              <idno type="halauthorid">3022850-0</idno>
              <affiliation ref="#struct-254102"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mélanie</forename>
                <surname>Ducoffe</surname>
              </persName>
              <email type="md5">3d53c841144945a684ed2750fb5dc6c6</email>
              <email type="domain">i3s.unice.fr</email>
              <idno type="idhal" notation="numeric">1089280</idno>
              <idno type="halauthorid" notation="string">1057476-1089280</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8440-8764</idno>
              <idno type="IDREF">https://www.idref.fr/237533863</idno>
              <affiliation ref="#struct-254102"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Ryma</forename>
                <surname>Boumazouza</surname>
              </persName>
              <idno type="halauthorid">2457677-0</idno>
              <affiliation ref="#struct-55697"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Christophe</forename>
                <surname>Gabreau</surname>
              </persName>
              <email type="md5">9fb4e8cbfdff504496363cf8eeacd60e</email>
              <email type="domain">airbus.com</email>
              <idno type="idhal" notation="numeric">1102007</idno>
              <idno type="halauthorid" notation="string">2174870-1102007</idno>
              <affiliation ref="#struct-254102"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Claire</forename>
                <surname>Pagetti</surname>
              </persName>
              <email type="md5">19e7ef99510474f9b861eaed58325924</email>
              <email type="domain">onera.fr</email>
              <idno type="idhal" notation="string">claire-pagetti</idno>
              <idno type="idhal" notation="numeric">6952</idno>
              <idno type="halauthorid" notation="string">12158-6952</idno>
              <idno type="IDREF">https://www.idref.fr/08651542X</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7265-1839</idno>
              <affiliation ref="#struct-531214"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Xavier</forename>
                <surname>Pucel</surname>
              </persName>
              <idno type="halauthorid">375155-0</idno>
              <affiliation ref="#struct-531214"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Audrey</forename>
                <surname>Galametz</surname>
              </persName>
              <idno type="halauthorid">1113022-0</idno>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Claire</forename>
                <surname>Pagetti</surname>
              </persName>
              <email type="md5">19e7ef99510474f9b861eaed58325924</email>
              <email type="domain">onera.fr</email>
            </editor>
            <funder ref="#projanr-185721"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2024-01-26 10:09:34</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2025-10-29 15:51:02</date>
              <date type="whenModified">2025-12-22 15:46:01</date>
              <date type="whenReleased">2025-10-30 14:42:38</date>
              <date type="whenProduced">2025-09-16</date>
              <date type="whenEndEmbargoed">2025-10-29</date>
              <ref type="file" target="https://hal.science/hal-04405518v2/document">
                <date notBefore="2025-10-29"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-04405518v2/file/main.pdf" id="file-5269883-4570626">
                <date notBefore="2025-10-29"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="105616">
                <persName>
                  <forename>Claire</forename>
                  <surname>Pagetti</surname>
                </persName>
                <email type="md5">19e7ef99510474f9b861eaed58325924</email>
                <email type="domain">onera.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04405518</idno>
            <idno type="halUri">https://hal.science/hal-04405518</idno>
            <idno type="halBibtex">cohen:hal-04405518</idno>
            <idno type="halRefHtml">&lt;i&gt;44th Digital Avionics Systems Conference (DASC)&lt;/i&gt;, Sep 2025, Montreal, Canada</idno>
            <idno type="halRef">44th Digital Avionics Systems Conference (DASC), Sep 2025, Montreal, Canada</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-5269883-4570626"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ONERA">ONERA - Office National d'Études et de Recherches Aérospatiales</idno>
            <idno type="stamp" n="ONERA-MIP" corresp="ONERA">ONERA Midi-Pyrénées</idno>
            <idno type="stamp" n="PNRIA">Programme National de Recherche en IA</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="ANITI">ANITI - Artificial and Natural Intelligence Toulouse Institute</idno>
            <idno type="stamp" n="DTIS_ONERA" corresp="ONERA">DTIS ONERA</idno>
            <idno type="stamp" n="ANR-IA-23" corresp="ANR-IA">ANR-IA-23</idno>
            <idno type="stamp" n="ANR-IA">ANR-IA</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">VerifIoU - Robustness of Object Detection to Perturbations</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Noémie</forename>
                    <surname>Cohen</surname>
                  </persName>
                  <idno type="halauthorid">3022850-0</idno>
                  <affiliation ref="#struct-254102"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mélanie</forename>
                    <surname>Ducoffe</surname>
                  </persName>
                  <email type="md5">3d53c841144945a684ed2750fb5dc6c6</email>
                  <email type="domain">i3s.unice.fr</email>
                  <idno type="idhal" notation="numeric">1089280</idno>
                  <idno type="halauthorid" notation="string">1057476-1089280</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8440-8764</idno>
                  <idno type="IDREF">https://www.idref.fr/237533863</idno>
                  <affiliation ref="#struct-254102"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Ryma</forename>
                    <surname>Boumazouza</surname>
                  </persName>
                  <idno type="halauthorid">2457677-0</idno>
                  <affiliation ref="#struct-55697"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Christophe</forename>
                    <surname>Gabreau</surname>
                  </persName>
                  <email type="md5">9fb4e8cbfdff504496363cf8eeacd60e</email>
                  <email type="domain">airbus.com</email>
                  <idno type="idhal" notation="numeric">1102007</idno>
                  <idno type="halauthorid" notation="string">2174870-1102007</idno>
                  <affiliation ref="#struct-254102"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Claire</forename>
                    <surname>Pagetti</surname>
                  </persName>
                  <email type="md5">19e7ef99510474f9b861eaed58325924</email>
                  <email type="domain">onera.fr</email>
                  <idno type="idhal" notation="string">claire-pagetti</idno>
                  <idno type="idhal" notation="numeric">6952</idno>
                  <idno type="halauthorid" notation="string">12158-6952</idno>
                  <idno type="IDREF">https://www.idref.fr/08651542X</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7265-1839</idno>
                  <affiliation ref="#struct-531214"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Xavier</forename>
                    <surname>Pucel</surname>
                  </persName>
                  <idno type="halauthorid">375155-0</idno>
                  <affiliation ref="#struct-531214"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Audrey</forename>
                    <surname>Galametz</surname>
                  </persName>
                  <idno type="halauthorid">1113022-0</idno>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of DASC</title>
                <meeting>
                  <title>44th Digital Avionics Systems Conference (DASC)</title>
                  <date type="start">2025-09-16</date>
                  <date type="end">2025-09-18</date>
                  <settlement>Montreal</settlement>
                  <country key="CA">Canada</country>
                </meeting>
                <imprint>
                  <date type="datePub">2024</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Neural and Evolutionary Computing (cs.NE)</term>
                <term xml:lang="en">FOS: Computer and information sciences</term>
                <term xml:lang="en">Artificial Intelligence (cs.AI)</term>
                <term xml:lang="en">Computer Vision and Pattern Recognition (cs.CV)</term>
                <term xml:lang="en">Formal verification</term>
                <term xml:lang="en">Visual-based landing</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halDomain" n="info.info-cv">Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]</classCode>
              <classCode scheme="halDomain" n="info.info-ne">Computer Science [cs]/Neural and Evolutionary Computing [cs.NE]</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>We introduce a novel Interval Bound Propagation (IBP) approach for the formal verification of object detection models, specifically targeting the Intersection over Union (IoU) metric. The approach has been implemented in an open source code, named IBP IoU, compatible with popular abstract interpretation based verification tools. The resulting verifier is evaluated on landing approach runway detection and handwritten digit recognition case studies. Comparisons against a baseline (Vanilla IBP IoU) highlight the superior performance of IBP IoU in ensuring accuracy and stability, contributing to more secure and robust machine learning applications.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-254102" status="VALID">
          <orgName>Airbus Operation S.A.S.</orgName>
          <desc>
            <address>
              <addrLine>Site Industriel316 route de Bayonne31060TOULOUSE Cedex 9Midi-Pyrénées</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.airbus.com/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-55697" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-55697" status="VALID">
          <orgName>Airbus [France]</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.airbus.com/company/worldwide-presence/airbus-in-france/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-531214" status="VALID">
          <orgName>DTIS, ONERA, Université de Toulouse [Toulouse]</orgName>
          <date type="start">2018-03-19</date>
          <desc>
            <address>
              <addrLine>31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.onera.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300024" type="direct"/>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300024" status="VALID">
          <idno type="ROR">https://ror.org/005y2ap84</idno>
          <orgName>ONERA</orgName>
          <desc>
            <address>
              <addrLine>Office National d’Études et de Recherches Aéronautiques29, avenue de la Division Leclerc - BP 72 - 92322 CHATILLON CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.onera.fr/fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-185721" status="VALID">
          <idno type="anr">ANR-23-IACL-0002</idno>
          <orgName>ANITI IA Cluster</orgName>
          <desc>Artificial and Natural Intelligence Toulouse Institute</desc>
          <date type="start">2023</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>