Catherine Dubois

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 18

Top Topics

Binary Constraints

Formal Language

Generalized Arc Consistency

Top Venues

Rev. d'Intelligence Artif.

Publications

Maximiliano Cristiá, Catherine Dubois
Comparing EventB, log and Why3 Models of Sparse Sets. CoRR (2023)
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 (2023)
Amélie Ledein, Valentin Blot, Catherine Dubois
A Semantics of 𝕂 into Dedukti. TYPES (2022)
Catherine Dubois, Nicolas Magaud, Alain Giorgetti
Pragmatic isomorphism proofs between Coq representations: application to lambda-term families. CoRR (2022)
Mathieu Montin, Amélie Ledein, Catherine Dubois
LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes. MSFP@ETAPS (2022)
Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin Pépin, Catherine Dubois
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types. CoRR (2022)
Catherine Dubois, Nicolas Magaud, Alain Giorgetti
Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families. TYPES (2022)
Catherine Dubois, Steffen Zschaler
Educators Symposium at MODELS 2021. MoDELS (Companion) (2021)
Catherine Dubois
Formally Verified Transformation of Non-binary Constraints into Binary Constraints. CoRR (2020)
Catherine Dubois
Formally Verified Transformation of Non-binary Constraints into Binary Constraints. WFLP (2020)
Catherine Dubois, Virgile Prevosto, Guillaume Burel
Teaching Formal Methods to Future Engineers. FMTea (2019)
Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. SEFM (2018)
Catherine Dubois, Alain Giorgetti
Tests and proofs for custom data generators. Formal Aspects Comput. 30 (6) (2018)
Catherine Dubois, Sulyvan Weppe
Towards Coq Formalisation of {log} Set Constraints Resolution. SETS@ABZ (2018)
Raphaël Cauderlier, Catherine Dubois
FoCaLiZe and Dedukti to the Rescue for Proof Interoperability. ITP (2017)
Gilles Dowek, Catherine Dubois, Brigitte Pientka, Florian Rabe
Universality of Proofs (Dagstuhl Seminar 16421). Dagstuhl Reports 6 (10) (2016)
Catherine Dubois, Alain Giorgetti, Richard Genestier
Tests and Proofs for Enumerative Combinatorics. TAP@STAF (2016)
Raphaël Cauderlier, Catherine Dubois
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti. ICTAC (2016)
Catherine Dubois, Régine Laleau
Introduction. Tech. Sci. Informatiques 34 (5) (2015)
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) (2015)
Catherine Dubois, François Pessaux
Termination Proofs for Recursive Functions in FoCaLiZe. TFP (2015)
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) (2015)
Thi-Kim-Zung Pham, Catherine Dubois, Nicole Lévy
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules. FMSPLE (2015)
Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
Tableaux Modulo Theories Using Superdeduction. CoRR (2015)
Raphaël Cauderlier, Catherine Dubois
Objects and Subtyping in the Lambda-Pi-Calculus Modulo. TYPES (2014)
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)
Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau
Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology. RuleML (2014)
Catherine Dubois, Renaud Rioboo
Verified Functional Iterators Using the FoCaLiZe Environment. SEFM (2014)
Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau
From Natural Language Requirements to Formal Specification Using an Ontology. ICTAI (2013)
Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter
Research Questions for Validation and Verification in the Context of Model-Based Engineering. MoDeVVa@MoDELS (2013)
Philippe Ayrault, Vincent Benayoun, Catherine Dubois, François Pessaux
ML Dependency Analysis for Assessors. SEFM (2012)
Pierre-Nicolas Tollitte, David Delahaye, Catherine Dubois
Producing Certified Functional Code from Inductive Specifications. CPP (2012)
Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
A Certified Constraint Solver over Finite Domains. FM (2012)
Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. TAP@TOOLS (2012)
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)
Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving. SEFM (2011)
Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
FocalTest: A Constraint Programming Approach for Property-Based Testing. ICSOFT (Selected Papers) (2010)
Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
Constraint Reasoning in FocalTest. ICSOFT (2) (2010)
Éric Jaeger, Catherine Dubois
Why Would You Trust B? CoRR (2009)
Matthieu Carlier, Catherine Dubois
Functional Testing in the Focal Environment. TAP (2008)
David Delahaye, Catherine Dubois, Jean-Frédéric Étienne
Extracting Purely Functional Contents from Logical Inductive Types. TPHOLs (2007)
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) (2007)
Éric Jaeger, Catherine Dubois
? LPAR (2007)
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)
Catherine Dubois, Jean-Marc Mota
A Formally Verified Geometric Modelling Core. Software Engineering Research and Practice (2006)
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) (2006)
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)
Catherine Dubois
Typage, sreté et sécurité. Tech. Sci. Informatiques 24 (9) (2005)
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) (2004)
Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge
Building certified components within FOCAL. Trends in Functional Programming (2004)
Catherine Dubois, J. Grandguillot, Mathieu Jaume
Réutilisation de preuves formelles : une étude pour le système FoC. JFLA (2003)
Marc Aiguier, Diane Bahrami, Catherine Dubois
On a Generalised Logicality Theorem. AISC (2002)
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) (2002)
Catherine Dubois
Proving ML Type Soundness Within Coq. TPHOLs (2000)
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) (1999)
Catherine Dubois, François Rouaix, Pierre Weis
Generic Polymorphism. POPL (1995)
Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean
Development of a Programming Environment for Setl. ESEC (1987)