Catherine Dubois
Orcid: 0000-0002-9477-8109
According to our database1,
Catherine Dubois
authored at least 55 papers
between 1987 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on ensiie.fr
On csauthors.net:
Bibliography
2025
Formal Aspects Comput., 2025
2023
2022
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types.
CoRR, 2022
LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes.
Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022
Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022
Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families.
Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022
2021
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
2020
Proceedings of the Functional and Constraint Logic Programming, 2020
2019
Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019
2018
Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, 2018
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018
2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
2016
Proceedings of the Tests and Proofs - 10th International Conference, 2016
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016
2015
Softw. Syst. Model., 2015
Représentation et vérification d'un environnement intelligent à partir de spécifications utilisateur en langage naturel.
Rev. d'Intelligence Artif., 2015
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules.
Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015
Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015
2014
Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology.
Proceedings of the Rules on the Web. From Theory to Applications, 2014
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
2013
Research Questions for Validation and Verification in the Context of Model-Based Engineering.
Proceedings of the 10th International Workshop on Model Driven Engineering, 2013
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013
2012
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest.
Proceedings of the Tests and Proofs - 6th International Conference, 2012
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012
Proceedings of the FM 2012: Formal Methods, 2012
Proceedings of the Certified Programs and Proofs - Second International Conference, 2012
Tableaux Modulo Theories Using Superdeduction - An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
2010
Proceedings of the Software and Data Technologies - 5th International Conference, 2010
Constraint Reasoning in FocalTest.
Proceedings of the ICSOFT 2010, 2010
2009
2008
Proceedings of the Tests and Proofs - 2nd International Conference, 2008
2007
Tech. Sci. Informatiques, 2007
Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007
Using Computer Science Modeling Techniques for Airport Security Certification.
Proceedings of the First International Conference on Research Challenges in Information Science, 2007
2006
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.
Softw. Process. Improv. Pract., 2006
A Formally Verified Geometric Modelling Core.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006
Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006
2005
2004
Building certified components within FOCAL.
Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004
2003
Réutilisation de preuves formelles : une étude pour le système FoC.
Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003
2002
Proceedings of the Artificial Intelligence, 2002
2000
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000
1999
J. Autom. Reason., 1999
1995
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995
1987