{"id":3513,"date":"2022-04-13T16:59:11","date_gmt":"2022-04-13T14:59:11","guid":{"rendered":"https:\/\/samovar2022.int-evry.fr\/index.php\/acmes-2\/catherine-dubois-2\/"},"modified":"2022-04-13T16:59:25","modified_gmt":"2022-04-13T14:59:25","slug":"catherine-dubois-2","status":"publish","type":"page","link":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/acmes-2\/catherine-dubois-2\/","title":{"rendered":"Catherine DUBOIS"},"content":{"rendered":"<p><div class=\"bandeau-personnel MonLaboUser\"><img decoding=\"async\" src=\"https:\/\/samovar.telecom-sudparis.eu\/wp-content\/uploads\/2022\/07\/Catherine-Dubois-150x150.jpg\" class=\"wp-image-6 alignleft img-arrondi wp-post-image\" height=\"150\" width=\"150\" alt=\" \" \/><div class=\"adresse\"><p>SAMOVAR - SAMOVAR<br \/>Telecom SudParis<br \/>\r\n9 rue Charles Fourier<br \/>\r\n91011 EVRY CEDEX<\/p><p>Fax : +33 (0) 1 60 76 20 80<\/p><\/div><div class=\"monlaboBlocTexte\"><h1>Pr. Catherine <span class=\"MonLabo-lastname\">DUBOIS<\/span><\/h1><div class=\"coordonnees\"><em>Professeur<\/em><br \/><span class=\"team-description\"><a href=\"https:\/\/samovar.telecom-sudparis.eu\/?page_id=2438\" class=\"MonLaboLink\"><span class=\"MonLabo_team_name\">ACMES<\/span><\/a><\/span><\/div><div class=\"coordonnees\"><span class=\"MonLabo-email\">catherine.dubois[&#64;<span>-Code to remove to avoid SPAM-<\/span>]ensiie.fr<\/span><\/div><div class=\"external_url\"><h1 style=\"text-align: center;\"><a href=\"http:\/\/web4.ensiie.fr\/~dubois\/\"><button class=\"btn btn-oldstyle\" type=\"button\">Site personnel<\/button><\/a><\/h1><\/div><\/div><\/div>\n<div id=\"res_script\">\n<p class='Rubrique'>Article dans une revue<\/p>\n<p class='SousRubrique'>2024<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Brijesh Dongol, Catherine Dubois, Stefan Hallerstede, Eric Hehner, Carroll Morgan, et al.. On formal methods thinking in computer science education. <i>Formal Aspects of Computing<\/i>, 2024, 37 (1), pp.1-23. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3670419\">&#x27E8;10.1145\/3670419&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04896081v1\">&#x27E8;hal-04896081&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-04896081v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2018<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Alain Giorgetti. Tests and proofs for custom data generators. <i>Formal Aspects of Computing<\/i>, 2018, 30 (6), pp.659 - 684. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02302096v1\">&#x27E8;hal-02302096&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-02302096\/file\/34629641-d48a-4e33-a475-164f13aa918f-author.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-02302096\/file\/34629641-d48a-4e33-a475-164f13aa918f-author.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-02302096\/file\/34629641-d48a-4e33-a475-164f13aa918f-author.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-02302096v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2016<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Genevieve Cloutier, Maja Rosenkilde Rynning, Luc Adolphe, Marion Bonhomme. City and Building Designers, and Climate Adaptation. <i>Buildings<\/i>, 2016, 6 (3), pp.28. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.3390\/buildings6030028\">&#x27E8;10.3390\/buildings6030028&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/insa-toulouse.hal.science\/hal-02155859v1\">&#x27E8;hal-02155859&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/insa-toulouse.hal.science\/hal-02155859\/file\/2016_Buildings.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/insa-toulouse.hal.science\/hal-02155859\/file\/2016_Buildings.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/insa-toulouse.hal.science\/hal-02155859\/file\/2016_Buildings.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/insa-toulouse.hal.science\/hal-02155859v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2015<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, R\u00e9gine Laleau. Introduction. <i>Revue des Sciences et Technologies de l'Information - S\u00e9rie TSI : Technique et Science Informatiques<\/i>, 2015, 34 (5), pp.493--494. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01575305v1\">&#x27E8;hal-01575305&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01575305v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Genevieve Cloutier, Andre Potvin, Luc Adolphe, Florent Joerin. Design support tools to sustain climate change adaptation at the local level: A review and reflection on their suitability. <i>Frontiers of architectural research<\/i>, 2015, 4 (1), pp.1--11. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1016\/j.foar.2014.12.002\">&#x27E8;10.1016\/j.foar.2014.12.002&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/insa-toulouse.hal.science\/hal-01849770v1\">&#x27E8;hal-01849770&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/insa-toulouse.hal.science\/hal-01849770\/file\/1-s2.0-S2095263514000752-main.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/insa-toulouse.hal.science\/hal-01849770\/file\/1-s2.0-S2095263514000752-main.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/insa-toulouse.hal.science\/hal-01849770\/file\/1-s2.0-S2095263514000752-main.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/insa-toulouse.hal.science\/hal-01849770v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau. Repr\u00e9sentation et v\u00e9ri\ufb01cation d\u2019un environnement intelligent \u00e0 partir de sp\u00e9ci\ufb01cations utilisateur en langage naturel. <i>Revue des Sciences et Technologies de l'Information - S\u00e9rie RIA : Revue d'Intelligence Artificielle<\/i>, 2015, 29 (1), pp.47-81. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.3166\/RIA.29.47-81\">&#x27E8;10.3166\/RIA.29.47-81&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01378061v1\">&#x27E8;hal-01378061&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-01378061\/file\/RIA2015-auteur.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-01378061\/file\/RIA2015-auteur.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-01378061\/file\/RIA2015-auteur.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-01378061v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2012<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Karim Berkani, David Delahaye, Catherine Dubois, M\u00e9lanie Jacquel, Martin Keogh, et al.. BCARe : un environnement pour la v\u00e9ri\ufb01cation de r\u00e8gles de l'Atelier B. <i>Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels<\/i>, 2012, pp.46-49. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00722385v1\">&#x27E8;hal-00722385&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00722385v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2011<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">M\u00e9lanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois. Verifying B Proof Rules using Deep Embedding and Automated Theorem Proving. <i>Software Engineering and Formal Methods<\/i>, 2011, 7041, pp.253-268. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-642-24690-6_18\">&#x27E8;10.1007\/978-3-642-24690-6_18&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00722373v1\">&#x27E8;hal-00722373&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00722373v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2009<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jer\u00f4me Lafont, H\u00e9l\u00e8ne Thibout, Catherine Dubois, Maryvonne Laurent, C\u00e9cile Martinerie. NOV\/CCN3 Induces Adhesion of Muscle Skeletal Cells and Cooperates with FGF2 and IGF-1 to Promote Proliferation and Survival. <i>Cell Communication and Adhesion<\/i>, 2009, 12 (1-2), pp.41-57. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1080\/15419060500383069\">&#x27E8;10.1080\/15419060500383069&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03824123v1\">&#x27E8;hal-03824123&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-03824123v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2008<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Jean No\u00ebl Ravey, J.B No\u00ebl, Laurence Pittet-Barbier, Gilbert R. Ferretti. [Creation and development of a website on imaging of bone tumors]. <i>Journal de Radiologie<\/i>, 2008, 89 (2), pp.264-6. <a target=\"_blank\" href=\"https:\/\/inserm.hal.science\/inserm-00335705v1\">&#x27E8;inserm-00335705&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/inserm.hal.science\/inserm-00335705v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">No\u00e9lie Hohn, Dimitri Salameire, Christophe M. Pison, Catherine Dubois, Gilbert R. Ferretti. [Dense spontaneous bronchogram]. <i>Revue des Maladies Respiratoires<\/i>, 2008, 25 (5), pp.619-21. <a target=\"_blank\" href=\"https:\/\/inserm.hal.science\/inserm-00335715v1\">&#x27E8;inserm-00335715&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/inserm.hal.science\/inserm-00335715v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2007<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Emilie Droeven, Catherine Dubois, Claude Feltz. Paysages patrimoniaux en Wallonie (Belgique), analyse par approche des paysages t\u00e9moins. <i>Cahiers d'Economie et de Sociologie Rurales<\/i>, 2007, 84-85, pp.215-244. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01201155v1\">&#x27E8;hal-01201155&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-01201155\/file\/84-85-215-244.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-01201155\/file\/84-85-215-244.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-01201155\/file\/84-85-215-244.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-01201155v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jean Marc Mota, Catherine Dubois. Raffinement de mod\u00e8les topologiques : des droites aux 2-G-cartes. <i>Revue des Sciences et Technologies de l'Information - S\u00e9rie TSI : Technique et Science Informatiques<\/i>, 2007, 26, pp.883-908. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01125402v1\">&#x27E8;hal-01125402&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01125402v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2006<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Frederico Calhabeu, J\u00e9rome Lafont, Gwenvael Le Dreau, Maryvonne Laurent, Chantal Kazazian, et al.. NOV\/CCN3 impairs muscle cell commitment and differentiation. <i>Experimental Cell Research<\/i>, 2006, 312 (10), pp.1876-1889. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1016\/j.yexcr.2006.02.027\">&#x27E8;10.1016\/j.yexcr.2006.02.027&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03824115v1\">&#x27E8;hal-03824115&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-03824115v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">R\u00e9gine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, et al.. Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. <i>Software Process: Improvement and Practice<\/i>, 2006, 11 (5), pp.487-503. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00147053v1\">&#x27E8;hal-00147053&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00147053v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2005<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois. \tTypage, s\u00fbret\u00e9 et s\u00e9curit\u00e9. <i>Revue des Sciences et Technologies de l'Information - S\u00e9rie TSI : Technique et Science Informatiques<\/i>, 2005, 24, pp.1187-1190. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01125404v1\">&#x27E8;hal-01125404&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01125404v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jerome Lafont, Claire Jacques, Gwenvael Le Dreau, Frederico Calhabeu, Helene Thibout, et al.. New Target Genes for NOV\/CCN3 in Chondrocytes: TGF-\u03b22 and Type X Collagen. <i>Journal of Bone and Mineral Research<\/i>, 2005, 20 (12), pp.2213-2223. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1359\/JBMR.050818\">&#x27E8;10.1359\/JBMR.050818&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03824118v1\">&#x27E8;hal-03824118&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-03824118v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2004<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Karim Berkani, Catherine Dubois, Alain Faivre, J?r?me Falampin. Validation des r\u00e8gles de base de l'Atelier B. <i>Revue des Sciences et Technologies de l'Information - S\u00e9rie TSI : Technique et Science Informatiques<\/i>, 2004, 23, pp.855-878. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01124962v1\">&#x27E8;hal-01124962&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01124962v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2002<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Franck Ledoux, Jean-Marc Mota, Agn\u00e8s Arnould, Catherine Dubois, Pascale Le Gall, et al.. Sp\u00e9cifications formelles du chanfreinage. <i>Revue des Sciences et Technologies de l'Information - S\u00e9rie TSI : Technique et Science Informatiques<\/i>, 2002, 21 (8), pp.1-26. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00352083v1\">&#x27E8;hal-00352083&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-00352083\/file\/TSI2001_2.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-00352083\/file\/TSI2001_2.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-00352083\/file\/TSI2001_2.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-00352083v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='Rubrique'>Communication dans un congr\u00e8s<\/p>\n<p class='SousRubrique'>2025<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois. Domaines formellement v\u00e9rifi\u00e9s. <i>JFPC 2025 - Journ\u00e9es Francophones de Programmation par Contraintes<\/i>, H\u00e9l\u00e8ne Verhaeghe (UCLouvain, Belgique), Jun 2025, Dijon, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05231818v1\">&#x27E8;hal-05231818&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-05231818\/file\/JFPC25_paper_25.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-05231818\/file\/JFPC25_paper_25.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-05231818\/file\/JFPC25_paper_25.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-05231818v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2024<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Maximiliano Cristi\u00e1, Catherine Dubois. Comparing eventB, {log} and why3 models of sparse sets. <i>35es Journ\u00e9es Francophones des Langages Applicatifs(JFLA)<\/i>, Jan 2024, Saint-Jacut-de-la-Mer, France. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.48550\/arXiv.2307.03974\">&#x27E8;10.48550\/arXiv.2307.03974&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04407130v1\">&#x27E8;hal-04407130&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-04407130\/file\/jfla2024-paper-71.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-04407130\/file\/jfla2024-paper-71.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-04407130\/file\/jfla2024-paper-71.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04407130v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois. Deductive Verification of Sparse Sets in Why3. <i>VSTTE 2024 - 16th International Conference on Verified Software: Theories, Tools, and Experiments<\/i>, Azalea Raad; Jonathan Protzenko, Oct 2024, Prague, Czech Republic. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04863059v1\">&#x27E8;hal-04863059&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-04863059\/file\/vstte_postproceedings.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-04863059\/file\/vstte_postproceedings.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-04863059\/file\/vstte_postproceedings.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04863059v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2023<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Am\u00e9lie Ledein, Valentin Blot, Catherine Dubois. A semantics of K into dedukti. <i>TYPES 2022 - 28th International Conference on Types for Proofs and Programs (TYPES)<\/i>, Jul 2023, Nantes, France. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4230\/LIPIcs.TYPES.2022.23\">&#x27E8;10.4230\/LIPIcs.TYPES.2022.23&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03895834v2\">&#x27E8;hal-03895834v2&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-03895834\/file\/LIPIcs.TYPES.2022.12.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-03895834\/file\/LIPIcs.TYPES.2022.12.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-03895834\/file\/LIPIcs.TYPES.2022.12.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-03895834v2\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2022<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Nicolas Magaud, Alain Giorgetti. Pragmatic isomorphism proofs between coq representations: application to lambda-term families. <i>28th International Conference on Types for Proofs and Programs (TYPES 2022)<\/i>, Jun 2022, Nantes, France. pp.11:1-11:19, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4230\/LIPIcs.TYPES.2022.11\">&#x27E8;10.4230\/LIPIcs.TYPES.2022.11&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04245455v1\">&#x27E8;hal-04245455&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-04245455\/file\/906251f5-cd51-46c3-98a7-79cb0b561fbc-author.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-04245455\/file\/906251f5-cd51-46c3-98a7-79cb0b561fbc-author.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-04245455\/file\/906251f5-cd51-46c3-98a7-79cb0b561fbc-author.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04245455v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Am\u00e9lie Ledein, Valentin Blot, Catherine Dubois. Vers une traduction de K en Dedukti. <i>JFLA 2022 - Journ\u00e9es Francophones des Langages Applicatifs (JFLA)<\/i>, Jun 2022, Saint-M\u00e9dard-d'Excideuil, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03604962v1\">&#x27E8;hal-03604962&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-03604962\/file\/jfla22_paper_7.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-03604962\/file\/jfla22_paper_7.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-03604962\/file\/jfla22_paper_7.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03604962v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Mathieu Montin, Am\u00e9lie Ledein, Catherine Dubois. LibNDT: towards a formal library on spreadable properties over linked nested datatypes. <i>Ninth Workshop on Mathematically Structured Functional Programming (MSFP)<\/i>, Jeremy Gibbons; Max S. New, Apr 2022, Munich, Germany. pp.27-44, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4204\/eptcs.360.2\">&#x27E8;10.4204\/eptcs.360.2&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-04316452v1\">&#x27E8;hal-04316452&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-04316452\/file\/liblndt.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-04316452\/file\/liblndt.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-04316452\/file\/liblndt.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-04316452v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin P\u00e9pin, et al.. Automatic synthesis of random generators for numerically constrained algebraic recursive types. <i>32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)<\/i>, Sep 2022, Tbilisi, Georgia. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.48550\/arXiv.2208.12747\">&#x27E8;10.48550\/arXiv.2208.12747&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04551862v1\">&#x27E8;hal-04551862&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/arxiv.org\/pdf\/2208.12747\"  target=\"_blank\"><img decoding=\"async\" alt=\"https:\/\/arxiv.org\/pdf\/2208.12747\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/arxiv.gif\" border=\"0\" title=\"arXiv PDF\" width=\"16px\" height=\"16px\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04551862v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2020<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois. Formally verified transformation of non-binary constraints into binary constraints. <i>International Workshop on Functional and Constraint Logic Programming (WFLP)<\/i>, Sep 2020, Bologna, Italy. pp.117-128, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-030-75333-7_7\">&#x27E8;10.1007\/978-3-030-75333-7_7&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04330062v1\">&#x27E8;hal-04330062&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-04330062\/file\/wflp2020_final.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-04330062\/file\/wflp2020_final.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-04330062\/file\/wflp2020_final.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04330062v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Am\u00e9lie Ledein, Catherine Dubois. FaCiLe en Coq : v\u00e9rification formelle des listes d'intervalles. <i>Les 31es Journ\u00e9es Francophones des Langages Applicatifs (JFLA)<\/i>, Jan 2020, Gruisan, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04344249v1\">&#x27E8;hal-04344249&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-04344249\/file\/paper_17.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-04344249\/file\/paper_17.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-04344249\/file\/paper_17.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04344249v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2019<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Virgile Pr\u00e9vosto, Guillaume Burel. Teaching formal methods to future engineers. <i>Third International Workshop and Tutorial, FMTea<\/i>, Sep 2019, Porto, Portugal. pp.69-80, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-030-32441-4_5\">&#x27E8;10.1007\/978-3-030-32441-4_5&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/cea.hal.science\/cea-02874103v1\">&#x27E8;cea-02874103&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/cea.hal.science\/cea-02874103\/file\/Teaching_Formal_Methods_to_Engineers.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/cea.hal.science\/cea-02874103\/file\/Teaching_Formal_Methods_to_Engineers.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/cea.hal.science\/cea-02874103\/file\/Teaching_Formal_Methods_to_Engineers.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/cea.hal.science\/cea-02874103v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Alain Giorgetti, Catherine Dubois, R\u00e9mi Lazarini. Combinatoire formelle avec Why3 et Coq. <i>Journ\u00e9es Francophones des Langages Applicatifs (JFLA)<\/i>, Jan 2019, Les Rousses, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02302086v1\">&#x27E8;hal-02302086&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-02302086\/file\/970c0f52-c8e5-46fb-a50f-b117ee9075bd-author%20%281%29.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-02302086\/file\/970c0f52-c8e5-46fb-a50f-b117ee9075bd-author%20%281%29.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-02302086\/file\/970c0f52-c8e5-46fb-a50f-b117ee9075bd-author%20%281%29.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-02302086v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2018<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson. Exploring properties of a telecommunication protocol with message delay using interactive theorem prover. <i>International Conference on Software Engineering and Formal Methods (SEFM)<\/i>, Jun 2018, Toulouse, France. pp.239-253, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-319-92970-5_15\">&#x27E8;10.1007\/978-3-319-92970-5_15&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04489907v1\">&#x27E8;hal-04489907&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-04489907v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2017<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Luc Adolphe, Benjamin Rousval, Tathiane Martins, Marion Bonhomme, Catherine Dubois. Towards new design tools for integrating environmental criteria in the design process of architectural and urban projects in developing countries. <i>30\u00e8me conf\u00e9rence PLEA (Passive Low Energy Architecture)<\/i>, Dec 2017, Ahmedabad, India. <a target=\"_blank\" href=\"https:\/\/insa-toulouse.hal.science\/hal-02157305v1\">&#x27E8;hal-02157305&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/insa-toulouse.hal.science\/hal-02157305\/file\/PLEA2014_Adolphe.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/insa-toulouse.hal.science\/hal-02157305\/file\/PLEA2014_Adolphe.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/insa-toulouse.hal.science\/hal-02157305\/file\/PLEA2014_Adolphe.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/insa-toulouse.hal.science\/hal-02157305v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Rapha\u00ebl Cauderlier, Catherine Dubois. FoCaLiZe and Dedukti to the rescue for proof interoperability. <i>ITP 2017: International Conference on Interactive Theorem Proving<\/i>, Sep 2017, Bras\u00edlia, Brazil. pp.532, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-319-66107-0_9\">&#x27E8;10.1007\/978-3-319-66107-0_9&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01592243v2\">&#x27E8;hal-01592243v2&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-01592243\/file\/article%20%281%29.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-01592243\/file\/article%20%281%29.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-01592243\/file\/article%20%281%29.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-01592243v2\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Thi-Kim-Zung Pham, Catherine Dubois, Nicole Levy. Une ligne de produits corrects par construction. <i>AFADL 2017: 6\u00e8mes journ\u00e9es des Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels<\/i>, Jun 2017, Montpellier, France. pp.79 - 85. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01670764v1\">&#x27E8;hal-01670764&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01670764v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2016<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Ali Assaf, Guillaume Burel, Raphal Cauderlier, David Delahaye, Gilles Dowek, et al.. Expressing theories in the \u03bb\u03a0-calculus modulo theory and in the Dedukti system. <i>TYPES: Types for Proofs and Programs<\/i>, May 2016, Novi SAd, Serbia. <a target=\"_blank\" href=\"https:\/\/minesparis-psl.hal.science\/hal-01441751v1\">&#x27E8;hal-01441751&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/minesparis-psl.hal.science\/hal-01441751\/file\/A-654.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/minesparis-psl.hal.science\/hal-01441751\/file\/A-654.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/minesparis-psl.hal.science\/hal-01441751\/file\/A-654.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/minesparis-psl.hal.science\/hal-01441751v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Rapha\u00ebl Cauderlier, Catherine Dubois. ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti. <i>ICTAC 2016 - 13th International Colloquium on Theoretical Aspects of Computing<\/i>, Oct 2016, Taipei, Taiwan. pp.459-468, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-319-46750-4_26\">&#x27E8;10.1007\/978-3-319-46750-4_26&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01420638v1\">&#x27E8;hal-01420638&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-01420638\/file\/ICTAC_2016.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-01420638\/file\/ICTAC_2016.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-01420638\/file\/ICTAC_2016.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-01420638v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Alain Giorgetti, Richard Genestier. Tests and proofs for enumerative combinatorics. <i>TAP 2016: International Conference on Tests and Proofs<\/i>, Jul 2016, Vienna, Austria. pp.57-75, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-319-41135-4_4\">&#x27E8;10.1007\/978-3-319-41135-4_4&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01670709v1\">&#x27E8;hal-01670709&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-01670709\/file\/TPEC2016.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-01670709\/file\/TPEC2016.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-01670709\/file\/TPEC2016.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-01670709v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Antonin Butant, Sourour Elloumi. Preuve formelle et contrainte alldiff. <i>ROADEF 2016 : 17e conf\u00e9rence de la soci\u00e9t\u00e9 fran\u00e7aise de Recherche Op\u00e9rationnelle et d'Aide \u00e0 la D\u00e9cision<\/i>, Feb 2016, Compi\u00e8gne, France. pp.1 - 2. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01670972v1\">&#x27E8;hal-01670972&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01670972v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2015<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Marion Bonhomme, Catherine Dubois, Luc Adolphe, Genevieve Cloutier, Serge Faraut, et al.. The CapaCities project: from Concepts to Actions for a Proactive Adaptation of Cities. <i>9\u00e8me conf\u00e9rence ICUC (International Conference on Urban Climate)<\/i>, Jul 2015, Toulouse, France. <a target=\"_blank\" href=\"https:\/\/insa-toulouse.hal.science\/hal-02157093v1\">&#x27E8;hal-02157093&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/insa-toulouse.hal.science\/hal-02157093v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Sourour Elloumi, Benoit Robillard, Cl\u00e9ment Vincent. Graphes et couplages en Coq. <i>Vingt-sixi\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2015)<\/i>, Jan 2015, Le Val d'Ajol, France. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01099140v1\">&#x27E8;hal-01099140&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-01099140\/file\/jfla15_submission_36.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-01099140\/file\/jfla15_submission_36.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-01099140\/file\/jfla15_submission_36.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-01099140v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Alain Giorgetti, Catherine Dubois, Noam Zeilberger. Lambda terms and maps, formally. <i>Workshop on Computational Logic and Applications<\/i>, Mar 2015, Lyon, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03221915v1\">&#x27E8;hal-03221915&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-03221915v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Thi-Kim-Zung Pham, Catherine Dubois, Nicole L\u00e9vy. Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules. <i>6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE)<\/i>, Apr 2015, London, United Kingdom. pp.44-55, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4204\/EPTCS.182.4\">&#x27E8;10.4204\/EPTCS.182.4&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal-lirmm.ccsd.cnrs.fr\/lirmm-02464897v1\">&#x27E8;lirmm-02464897&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal-lirmm.ccsd.cnrs.fr\/lirmm-02464897\/file\/PDL15.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal-lirmm.ccsd.cnrs.fr\/lirmm-02464897\/file\/PDL15.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal-lirmm.ccsd.cnrs.fr\/lirmm-02464897\/file\/PDL15.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal-lirmm.ccsd.cnrs.fr\/lirmm-02464897v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau. Configuration en langue naturelle du fonctionnement d'une maison intelligente. <i>14\u00e8mes journ\u00e9es Approches Formelles dans l'Assistance au D\u00e9veloppement Logiciel, AFADL,<\/i>, Jun 2015, Bordeaux, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01378152v1\">&#x27E8;hal-01378152&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01378152v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2014<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Rapha\u00ebl Cauderlier, Ali Assaf, Catherine Dubois. Objects and subtyping in the lambda-Pi-calculus modulo. <i>TYPES 2014<\/i>, May 2014, Paris, France. pp.2. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01126394v1\">&#x27E8;hal-01126394&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01126394v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">David Delahaye, Catherine Dubois, Claude March\u00e9, David Mentr\u00e9. The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations. <i>Abstract State Machines, Alloy, B, VDM, and Z<\/i>, Jun 2014, Toulouse, France. pp.290-293, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-662-43652-3_26\">&#x27E8;10.1007\/978-3-662-43652-3_26&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-00998092v1\">&#x27E8;hal-00998092&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-00998092\/file\/bware_ABZ_14_.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-00998092\/file\/bware_ABZ_14_.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-00998092\/file\/bware_ABZ_14_.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-00998092v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Renaud Rioboo. Verified functional iterators using the FoCaLiZe environment. <i>Software Engineering and Formal Methods<\/i>, Sep 2014, X, France. pp.317--331. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01126458v1\">&#x27E8;hal-01126458&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01126458v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau. Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology. <i>RuleML<\/i>, Aug 2014, Prague, Czech Republic. pp.226-235, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-319-09870-8_17\">&#x27E8;10.1007\/978-3-319-09870-8_17&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01126517v1\">&#x27E8;hal-01126517&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-01126517\/file\/RuleML.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-01126517\/file\/RuleML.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-01126517\/file\/RuleML.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-01126517v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2013<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">David Delahaye, Catherine Dubois, Pierre-Nicolas Tollitte. RelExt : Synth\u00e8se de code \u00e0 partir de sp\u00e9cifications inductives. <i>AFADL 2013<\/i>, Apr 2013, Nancy, France. 4 p. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01126320v1\">&#x27E8;hal-01126320&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01126320v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nobrega, Ileana Ober, et al.. Research Questions for Validation and Verification in the Context of Model-Based Engineering. <i>International Workshop on Model Driven Engineering, Verification and Validation - MoDeVVA 2013<\/i>, Oct 2013, Miami, United States. pp. 67-76. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01144308v1\">&#x27E8;hal-01144308&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-01144308\/file\/Dubois_12880.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-01144308\/file\/Dubois_12880.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-01144308\/file\/Dubois_12880.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-01144308v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Arnaud Gotlieb. Solveurs CP(FD) v\u00e9rifi\u00e9s formellement. <i>Neuvi?mes Journ?es Francophones de Programmation par Contraintes (JFPC 2013)<\/i>, Jun 2013, Aix-en-Provence, France. pp.115-118. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01126318v1\">&#x27E8;hal-01126318&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01126318v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau. Peuplement d\u2019une ontologie guid\u00e9 par l\u2019identification d\u2019instances de propri\u00e9t\u00e9. <i>10th International Conference on Terminology and Artificial Intelligence (TIA'2013)<\/i>, Oct 2013, Paris, France. pp.145-152. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02296903v1\">&#x27E8;hal-02296903&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-02296903\/file\/tia-publie.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-02296903\/file\/tia-publie.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-02296903\/file\/tia-publie.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-02296903v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau. From Natural Language Requirements to Formal Specification Using an Ontology. <i>IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013)<\/i>, Nov 2013, Herndon, VA, United States. pp.755-760, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/ICTAI.2013.116\">&#x27E8;10.1109\/ICTAI.2013.116&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01126372v1\">&#x27E8;hal-01126372&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-01126372\/file\/ictai2013.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-01126372\/file\/ictai2013.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-01126372\/file\/ictai2013.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-01126372v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2012<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Karim Berkani, David Delahaye, Catherine Dubois, M\u00e9lanie Jacquel, Martin Keogh, et al.. BCARe : un environnement pour la v\u00e9rification de r\u00e8gles de l?Atelier B. <i>Approches Formelles dans l'Assistance au D?veloppement de Logiciels (AFADL 2012)<\/i>, Jan 2012, Grenoble, France. pp.46-49. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01126033v1\">&#x27E8;hal-01126033&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01126033v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb. A certified constraint solver over finite domains. <i>Formal Methods (FM 2012) (ex FME)<\/i>, Aug 2012, Paris, France. pp.116-131. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01126135v1\">&#x27E8;hal-01126135&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01126135v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb. A first step in the design of a formally verified constraint-based testing tool: FocalTest. <i>Tests and Proofs<\/i>, May 2012, Prague, Czech Republic. pp.35--50. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01126115v1\">&#x27E8;hal-01126115&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01126115v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">M\u00e9lanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois. Tableaux Modulo Theories Using Superdeduction. <i>IJCAR 2012 - 6th International Joint Conference on Automated Reasoning<\/i>, Jun 2012, Manchester, UK, United Kingdom. pp.1 - 13, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-642-31365-3_26\">&#x27E8;10.1007\/978-3-642-31365-3_26&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01099338v1\">&#x27E8;hal-01099338&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-01099338\/file\/tab-sded.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-01099338\/file\/tab-sded.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-01099338\/file\/tab-sded.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-01099338v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">M\u00e9lanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois. Tableaux Modulo Theories using Superdeduction: An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover. <i>International Joint Conference on Automated Reasoning (IJCAR 2012)<\/i>, Jun 2012, Manchester, Ukraine. pp.332--338. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01126134v1\">&#x27E8;hal-01126134&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01126134v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Fran\u00e7ois Pessaux, Vincent Benayoun, Catherine Dubois, Philippe Ayrault. ML Dependency Analysis for Assessors. <i>Software Engineering and Formal Methods (SEFM) 2012<\/i>, Oct 2012, Thessaloniki, Greece. pp.278-292, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-642-33826-7_19\">&#x27E8;10.1007\/978-3-642-33826-7_19&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01203505v1\">&#x27E8;hal-01203505&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-01203505\/file\/ML_deps_assess.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-01203505\/file\/ML_deps_assess.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-01203505\/file\/ML_deps_assess.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-01203505v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau. Formalisation en OWL pour v\u00e9rifier les sp\u00e9cifications d'un environnement intelligent. <i>RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle)<\/i>, Jan 2012, Lyon, France. pp.978-2-9539515-2-3. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00656526v1\">&#x27E8;hal-00656526&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-00656526\/file\/rfia2012_submission_117.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-00656526\/file\/rfia2012_submission_117.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-00656526\/file\/rfia2012_submission_117.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-00656526v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Pierre-Nicolas Tollitte, David Delahaye, Catherine Dubois. Producing Certified Functional Code from Inductive Specifications. <i>International Conference on Certified Programs and Proofs (CPP 2012)<\/i>, Dec 2012, Kyoto, Japan. pp.76-91. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01126212v1\">&#x27E8;hal-01126212&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01126212v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2011<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois. Tutorial: introduction to Coq. <i>TOOLS 2011<\/i>, Jun 2011, Zurich, Switzerland. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01126146v1\">&#x27E8;hal-01126146&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01126146v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, B. Grau. An ontology for the conceptualization of an intelligent environment and its operation. <i>10th Mexican International Conference on Artificial Intelligence (MICAI 2011)<\/i>, Nov 2011, Puebla, Mexico. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/MICAI.2011.32\">&#x27E8;10.1109\/MICAI.2011.32&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00808002v1\">&#x27E8;hal-00808002&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-00808002\/file\/Conceptualization_of_intelligent_environment.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-00808002\/file\/Conceptualization_of_intelligent_environment.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-00808002\/file\/Conceptualization_of_intelligent_environment.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-00808002v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2010<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Mathieu Carlier, Catherine Dubois, Arnaud Gotlieb. Constraint Reasoning in FocalTest. <i>ICSOFT<\/i>, Jul 2010, Ath\u00e8nes, Greece. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-00699233v1\">&#x27E8;hal-00699233&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-00699233\/file\/paper.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-00699233\/file\/paper.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-00699233\/file\/paper.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-00699233v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">David Delahaye, Catherine Dubois, Pierre-Nicolas Tollitte. G\u00e9n\u00e9ration de code fonctionnel certifi\u00e9 \u00e0 partir de sp\u00e9cifications inductives dans l'environnement Focalize. <i>Journ?es Francophones des Langages Applicatifs (JFLA'10)<\/i>, Jan 2010, La Ciotat, France. pp.55-81. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01125723v1\">&#x27E8;hal-01125723&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01125723v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2009<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Matthieu Carlier, Catherine Dubois, Lionel Habib, Mathieu Jaume. Politique de contr\u00f4le d'acc\u00e8s multi-niveaux : test de conformit\u00e9 vis \u00e0 vis des flots avec l'outil FoCaL. <i>AFADL'09 - Approches formelles dans l'assistance au d\u00e9veloppement des Logiciels<\/i>, Jan 2009, Toulouse, France. pp.145-160. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01125619v1\">&#x27E8;hal-01125619&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01125619v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2008<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Philippe Ayrault, Matthieu Carlier, David Delahaye, Catherine Dubois, Damien Doligez, et al.. Trusted Software within Focal. <i>C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous<\/i>, Dec 2008, Rennes, France. pp.162-179. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01125667v2\">&#x27E8;hal-01125667v2&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-01125667\/file\/cesar.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-01125667\/file\/cesar.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-01125667\/file\/cesar.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-01125667v2\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Matthieu Carlier. Functional Testing in the Focal environment. <i>Tests and Proofs (TAP 2008)<\/i>, Apr 2008, Prato, Italy. pp.84-98. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01125411v1\">&#x27E8;hal-01125411&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01125411v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2007<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">David Delahaye, Catherine Dubois, Jean-Fr\u00e9d\u00e9ric Etienne. Extracting Purely Functional Contents from Logical Inductive Types. <i>TPHOLs'07 Theorem Proving in Higher Order Logics, Kaiserslautern (Germany)<\/i>, Jan 2007, X, France. pp.70-85. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01125370v1\">&#x27E8;hal-01125370&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01125370v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Eric Jaeger, Catherine Dubois. Why Would You Trust B?. <i>Logic for Programming, Artificial Intelligence, and Reasoning<\/i>, Nov 2007, Yerevan, Armenia. pp.288-302, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-540-75560-9\">&#x27E8;10.1007\/978-3-540-75560-9&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00363345v1\">&#x27E8;hal-00363345&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-00363345\/file\/BiCoq.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-00363345\/file\/BiCoq.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-00363345\/file\/BiCoq.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-00363345v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">R\u00e9gine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, et al.. Using Computer Science Modeling Techniques for Airport Security Certification. <i>RCIS''07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate<\/i>, Jan 2007, X, France. pp.61-72. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01125403v1\">&#x27E8;hal-01125403&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01125403v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2006<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Jean-Marc Mota. A formally verified geometric modelling core. <i>SERP'06 - Int. Conf. on Software Engineering Research and Practice, Las Vegas, USA,<\/i>, Jan 2006, X, France. pp.643-649. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01125234v1\">&#x27E8;hal-01125234&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01125234v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Yves Ledru, R\u00e9gine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, et al.. An attempt to combine UML and formal methods to model airport security. <i>CAISE\u009206 Forum<\/i>, Jan 2006, X, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01125236v1\">&#x27E8;hal-01125236&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01125236v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jean-Marc Mota, Catherine Dubois. Raffinement de donn\u00e9es en B \u00e9v\u00e9nementiel pour les algorithmes g\u00e9om\u00e9triques. <i>AFADL'06 - Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels, Paris, France. 200<\/i>, Jan 2006, X, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01125235v1\">&#x27E8;hal-01125235&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01125235v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2005<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">R\u00e9gine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, et al.. Application of Requirements Engineering Techniques to the Analysis of Civil Aviation Security Standards. <i>SREP'05 International Workshop, In conjunction with 13th IEEE International Requirements Engineering<\/i>, Jan 2005, X, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01125097v1\">&#x27E8;hal-01125097&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01125097v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">R\u00e9gine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, et al.. Application of Requirements Analysis Techniques to the analysis of civil aviation security standards. <i>SREP'05 - Proceedings of the First International Workshop on Situational Requirements Engineering Processes: Methods, Techniques and Tools to Support Situation-Specific Requirements Engineering Processes. Organized by IFIP WG8.1 Method Engineering Task Group, In conjunction with the 13th IEEE International Requirements Engineering Conference<\/i>, 2005, Paris, France. pp.91--106. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01224666v1\">&#x27E8;hal-01224666&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01224666v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2004<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Th\u00e9r\u00e8se Hardin, V\u00e9ronique Viguie Donzeau-Gouge. Building certified components within FOCAL. <i>TFP 2004 - 5th Symposium on Trends in Functional Programming<\/i>, Nov 2004, Munich, Germany. pp.33-48. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01520668v1\">&#x27E8;hal-01520668&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01520668v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Mathieu Jaume, Olivier Pons, Virgile Pr\u00e9vosto. L'atelier Focal. <i>AFADL, session outils<\/i>, Jan 2004, X, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01125052v1\">&#x27E8;hal-01125052&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01125052v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2003<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Karim Berkani, Catherine Dubois, Alain Faivre, J?r?me Falampin. \nValidation des r\u00e8gles de base de l'Atelier B. <i>AFADL'03<\/i>, Jan 2003, X, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01124791v1\">&#x27E8;hal-01124791&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01124791v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, J\u00e9r\u00f4me Grandguillot, Mathieu Jaume. R\u00e9utilisation de preuves - Une \u00e9tude pour le syst\u00e8me Foc. <i>Journ\u00e9es francophones des langages applicatifs<\/i>, Jan 2003, X, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01124792v1\">&#x27E8;hal-01124792&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01124792v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, J\u00e9r\u00f4me Grandguillot, Mathieu Jaume. R\u00e9utilisation de preuves formelles : une \u00e9tude pour le syst\u00e8me Foc. <i>Journ\u00e9es Francophones des Langages Applicatifs, JFLA'03<\/i>, Jan 2003, Chamrousse, France. pp.63-76. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01530419v1\">&#x27E8;hal-01530419&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01530419v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2001<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Olivier Boite, Catherine Dubois. Proving Type Soundness of a Simply Typed ML-like Language with References. <i>TPHOLs2001<\/i>, Jan 2001, X, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01124763v1\">&#x27E8;hal-01124763&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01124763v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">F. Ledoux, Jean-Marc Mota, A. Arnould, Catherine Dubois, P. Le Gall, et al.. Sp\u00e9cifications formelles du chanfreinage. <i>AFADL2001<\/i>, Jan 2001, X, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01124624v1\">&#x27E8;hal-01124624&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01124624v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2000<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">M. Aiguier, D. Bahrami, Catherine Dubois. Axioms for Rewriting Theory. <i>PLI 2000, Workshop RULE 2000 : First International Workshop on Rule-Based Programming Montreal, Cana<\/i>, Jan 2000, X, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01124623v1\">&#x27E8;hal-01124623&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01124623v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='Rubrique'>Chapitre d'ouvrage<\/p>\n<p class='SousRubrique'>2004<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Valerie Menissier-Morain. Apprentissage de la programmation avec OCaml. <i>Apprentissage de la programmation avec OCaml<\/i>, 2004. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01124971v1\">&#x27E8;hal-01124971&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01124971v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='Rubrique'>N\u00b0sp\u00e9cial de revue\/special issue<\/p>\n<p class='SousRubrique'>2017<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Paolo Masci, Dominique M\u00e9ry. Proceedings of the Third Workshop on Formal Integrated Development               Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. Nov 2016, Cyprus. <i>Electronic Proceedings in Theoretical Computer Science<\/i>, 240, 2017, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4204\/EPTCS.240\">&#x27E8;10.4204\/EPTCS.240&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01652413v1\">&#x27E8;hal-01652413&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/inria.hal.science\/hal-01652413v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='Rubrique'>Ouvrages<\/p>\n<p class='SousRubrique'>2021<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Mireille Blay-Fornarino, Catherine Dubois, Alain Giorgetti, Nikolai Kosmatov. Actes des journ\u00e9es du GDR GPL 2021. 2021. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03658364v1\">&#x27E8;hal-03658364&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-03658364\/file\/book-gdr-gpl-2021-fr.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-03658364\/file\/book-gdr-gpl-2021-fr.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-03658364\/file\/book-gdr-gpl-2021-fr.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03658364v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2015<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Paolo Masci, Dominique M\u00e9ry (Dir.). Second International Workshop on Formal Integrated Development Environment. EPTCS, 187, 2015, EPTCS <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4204\/EPTCS.187\">&#x27E8;10.4204\/EPTCS.187&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01246691v1\">&#x27E8;hal-01246691&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/inria.hal.science\/hal-01246691v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2014<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">David Delahaye, Catherine Dubois (Dir.). Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014. Informal proceedings. 2014. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01126518v1\">&#x27E8;hal-01126518&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01126518v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, R\u00e9gine Laleau. Actes de la 13 \u00e8me \u00e9dition d'AFADL, atelier francophone sur les Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels, juin 2014.. Catherine Dubois, R\u00e9gine Laleau. AFADL, pp.140, 2014. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00997676v1\">&#x27E8;hal-00997676&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-00997676\/file\/actes_AFADL2014.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-00997676\/file\/actes_AFADL2014.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-00997676\/file\/actes_AFADL2014.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-00997676v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Dimitra Giannakopoulou, Dominique M\u00e9ry (Dir.). Proceedings 1st Workshop on Formal Integrated Development Environment. Catherine Dubois; Dimitra Giannakopoulou; Dominique M\u00e9ry. EPTCS, 149, pp.105, 2014, Electronic Proceedings in Theoretical Computer Science, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4204\/EPTCS.149\">&#x27E8;10.4204\/EPTCS.149&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-00987531v1\">&#x27E8;hal-00987531&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/arxiv.org\/pdf\/1404.5785\"  target=\"_blank\"><img decoding=\"async\" alt=\"https:\/\/arxiv.org\/pdf\/1404.5785\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/arxiv.gif\" border=\"0\" title=\"arXiv PDF\" width=\"16px\" height=\"16px\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-00987531v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Laurence Duchien, Nicole Levy (Dir.). Actes des Sixi\u00e8mes journ\u00e9es nationales du Groupement De Recherche CNRS du G\u00e9nie de la Programmation et du Logiciel. Catherine Dubois; Laurence Duchien; Nicole Levy. Conservatoire National des Arts et M\u00e9tiers, pp.239, 2014. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01055907v1\">&#x27E8;hal-01055907&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-01055907\/file\/201404_actes-gdr-gpl.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-01055907\/file\/201404_actes-gdr-gpl.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-01055907\/file\/201404_actes-gdr-gpl.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-01055907v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2004<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Val\u00e9rie M\u00e9nissier-Morain. Apprentissage de la programmation avec OCaml. Herm\u00e8s Sciences, 2004. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01520389v1\">&#x27E8;hal-01520389&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01520389v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='Rubrique'>Poster de conf\u00e9rence<\/p>\n<p class='SousRubrique'>2016<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Thi-Kim-Dung Pham, Catherine Dubois, Nicole Levy. Vers un d\u00e9veloppement formel non incr\u00e9mental. <i>AFADL 2016 : 15\u00e8mes journ\u00e9es des Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels<\/i>, Jun 2016, Besan\u00e7on, France. Edit\u00e9s par Aur\u00e9lie Hurault et Nicolas Stouls, pp.106 - 113. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01677923v1\">&#x27E8;hal-01677923&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01677923v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='Rubrique'>Proceedings\/Recueil des communications<\/p>\n<p class='SousRubrique'>2023<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Pierluigi San Pietro. Formal methods teaching, 5th international workshop, FMTea 2023. <i>5th International Workshop (FMTea)<\/i>, 13962, Springer Nature Switzerland, 2023, Lecture Notes in Computer Science, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-031-27534-0\">&#x27E8;10.1007\/978-3-031-27534-0&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04343457v1\">&#x27E8;hal-04343457&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-04343457v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Manfred Kerber. Intelligent computer mathematics. <i>Intelligent Computer Mathematics 16th International Conference (CICM )<\/i>, 14101, Springer Nature Switzerland, 2023, Lecture Notes in Computer Science, 978-3-031-42752-7. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-031-42753-4\">&#x27E8;10.1007\/978-3-031-42753-4&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04343372v1\">&#x27E8;hal-04343372&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-04343372v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2022<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Julien Cohen. STAF 2022 workshop proceedings: 10th international workshop on bidirectional transformations (BX 2022), 2nd international workshop on foundations and practice of visual modeling (FPVM 2022) and 2nd international workshop on MDE for smart IoT systems (MeSS 2022). <i>Software Technologies: Applications and Foundations federation of conferences (STAF 2022)<\/i>, 3250, 2022. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04344127v1\">&#x27E8;hal-04344127&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-04344127v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2021<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Steffen Zschaler. 17 th educators symposium at MODELS 2021. <i>17th Educators Symposium at MODELS 2021<\/i>, IEEE, 2021, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/MODELS-C53483.2021.00112\">&#x27E8;10.1109\/MODELS-C53483.2021.00112&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04343448v1\">&#x27E8;hal-04343448&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-04343448v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2018<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Burkhart Wolff. Tests and proofs. <i>International Conference on Tests and Proofs (TAP)<\/i>, 10889, Springer International Publishing, 2018, Lecture Notes in Computer Science, 978-3-319-92994-1. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-319-92994-1\">&#x27E8;10.1007\/978-3-319-92994-1&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04489926v1\">&#x27E8;hal-04489926&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-04489926v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2017<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Catherine Dubois, Bruno Woltzenlogel Paleo. Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving. <i>Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017)<\/i>, <i>Electronic Proceedings in Theoretical Computer Science<\/i>, 262, 2017, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4204\/EPTCS.262\">&#x27E8;10.4204\/EPTCS.262&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04489940v1\">&#x27E8;hal-04489940&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/arxiv.org\/pdf\/1712.00898\"  target=\"_blank\"><img decoding=\"async\" alt=\"https:\/\/arxiv.org\/pdf\/1712.00898\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/arxiv.gif\" border=\"0\" title=\"arXiv PDF\" width=\"16px\" height=\"16px\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04489940v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='Rubrique'>Rapport<\/p>\n<p class='SousRubrique'>2017<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Gilles Dowek, Catherine Dubois, Brigitte Pientka, Florian Rabe. Universality of proofs. [Research Report] Ecole Nationale Sup\u00e9rieure d'Informatique pour l'Industrie et l'Entreprise; Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux (Institut Mines-T\u00e9l\u00e9com-T\u00e9l\u00e9com SudParis-CNRS); INRIA Saclay - Ile de France (INRIA); Jacobs University [Bremen]; \u00c9cole normale sup\u00e9rieure - Cachan; McGill University \/ Universit\u00e9 McGill. 2017, pp.24. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01678845v1\">&#x27E8;hal-01678845&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01678845v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2006<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Marianne Simonot, Maria-Virginia Aponte, Catherine Dubois. \u00c9tat de l'art du typage pour l'int\u00e9rop\u00e9rabilit\u00e9 entre composants. [Research Report] CEDRIC-06-1182, CEDRIC Lab\/CNAM. 2006. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01125296v1\">&#x27E8;hal-01125296&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01125296v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2004<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">St\u00e9phane Fechter, Catherine Dubois. Towards a formal definition of the Foc language. [Research Report] lip6.2004.001, LIP6. 2004. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02545623v1\">&#x27E8;hal-02545623&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-02545623\/file\/lip6.2004.001.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-02545623\/file\/lip6.2004.001.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-02545623\/file\/lip6.2004.001.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-02545623v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='Rubrique'>Pr\u00e9-publication, Document de travail<\/p>\n<p class='SousRubrique'>2021<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Mireille Blay-Fornarino, Catherine Dubois, Pierre-Etienne Moreau. GdR G\u00e9nie de la Programmation et du Logiciel, D\u00e9fis 2030. 2021. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03097727v1\">&#x27E8;hal-03097727&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-03097727\/file\/GDR_GPL_DEFIS_2030.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-03097727\/file\/GDR_GPL_DEFIS_2030.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-03097727\/file\/GDR_GPL_DEFIS_2030.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03097727v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2016<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Ali Assaf, Guillaume Burel, Rapha\u00ebl Cauderlier, David Delahaye, Gilles Dowek, et al.. Dedukti: a Logical Framework based on the \u03bb\u03a0-Calculus Modulo Theory. 2016. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-04281492v1\">&#x27E8;hal-04281492&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-04281492\/file\/expressing.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-04281492\/file\/expressing.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-04281492\/file\/expressing.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-04281492v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2015<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Rapha\u00ebl Cauderlier, Catherine Dubois. Objects and subtyping in the \u03bb\u03a0-calculus modulo. 2015. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01097444v2\">&#x27E8;hal-01097444v2&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-01097444\/file\/article_types.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-01097444\/file\/article_types.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-01097444\/file\/article_types.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-01097444v2\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<\/div>\n<\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":4,"featured_media":4305,"parent":2438,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ocean_post_layout":"","ocean_both_sidebars_style":"","ocean_both_sidebars_content_width":0,"ocean_both_sidebars_sidebars_width":0,"ocean_sidebar":"0","ocean_second_sidebar":"0","ocean_disable_margins":"enable","ocean_add_body_class":"","ocean_shortcode_before_top_bar":"","ocean_shortcode_after_top_bar":"","ocean_shortcode_before_header":"","ocean_shortcode_after_header":"","ocean_has_shortcode":"","ocean_shortcode_after_title":"","ocean_shortcode_before_footer_widgets":"","ocean_shortcode_after_footer_widgets":"","ocean_shortcode_before_footer_bottom":"","ocean_shortcode_after_footer_bottom":"","ocean_display_top_bar":"default","ocean_display_header":"default","ocean_header_style":"","ocean_center_header_left_menu":"0","ocean_custom_header_template":"0","ocean_custom_logo":0,"ocean_custom_retina_logo":0,"ocean_custom_logo_max_width":0,"ocean_custom_logo_tablet_max_width":0,"ocean_custom_logo_mobile_max_width":0,"ocean_custom_logo_max_height":0,"ocean_custom_logo_tablet_max_height":0,"ocean_custom_logo_mobile_max_height":0,"ocean_header_custom_menu":"0","ocean_menu_typo_font_family":"0","ocean_menu_typo_font_subset":"","ocean_menu_typo_font_size":0,"ocean_menu_typo_font_size_tablet":0,"ocean_menu_typo_font_size_mobile":0,"ocean_menu_typo_font_size_unit":"px","ocean_menu_typo_font_weight":"","ocean_menu_typo_font_weight_tablet":"","ocean_menu_typo_font_weight_mobile":"","ocean_menu_typo_transform":"","ocean_menu_typo_transform_tablet":"","ocean_menu_typo_transform_mobile":"","ocean_menu_typo_line_height":0,"ocean_menu_typo_line_height_tablet":0,"ocean_menu_typo_line_height_mobile":0,"ocean_menu_typo_line_height_unit":"","ocean_menu_typo_spacing":0,"ocean_menu_typo_spacing_tablet":0,"ocean_menu_typo_spacing_mobile":0,"ocean_menu_typo_spacing_unit":"","ocean_menu_link_color":"","ocean_menu_link_color_hover":"","ocean_menu_link_color_active":"","ocean_menu_link_background":"","ocean_menu_link_hover_background":"","ocean_menu_link_active_background":"","ocean_menu_social_links_bg":"","ocean_menu_social_hover_links_bg":"","ocean_menu_social_links_color":"","ocean_menu_social_hover_links_color":"","ocean_disable_title":"default","ocean_disable_heading":"default","ocean_post_title":"","ocean_post_subheading":"","ocean_post_title_style":"","ocean_post_title_background_color":"","ocean_post_title_background":0,"ocean_post_title_bg_image_position":"","ocean_post_title_bg_image_attachment":"","ocean_post_title_bg_image_repeat":"","ocean_post_title_bg_image_size":"","ocean_post_title_height":0,"ocean_post_title_bg_overlay":0.5,"ocean_post_title_bg_overlay_color":"","ocean_disable_breadcrumbs":"default","ocean_breadcrumbs_color":"","ocean_breadcrumbs_separator_color":"","ocean_breadcrumbs_links_color":"","ocean_breadcrumbs_links_hover_color":"","ocean_display_footer_widgets":"default","ocean_display_footer_bottom":"default","ocean_custom_footer_template":"0","footnotes":""},"class_list":["post-3513","page","type-page","status-publish","has-post-thumbnail","hentry","entry","has-media"],"_links":{"self":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages\/3513","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/comments?post=3513"}],"version-history":[{"count":1,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages\/3513\/revisions"}],"predecessor-version":[{"id":3514,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages\/3513\/revisions\/3514"}],"up":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages\/2438"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media\/4305"}],"wp:attachment":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media?parent=3513"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}