<?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-04935578</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-17T00:33:46+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Déboguage, vérification et certification de code</title>
            <author role="aut">
              <persName>
                <forename type="first">David</forename>
                <surname>Monniaux</surname>
              </persName>
              <email type="md5">ceebaa21abca18130dac66c12ab347bf</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
              <ptr type="url" target="https://www-verimag.imag.fr/~monniaux/"/>
              <idno type="idhal" notation="string">david-monniaux</idno>
              <idno type="idhal" notation="numeric">9093</idno>
              <idno type="halauthorid" notation="string">2535-9093</idno>
              <idno type="IDREF">https://www.idref.fr/070681600</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7671-6126</idno>
              <affiliation ref="#struct-1043148"/>
              <affiliation ref="#struct-1095810"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>David</forename>
                <surname>Monniaux</surname>
              </persName>
              <email type="md5">ceebaa21abca18130dac66c12ab347bf</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-02-13 13:24:50</date>
              <date type="whenModified">2025-09-27 19:25:48</date>
              <date type="whenReleased">2025-02-13 13:28:22</date>
              <date type="whenProduced">2025-01-23</date>
              <date type="whenEndEmbargoed">2025-02-07</date>
              <ref type="file" target="https://hal.science/hal-04935578v1/document">
                <date notBefore="2025-02-07"/>
              </ref>
              <ref type="file" subtype="publisherAgreement" n="1" target="https://hal.science/hal-04935578v1/file/231027_MONNIAUX_V4_RELU.pdf" id="file-4935578-4290495">
                <date notBefore="2025-02-07"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="108853">
                <persName>
                  <forename>David</forename>
                  <surname>Monniaux</surname>
                </persName>
                <email type="md5">ceebaa21abca18130dac66c12ab347bf</email>
                <email type="domain">univ-grenoble-alpes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04935578</idno>
            <idno type="halUri">https://hal.science/hal-04935578</idno>
            <idno type="halBibtex">monniaux:hal-04935578</idno>
            <idno type="halRefHtml">Mokrane Bouzeghoub; Michel Daydé; Christian Jutten. &lt;i&gt;Le calcul à découvert&lt;/i&gt;, CNRS Éditions, 2025, 978-2-271-15373-9</idno>
            <idno type="halRef">Mokrane Bouzeghoub; Michel Daydé; Christian Jutten. Le calcul à découvert, CNRS Éditions, 2025, 978-2-271-15373-9</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4935578-4290495"/></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="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="VERIMAG">VERIMAG</idno>
            <idno type="stamp" n="CYBERALPS">Grenoble Alpes Cybersecurity Institute</idno>
            <idno type="stamp" n="UGA-EPE">Université Grenoble Alpes [2020-*]</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">Déboguage, vérification et certification de code</title>
                <author role="aut">
                  <persName>
                    <forename type="first">David</forename>
                    <surname>Monniaux</surname>
                  </persName>
                  <email type="md5">ceebaa21abca18130dac66c12ab347bf</email>
                  <email type="domain">univ-grenoble-alpes.fr</email>
                  <ptr type="url" target="https://www-verimag.imag.fr/~monniaux/"/>
                  <idno type="idhal" notation="string">david-monniaux</idno>
                  <idno type="idhal" notation="numeric">9093</idno>
                  <idno type="halauthorid" notation="string">2535-9093</idno>
                  <idno type="IDREF">https://www.idref.fr/070681600</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7671-6126</idno>
                  <affiliation ref="#struct-1043148"/>
                  <affiliation ref="#struct-1095810"/>
                </author>
              </analytic>
              <monogr>
                <idno type="isbn">978-2-271-15373-9</idno>
                <title level="m">Le calcul à découvert</title>
                <editor>Mokrane Bouzeghoub</editor>
                <editor>Michel Daydé</editor>
                <editor>Christian Jutten</editor>
                <imprint>
                  <publisher>CNRS Éditions</publisher>
                  <pubPlace>Paris</pubPlace>
                  <date type="datePub">2025-01-23</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halOldTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halTreeTypology" n="COUV">Book sections</classCode>
            </textClass>
            <abstract xml:lang="fr">
              <p>Tous les utilisateurs d'outils informatiques ont déjà eu affaire à des « bugs » : des dysfonctionnements plus ou moins graves, souvent agaçants, parfois avec des conséquences importantes (vol de données, interception de communications, pertes d'engins spatiaux…). Nous avons pris l'habitude d'en parler comme d'une fatalité, mais ils sont liés à de profondes questions scientifiques.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1043148" status="VALID">
          <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">2020-01-01</date>
          <desc>
            <address>
              <addrLine>VerimagBâtiment IMAGUniversité Grenoble Alpes700, avenue centrale38401 Saint Martin d’Hères</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www-verimag.imag.fr/?lang=fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR5104" active="#struct-441569" type="direct"/>
            <relation active="#struct-1042703" type="direct"/>
            <relation active="#struct-1043329" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1095810" status="VALID">
          <idno type="IdRef">232435073</idno>
          <idno type="ISNI">0000000403871581</idno>
          <idno type="ROR">https://ror.org/04z22qz54</idno>
          <orgName>Institut des sciences informatiques et de leurs interactions - CNRS Sciences informatiques</orgName>
          <orgName type="acronym">INS2I-CNRS</orgName>
          <date type="start">2009-11-01</date>
          <desc>
            <address>
              <addrLine>CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE3 RUE MICHEL ANGE75794 PARIS CEDEX 16 - France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://ins2i.cnrs.fr/</ref>
          </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="regroupinstitution" xml:id="struct-1042703" status="VALID">
          <idno type="IdRef">240648315</idno>
          <idno type="ROR">https://ror.org/02rx3b187</idno>
          <orgName>Université Grenoble Alpes</orgName>
          <orgName type="acronym">UGA</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Adresse CS 40700 - 38058 Grenoble cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-grenoble-alpes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1043329" status="VALID">
          <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">2020-01-01</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>
          <listRelation>
            <relation active="#struct-1042703" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>