<?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 inria-00430637</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-17T05:31:42+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Automating model-based software engineering</title>
            <author role="aut">
              <persName>
                <forename type="first">David</forename>
                <surname>Déharbe</surname>
              </persName>
              <idno type="halauthorid">143922-0</idno>
              <affiliation ref="#struct-110670"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pascal</forename>
                <surname>Fontaine</surname>
              </persName>
              <email type="md5">a0f037c5049717b8df22d80bd4a93eba</email>
              <email type="domain">loria.fr</email>
              <idno type="idhal" notation="string">pascal-fontaine</idno>
              <idno type="idhal" notation="numeric">6299</idno>
              <idno type="halauthorid" notation="string">13599-6299</idno>
              <idno type="IDREF">https://www.idref.fr/204082471</idno>
              <affiliation ref="#struct-2357"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Anamaria</forename>
                <surname>Martins Moreira</surname>
              </persName>
              <idno type="idhal" notation="numeric">755820</idno>
              <idno type="halauthorid" notation="string">118041-755820</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-7707-8469</idno>
              <affiliation ref="#struct-110670"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Stephan</forename>
                <surname>Merz</surname>
              </persName>
              <email type="md5">c64cfb705871425cf704c55e9343be9a</email>
              <email type="domain">loria.fr</email>
              <idno type="idhal" notation="string">stephan-merz</idno>
              <idno type="idhal" notation="numeric">15889</idno>
              <idno type="halauthorid" notation="string">843-15889</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0974-1844</idno>
              <idno type="IDREF">https://www.idref.fr/120558513</idno>
              <affiliation ref="#struct-2357"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Anderson</forename>
                <surname>Santana de Oliveira</surname>
              </persName>
              <idno type="halauthorid">118039-0</idno>
              <orgName ref="#struct-0"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Pascal</forename>
                <surname>Fontaine</surname>
              </persName>
              <email type="md5">a0f037c5049717b8df22d80bd4a93eba</email>
              <email type="domain">loria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2009-11-09 13:22:44</date>
              <date type="whenModified">2025-11-04 11:59:49</date>
              <date type="whenReleased">2009-11-09 13:22:44</date>
              <date type="whenProduced">2009-07-22</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="103615">
                <persName>
                  <forename>Pascal</forename>
                  <surname>Fontaine</surname>
                </persName>
                <email type="md5">a0f037c5049717b8df22d80bd4a93eba</email>
                <email type="domain">loria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">inria-00430637</idno>
            <idno type="halUri">https://inria.hal.science/inria-00430637</idno>
            <idno type="halBibtex">deharbe:inria-00430637</idno>
            <idno type="halRefHtml">&lt;i&gt;Colloque d'Informatique: Brésil/INRIA (COLIBRI)&lt;/i&gt;, Jul 2009, Bento Gonçalves, Brazil. pp.22-27</idno>
            <idno type="halRef">Colloque d'Informatique: Brésil/INRIA (COLIBRI), Jul 2009, Bento Gonçalves, Brazil. pp.22-27</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INPL">Institut National Polytechnique de Lorraine</idno>
            <idno type="stamp" n="INRIA-LORRAINE">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LORIA">Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
            <idno type="stamp" n="AM2I-UL">Pôle scientifique Automatique, Mathématiques, Informatique et leurs Intéractions de l'Université de Lorraine</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">Automating model-based software engineering</title>
                <author role="aut">
                  <persName>
                    <forename type="first">David</forename>
                    <surname>Déharbe</surname>
                  </persName>
                  <idno type="halauthorid">143922-0</idno>
                  <affiliation ref="#struct-110670"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pascal</forename>
                    <surname>Fontaine</surname>
                  </persName>
                  <email type="md5">a0f037c5049717b8df22d80bd4a93eba</email>
                  <email type="domain">loria.fr</email>
                  <idno type="idhal" notation="string">pascal-fontaine</idno>
                  <idno type="idhal" notation="numeric">6299</idno>
                  <idno type="halauthorid" notation="string">13599-6299</idno>
                  <idno type="IDREF">https://www.idref.fr/204082471</idno>
                  <affiliation ref="#struct-2357"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Anamaria</forename>
                    <surname>Martins Moreira</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">755820</idno>
                  <idno type="halauthorid" notation="string">118041-755820</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-7707-8469</idno>
                  <affiliation ref="#struct-110670"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Stephan</forename>
                    <surname>Merz</surname>
                  </persName>
                  <email type="md5">c64cfb705871425cf704c55e9343be9a</email>
                  <email type="domain">loria.fr</email>
                  <idno type="idhal" notation="string">stephan-merz</idno>
                  <idno type="idhal" notation="numeric">15889</idno>
                  <idno type="halauthorid" notation="string">843-15889</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0974-1844</idno>
                  <idno type="IDREF">https://www.idref.fr/120558513</idno>
                  <affiliation ref="#struct-2357"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Anderson</forename>
                    <surname>Santana de Oliveira</surname>
                  </persName>
                  <idno type="halauthorid">118039-0</idno>
                  <orgName ref="#struct-0"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Colloque d'Informatique: Brésil/INRIA (COLIBRI)</title>
                  <date type="start">2009-07-22</date>
                  <date type="end">2009-07-23</date>
                  <settlement>Bento Gonçalves</settlement>
                  <country key="BR">Brazil</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">22-27</biblScope>
                  <date type="datePub">2009</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</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>Model-based approaches are commonly used to engineering software for safety-critical applications. Several artifacts, such as abstract specifications, formal refinements, and assertions at the implementation level require computational support for formal reasoning activities. Delivering formal verification tools that address such reasoning activities in an automated, trustable and flexible fashion remains a scientific challenge. Researchers from LORIA and UFRN have been collaborating to address this challenge and are now developing an automated theorem prover targeted at trustable software verification efforts.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-110670" status="VALID">
          <idno type="ROR">https://ror.org/04wn09761</idno>
          <orgName>Universidade Federal do Rio Grande do Norte [Natal]</orgName>
          <orgName type="acronym">UFRN</orgName>
          <desc>
            <address>
              <addrLine>Caixa Postal 1524 - Campus Universitário Lagoa Nova, CEP 59078-970 | Natal/RN</addrLine>
              <country key="BR"/>
            </address>
            <ref type="url">https://www.sistemas.ufrn.br/portal/PT/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-2357" status="OLD">
          <idno type="RNSR">200418303G</idno>
          <orgName>Proof-oriented development of computer-based systems</orgName>
          <orgName type="acronym">MOSEL</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/mosel</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2496" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-466633" type="direct"/>
            <relation active="#struct-300291" type="indirect"/>
            <relation active="#struct-300292" type="indirect"/>
            <relation active="#struct-300293" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2496" status="OLD">
          <orgName>INRIA Lorraine</orgName>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-466633" status="OLD">
          <orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
          <orgName type="acronym">LORIA</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-300291" type="direct"/>
            <relation active="#struct-300292" type="direct"/>
            <relation active="#struct-300293" type="direct"/>
            <relation name="UMR7503" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300291" status="OLD">
          <orgName>Université Henri Poincaré - Nancy 1</orgName>
          <orgName type="acronym">UHP</orgName>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300292" status="OLD">
          <orgName>Université Nancy 2</orgName>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300293" status="OLD">
          <orgName>Institut National Polytechnique de Lorraine</orgName>
          <orgName type="acronym">INPL</orgName>
          <date type="end">2011-12-31</date>
          <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>
      </listOrg>
    </back>
  </text>
</TEI>