Catherine Dubois

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
scientific article; zbMATH DE number 7779291 (Why is no real title available?) (available as arXiv preprint)	2023-12-15	Paper
scientific article; zbMATH DE number 7779291 (Why is no real title available?)	2023-12-15	Paper
Tests and proofs for custom data generators Formal Aspects of Computing	2018-11-16	Paper
FoCaLiZe and Dedukti to the rescue for proof interoperability	2018-01-04	Paper
Objects and subtyping in the \(\lambda\)-\(\Pi\)-calculus modulo	2017-07-12	Paper
ML pattern-matching, recursion, and rewriting: from FoCaLiZe to Dedukti Theoretical Aspects of Computing – ICTAC 2016	2016-12-21	Paper
Tests and Proofs for Enumerative Combinatorics Tests and Proofs	2016-10-19	Paper
Termination Proofs for Recursive Functions in FoCaLiZe Lecture Notes in Computer Science	2016-06-21	Paper
Producing certified functional code from inductive specifications Certified Programs and Proofs	2013-04-19	Paper
A certified constraint solver over finite domains FM 2012: Formal Methods	2012-11-08	Paper
Tableaux modulo theories using superdeduction. An application to the verification of B proof rules with the Zenon automated theorem prover Automated Reasoning	2012-09-05	Paper
A first step in the design of a formally verified constraint-based testing tool: FocalTest Tests and Proofs	2012-07-20	Paper
Verifying B proof rules using deep embedding and automated theorem proving Software Engineering and Formal Methods	2011-10-28	Paper
Extracting Purely Functional Contents from Logical Inductive Types Lecture Notes in Computer Science	2008-09-02	Paper
Why Would You Trust B? Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-15	Paper
Functional Testing in the Focal Environment Tests and Proofs	2008-04-24	Paper
scientific article; zbMATH DE number 2090037 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1670740 (Why is no real title available?)	2001-11-11	Paper
Certification of a type inference tool for ML: Damas-Milner within Coq Journal of Automated Reasoning	2000-01-30	Paper

Research outcomes over time

This page was built for person: Catherine Dubois