default search action
Catherine Dubois
- > Home > Persons > Catherine Dubois
Publications
- 2023
- [e11]Catherine Dubois, Manfred Kerber:
Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings. Lecture Notes in Computer Science 14101, Springer 2023, ISBN 978-3-031-42752-7 [contents] - [i8]Maximiliano Cristiá, Catherine Dubois:
Comparing EventB, log and Why3 Models of Sparse Sets. CoRR abs/2307.03974 (2023) - [i7]Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard:
Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory. CoRR abs/2311.07185 (2023) - 2022
- [c39]Catherine Dubois, Nicolas Magaud, Alain Giorgetti:
Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families. TYPES 2022: 11:1-11:19 - [c38]Amélie Ledein, Valentin Blot, Catherine Dubois:
A Semantics of 𝕂 into Dedukti. TYPES 2022: 12:1-12:22 - [c37]Mathieu Montin, Amélie Ledein, Catherine Dubois:
LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes. MSFP@ETAPS 2022: 27-44 - [i5]Catherine Dubois, Nicolas Magaud, Alain Giorgetti:
Pragmatic isomorphism proofs between Coq representations: application to lambda-term families. CoRR abs/2212.10453 (2022) - 2019
- [c34]Catherine Dubois, Virgile Prevosto, Guillaume Burel:
Teaching Formal Methods to Future Engineers. FMTea 2019: 69-80 - 2018
- [j10]Catherine Dubois, Alain Giorgetti:
Tests and proofs for custom data generators. Formal Aspects Comput. 30(6): 659-684 (2018) - [e7]Maximiliano Cristiá, David Delahaye, Catherine Dubois:
Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, SETS@ABZ 2018, Southamptom, UK, June 5, 2018. CEUR Workshop Proceedings 2199, CEUR-WS.org 2018 [contents] - 2017
- [c31]Raphaël Cauderlier, Catherine Dubois:
FoCaLiZe and Dedukti to the Rescue for Proof Interoperability. ITP 2017: 131-147 - [e6]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. EPTCS 240, 2017 [contents] - 2016
- [c30]Raphaël Cauderlier, Catherine Dubois:
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti. ICTAC 2016: 459-468 - [c29]Catherine Dubois, Alain Giorgetti, Richard Genestier:
Tests and Proofs for Enumerative Combinatorics. TAP@STAF 2016: 57-75 - [i3]Gilles Dowek, Catherine Dubois, Brigitte Pientka, Florian Rabe:
Universality of Proofs (Dagstuhl Seminar 16421). Dagstuhl Reports 6(10): 75-98 (2016) - 2015
- [j9]Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau:
Représentation et vérification d'un environnement intelligent à partir de spécifications utilisateur en langage naturel. Rev. d'Intelligence Artif. 29(1): 47-81 (2015) - [j8]Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois:
Verifying B proof rules using deep embedding and automated theorem proving. Softw. Syst. Model. 14(1): 101-119 (2015) - [j7]Catherine Dubois, Régine Laleau:
Introduction. Tech. Sci. Informatiques 34(5): 493-494 (2015) - [c28]Catherine Dubois, François Pessaux:
Termination Proofs for Recursive Functions in FoCaLiZe. TFP 2015: 136-156 - [e3]Catherine Dubois, Paolo Masci, Dominique Méry:
Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015. EPTCS 187, 2015 [contents] - [i2]Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois:
Tableaux Modulo Theories Using Superdeduction. CoRR abs/1501.01301 (2015) - 2014
- [c26]David Delahaye, Catherine Dubois, Claude Marché, David Mentré:
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations. ABZ 2014: 290-293 - [c25]Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau:
Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology. RuleML 2014: 226-235 - [c24]Catherine Dubois, Renaud Rioboo:
Verified Functional Iterators Using the FoCaLiZe Environment. SEFM 2014: 317-331 - [c23]Raphaël Cauderlier, Catherine Dubois:
Objects and Subtyping in the Lambda-Pi-Calculus Modulo. TYPES 2014: 47-71 - [e2]Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry:
Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. EPTCS 149, 2014 [contents] - 2013
- [c22]Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau:
From Natural Language Requirements to Formal Specification Using an Ontology. ICTAI 2013: 755-760 - 2012
- [c20]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. IJCAR 2012: 332-338 - [c19]Pierre-Nicolas Tollitte, David Delahaye, Catherine Dubois:
Producing Certified Functional Code from Inductive Specifications. CPP 2012: 76-91 - [c17]Philippe Ayrault, Vincent Benayoun, Catherine Dubois, François Pessaux:
ML Dependency Analysis for Assessors. SEFM 2012: 278-292 - 2011
- [c15]Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois:
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving. SEFM 2011: 253-268 - 2009
- [i1]Éric Jaeger, Catherine Dubois:
Why Would You Trust B? CoRR abs/0902.3858 (2009) - 2007
- [j6]Jean-Marc Mota, Catherine Dubois:
Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes. Tech. Sci. Informatiques 26(7): 883-908 (2007) - [c11]Éric Jaeger, Catherine Dubois:
Why Would You Trust B ? LPAR 2007: 288-302 - [c10]Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes:
Using Computer Science Modeling Techniques for Airport Security Certification. RCIS 2007: 61-72 - [c9]David Delahaye, Catherine Dubois, Jean-Frédéric Étienne:
Extracting Purely Functional Contents from Logical Inductive Types. TPHOLs 2007: 70-85 - 2006
- [j5]Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux:
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Softw. Process. Improv. Pract. 11(5): 487-503 (2006) - [c8]Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux:
An attempt to combine UML and formal methods to model airport security. CAiSE Forum 2006 - [c7]Catherine Dubois, Jean-Marc Mota:
A Formally Verified Geometric Modelling Core. Software Engineering Research and Practice 2006: 643-649 - 2004
- [j3]Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin:
Validation des règles de base de l'Atelier B. Tech. Sci. Informatiques 23(7): 855-878 (2004) - [c6]Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge:
Building certified components within FOCAL. Trends in Functional Programming 2004: 33-48 - 2003
- [c5]Catherine Dubois, J. Grandguillot, Mathieu Jaume:
Réutilisation de preuves formelles : une étude pour le système FoC. JFLA 2003: 63-75 - 2002
- [j2]Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand:
Spécifications formelles du chanfreinage. Tech. Sci. Informatiques 21(8): 1073-1098 (2002) - [c4]Marc Aiguier, Diane Bahrami, Catherine Dubois:
On a Generalised Logicality Theorem. AISC 2002: 51-63 - 1999
- [j1]Catherine Dubois, Valérie Ménissier-Morain:
Certification of a Type Inference Tool for ML: Damas-Milner within Coq. J. Autom. Reason. 23(3-4): 319-346 (1999) - 1995
- [c2]Catherine Dubois, François Rouaix, Pierre Weis:
Generic Polymorphism. POPL 1995: 118-129 - 1987
- [c1]Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean:
Development of a Programming Environment for Setl. ESEC 1987: 21-32
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint