Catherine Dubois

Available identifiers

Publication	Date of Publication	Type
Pragmatic isomorphism proofs between Coq representations: application to lambda-term families	2024-11-26	Paper
A semantics of \(\mathbb{K}\) into Dedukti	2024-11-26	Paper
https://portal.mardi4nfdi.de/entity/Q6068929	2023-12-15	Paper
Tests and proofs for custom data generators	2018-11-16	Paper
FoCaLiZe and Dedukti to the rescue for proof interoperability	2018-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q5277971	2017-07-12	Paper
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti	2016-12-21	Paper
Tests and Proofs for Enumerative Combinatorics	2016-10-19	Paper
Termination Proofs for Recursive Functions in FoCaLiZe	2016-06-21	Paper
Producing Certified Functional Code from Inductive Specifications	2013-04-19	Paper
A Certified Constraint Solver over Finite Domains	2012-11-08	Paper
Tableaux Modulo Theories Using Superdeduction	2012-09-05	Paper
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest	2012-07-20	Paper
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving	2011-10-28	Paper
Extracting Purely Functional Contents from Logical Inductive Types	2008-09-02	Paper
Why Would You Trust B?	2008-05-15	Paper
Functional Testing in the Focal Environment	2008-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q4808705	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q2754040	2001-11-11	Paper
Certification of a type inference tool for ML: Damas-Milner within Coq	2000-01-30	Paper

This page was built for person: Catherine Dubois