Article dans une revue

2016

ref_biblio

Catherine Dubois, Genevieve Cloutier, Maja Rosenkilde Rynning, Luc Adolphe, Marion Bonhomme. City and Building Designers, and Climate Adaptation. Buildings, 2016, 6 (3), pp.28. ⟨10.3390/buildings6030028⟩. ⟨hal-02155859⟩

Accès au texte intégral et bibtex

2007

ref_biblio

Jean Marc Mota, Catherine Dubois. Raffinement de modèles topologiques : des droites aux 2-G-cartes. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2007, 26, pp.883-908. ⟨hal-01125402⟩

Accès au bibtex

2005

ref_biblio

Catherine Dubois. Typage, sûreté et sécurité. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2005, 24, pp.1187-1190. ⟨hal-01125404⟩

Accès au bibtex

2004

ref_biblio

Karim Berkani, Catherine Dubois, Alain Faivre, J?r?me Falampin. Validation des règles de base de l'Atelier B. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, 23, pp.855-878. ⟨hal-01124962⟩

Accès au bibtex

Communication dans un congrès

2019

ref_biblio

Catherine Dubois, Virgile Prévosto, Guillaume Burel. Teaching Formal Methods to Future Engineers. Third International Workshop and Tutorial, FMTea, Sep 2019, Porto, Portugal. pp.69-80, ⟨10.1007/978-3-030-32441-4_5⟩. ⟨cea-02874103⟩

Accès au texte intégral et bibtex

2017

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. 30ème conférence PLEA (Passive Low Energy Architecture), Dec 2017, Ahmedabad, India. ⟨hal-02157305⟩

Accès au texte intégral et bibtex

ref_biblio

Raphaël Cauderlier, Catherine Dubois. FoCaLiZe and Dedukti to the rescue for proof interoperability. ITP 2017: International Conference on Interactive Theorem Proving, Sep 2017, Brasília, Brazil. pp.532, ⟨10.1007/978-3-319-66107-0_9⟩. ⟨hal-01592243v2⟩

Accès au texte intégral et bibtex

2014

ref_biblio

Raphaël Cauderlier, Ali Assaf, Catherine Dubois. Objects and subtyping in the lambda-Pi-calculus modulo. TYPES 2014, May 2014, Paris, France. pp.2. ⟨hal-01126394⟩

Accès au bibtex

ref_biblio

David Delahaye, Catherine Dubois, Claude Marché, David Mentré. The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations. Abstract State Machines, Alloy, B, VDM, and Z, Jun 2014, Toulouse, France. pp.290-293. ⟨hal-00998092⟩

Accès au texte intégral et bibtex

ref_biblio

Catherine Dubois, Renaud Rioboo. Verified functional iterators using the FoCaLiZe environment. Software Engineering and Formal Methods, Sep 2014, X, France. pp.317--331. ⟨hal-01126458⟩

Accès au bibtex

ref_biblio

Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau. Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology. RuleML, Aug 2014, Prague, Czech Republic. pp.226-235, ⟨10.1007/978-3-319-09870-8_17⟩. ⟨hal-01126517⟩

Accès au texte intégral et bibtex

2013

ref_biblio

David Delahaye, Catherine Dubois, Pierre-Nicolas Tollitte. RelExt : Synthèse de code à partir de spécifications inductives. AFADL 2013, Apr 2013, Nancy, France. 4 p. ⟨hal-01126320⟩

Accès au bibtex

ref_biblio

Catherine Dubois, Arnaud Gotlieb. Solveurs CP(FD) vérifiés formellement. Neuvi?mes Journ?es Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix-en-Provence, France. pp.115-118. ⟨hal-01126318⟩

Accès au bibtex

ref_biblio

Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau. From Natural Language Requirements to Formal Specification Using an Ontology. IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), Nov 2013, Herndon, VA, United States. pp.755-760, ⟨10.1109/ICTAI.2013.116⟩. ⟨hal-01126372⟩

Accès au texte intégral et bibtex

2012

ref_biblio

Karim Berkani, David Delahaye, Catherine Dubois, Mélanie Jacquel, Martin Keogh, et al.. BCARe : un environnement pour la vérification de règles de l?Atelier B. Approches Formelles dans l'Assistance au D?veloppement de Logiciels (AFADL 2012), Jan 2012, Grenoble, France. pp.46-49. ⟨hal-01126033⟩

Accès au bibtex

ref_biblio

Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb. A first step in the design of a formally verified constraint-based testing tool: FocalTest. Tests and Proofs, May 2012, Prague, Czech Republic. pp.35--50. ⟨hal-01126115⟩

Accès au bibtex

ref_biblio

Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb. A certified constraint solver over finite domains. Formal Methods (FM 2012) (ex FME), Aug 2012, Paris, France. pp.116-131. ⟨hal-01126135⟩

Accès au bibtex

ref_biblio

Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois. Tableaux Modulo Theories Using Superdeduction. IJCAR 2012 - 6th International Joint Conference on Automated Reasoning, Jun 2012, Manchester, UK, United Kingdom. pp.1 - 13, ⟨10.1007/978-3-642-31365-3_26⟩. ⟨hal-01099338⟩

Accès au texte intégral et bibtex

ref_biblio

Mélanie 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. International Joint Conference on Automated Reasoning (IJCAR 2012), Jun 2012, Manchester, Ukraine. pp.332--338. ⟨hal-01126134⟩

Accès au bibtex

ref_biblio

François Pessaux, Vincent Benayoun, Catherine Dubois, Philippe Ayrault. ML Dependency Analysis for Assessors. Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. pp.278-292, ⟨10.1007/978-3-642-33826-7_19⟩. ⟨hal-01203505⟩

Accès au texte intégral et bibtex

ref_biblio

Pierre-Nicolas Tollitte, David Delahaye, Catherine Dubois. Producing Certified Functional Code from Inductive Specifications. International Conference on Certified Programs and Proofs (CPP 2012), Dec 2012, Kyoto, Japan. pp.76-91. ⟨hal-01126212⟩

Accès au bibtex

2011

ref_biblio

Catherine Dubois. Tutorial: introduction to Coq. TOOLS 2011, Jun 2011, Zurich, Switzerland. ⟨hal-01126146⟩

Accès au bibtex

2010

ref_biblio

Mathieu Carlier, Catherine Dubois, Arnaud Gotlieb. Constraint Reasoning in FocalTest. ICSOFT, Jul 2010, Athènes, Greece. ⟨hal-00699233⟩

Accès au texte intégral et bibtex

ref_biblio

David Delahaye, Catherine Dubois, Pierre-Nicolas Tollitte. Génération de code fonctionnel certifié à partir de spécifications inductives dans l'environnement Focalize. Journ?es Francophones des Langages Applicatifs (JFLA'10), Jan 2010, La Ciotat, France. pp.55-81. ⟨hal-01125723⟩

Accès au bibtex

2009

ref_biblio

Matthieu Carlier, Catherine Dubois, Lionel Habib, Mathieu Jaume. Politique de contrôle d'accès multi-niveaux : test de conformité vis à vis des flots avec l'outil FoCaL. AFADL'09 - Approches formelles dans l'assistance au développement des Logiciels, Jan 2009, Toulouse, France. pp.145-160. ⟨hal-01125619⟩

Accès au bibtex

2008

ref_biblio

Catherine Dubois, Matthieu Carlier. Functional Testing in the Focal environment. Tests and Proofs (TAP 2008), Apr 2008, Prato, Italy. pp.84-98. ⟨hal-01125411⟩

Accès au bibtex

2007

ref_biblio

David Delahaye, Catherine Dubois, Jean-Frédéric Etienne. Extracting Purely Functional Contents from Logical Inductive Types. TPHOLs'07 Theorem Proving in Higher Order Logics, Kaiserslautern (Germany), Jan 2007, X, France. pp.70-85. ⟨hal-01125370⟩

Accès au bibtex

ref_biblio

Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, et al.. Using Computer Science Modeling Techniques for Airport Security Certification. RCIS''07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate, Jan 2007, X, France. pp.61-72. ⟨hal-01125403⟩

Accès au bibtex

2006

ref_biblio

Catherine Dubois, Jean-Marc Mota. A formally verified geometric modelling core. SERP'06 - Int. Conf. on Software Engineering Research and Practice, Las Vegas, USA,, Jan 2006, X, France. pp.643-649. ⟨hal-01125234⟩

Accès au bibtex

ref_biblio

Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, et al.. An attempt to combine UML and formal methods to model airport security. CAISE’06 Forum, Jan 2006, X, France. ⟨hal-01125236⟩

Accès au bibtex

ref_biblio

Jean-Marc Mota, Catherine Dubois. Raffinement de données en B événementiel pour les algorithmes géométriques. AFADL'06 - Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France. 200, Jan 2006, X, France. ⟨hal-01125235⟩

Accès au bibtex

2005

ref_biblio

Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, et al.. Application of Requirements Engineering Techniques to the Analysis of Civil Aviation Security Standards. SREP'05 International Workshop, In conjunction with 13th IEEE International Requirements Engineering, Jan 2005, X, France. ⟨hal-01125097⟩

Accès au bibtex

ref_biblio

Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, et al.. Application of Requirements Analysis Techniques to the analysis of civil aviation security standards. 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, 2005, Paris, France. pp.91--106. ⟨hal-01224666⟩

Accès au bibtex

2004

ref_biblio

Catherine Dubois, Mathieu Jaume, Olivier Pons, Virgile Prévosto. L'atelier Focal. AFADL, session outils, Jan 2004, X, France. ⟨hal-01125052⟩

Accès au bibtex

2003

ref_biblio

Karim Berkani, Catherine Dubois, Alain Faivre, J?r?me Falampin. Validation des règles de base de l'Atelier B. AFADL'03, Jan 2003, X, France. ⟨hal-01124791⟩

Accès au bibtex

ref_biblio

Catherine Dubois, Jérôme Grandguillot, Mathieu Jaume. Réutilisation de preuves - Une étude pour le système Foc. Journées francophones des langages applicatifs, Jan 2003, X, France. ⟨hal-01124792⟩

Accès au bibtex

2001

ref_biblio

Olivier Boite, Catherine Dubois. Proving Type Soundness of a Simply Typed ML-like Language with References. TPHOLs2001, Jan 2001, X, France. ⟨hal-01124763⟩

Accès au bibtex

ref_biblio

F. Ledoux, Jean-Marc Mota, A. Arnould, Catherine Dubois, P. Le Gall, et al.. Spécifications formelles du chanfreinage. AFADL2001, Jan 2001, X, France. ⟨hal-01124624⟩

Accès au bibtex

2000

ref_biblio

M. Aiguier, D. Bahrami, Catherine Dubois. Axioms for Rewriting Theory. PLI 2000, Workshop RULE 2000 : First International Workshop on Rule-Based Programming Montreal, Cana, Jan 2000, X, France. ⟨hal-01124623⟩

Accès au bibtex

Chapitre d'ouvrage

2004

ref_biblio

Catherine Dubois, Valerie Menissier-Morain. Apprentissage de la programmation avec OCaml. Apprentissage de la programmation avec OCaml, 2004. ⟨hal-01124971⟩

Accès au bibtex

N°spécial de revue/special issue

2017

ref_biblio

Catherine Dubois, Paolo Masci, Dominique Méry. Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. Nov 2016, Cyprus. Electronic Proceedings in Theoretical Computer Science, 240, EPTCS, 2017, ⟨10.4204/EPTCS.240⟩. ⟨hal-01652413⟩

Accès au bibtex

Ouvrages

2015

ref_biblio

Catherine Dubois, Paolo Masci, Dominique Méry (Dir.). Second International Workshop on Formal Integrated Development Environment. EPTCS, 187, 2015, EPTCS ⟨10.4204/EPTCS.187⟩. ⟨hal-01246691⟩

Accès au bibtex

2014

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. ⟨hal-01126518⟩

Accès au bibtex

ref_biblio

Catherine Dubois, Régine Laleau. Actes de la 13 ème édition d'AFADL, atelier francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2014.. Catherine Dubois, Régine Laleau. AFADL, pp.140, 2014. ⟨hal-00997676⟩

Accès au texte intégral et bibtex

Rapport

2006

ref_biblio

Marianne Simonot, Maria-Virginia Aponte, Catherine Dubois. État de l'art du typage pour l'intéropérabilité entre composants. [Research Report] CEDRIC-06-1182, CEDRIC Lab/CNAM. 2006. ⟨hal-01125296⟩

Accès au bibtex

Pré-publication, Document de travail

2021

ref_biblio

Mireille Blay-Fornarino, Catherine Dubois, Pierre-Etienne Moreau. GdR Génie de la Programmation et du Logiciel, Défis 2030. 2021. ⟨hal-03097727⟩

Accès au texte intégral et bibtex