Catherine Dubois

70 papers A* 1A 1B 10C 4Misc 1Journal 19Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	On Formal Methods Thinking in Computer Science Education. Formal Aspects Comput. Brijesh Dongol, Catherine Dubois, Stefan Hallerstede, Eric C. R. Hehner, Carroll Morgan, Peter Müller, Leila Ribeiro, Alexandra Silva, Graeme Smith, Erik P. de Vink
2024	—	`conf`	Deductive Verification of Sparse Sets in Why3. VSTTE Catherine Dubois
2023	J	`jnl`	Comparing EventB, log and Why3 Models of Sparse Sets. CoRR Maximiliano Cristiá, Catherine Dubois
2023	J	`jnl`	Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory. CoRR Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard
2023	—	`ed.`	Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings FMTea Catherine Dubois, Pierluigi San Pietro
2023	C	`ed.`	Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings CICM Catherine Dubois, Manfred Kerber
2022	—	`conf`	A Semantics of 𝕂 into Dedukti. TYPES Amélie Ledein, Valentin Blot, Catherine Dubois
2022	J	`jnl`	Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types. CoRR Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin Pépin, Catherine Dubois
2022	—	`conf`	LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes. MSFP@ETAPS Mathieu Montin, Amélie Ledein, Catherine Dubois
2022	—	`conf`	Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families. TYPES Catherine Dubois, Nicolas Magaud, Alain Giorgetti
2022	J	`jnl`	Pragmatic isomorphism proofs between Coq representations: application to lambda-term families. CoRR Catherine Dubois, Nicolas Magaud, Alain Giorgetti
2022	—	`ed.`	STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2nd International Workshop on Foundations and Practice of Visual Modeling (FPVM 2022) and 2nd International Workshop on MDE for Smart IoT Systems (MeSS 2022) (co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2022)), Nantes, France, July 5-8, 2022. STAF Workshops Catherine Dubois, Julien Cohen
2021	—	`conf`	17 MoDELS (Companion) Catherine Dubois, Steffen Zschaler
2020	—	`conf`	Formally Verified Transformation of Non-binary Constraints into Binary Constraints. WFLP Catherine Dubois
2020	J	`jnl`	Formally Verified Transformation of Non-binary Constraints into Binary Constraints. CoRR Catherine Dubois
2019	—	`conf`	Teaching Formal Methods to Future Engineers. FMTea Catherine Dubois, Virgile Prevosto, Guillaume Burel
2018	B	`conf`	Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. SEFM Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson
2018	—	`ed.`	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. SETS@ABZ Maximiliano Cristiá, David Delahaye, Catherine Dubois
2018	—	`ed.`	Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings TAP@STAF Catherine Dubois, Burkhart Wolff
2018	J	`jnl`	Tests and proofs for custom data generators. Formal Aspects Comput. Catherine Dubois, Alain Giorgetti
2018	—	`conf`	Towards Coq Formalisation of {log} Set Constraints Resolution. SETS@ABZ Catherine Dubois, Sulyvan Weppe
2017	B	`conf`	FoCaLiZe and Dedukti to the Rescue for Proof Interoperability. ITP Raphaël Cauderlier, Catherine Dubois
2017	—	`ed.`	Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017. PxTP Catherine Dubois, Bruno Woltzenlogel Paleo
2017	—	`ed.`	Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. F-IDE@FM Catherine Dubois, Paolo Masci, Dominique Méry
2016	—	`ed.`	Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), Vienna, Austria, July 4-7, 2016. STAF Doctoral Symposium / Showcase Catherine Dubois, Francesco Parisi-Presicce, Dimitris S. Kolovos, Nicholas Matragkas
2016	C	`conf`	ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti. ICTAC Raphaël Cauderlier, Catherine Dubois
2016	—	`conf`	Tests and Proofs for Enumerative Combinatorics. TAP@STAF Catherine Dubois, Alain Giorgetti, Richard Genestier
2016	J	`jnl`	Universality of Proofs (Dagstuhl Seminar 16421). Dagstuhl Reports Gilles Dowek, Catherine Dubois, Brigitte Pientka, Florian Rabe
2015	J	`jnl`	Introduction. Tech. Sci. Informatiques Catherine Dubois, Régine Laleau
2015	—	`ed.`	Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015. F-IDE@FM Catherine Dubois, Paolo Masci, Dominique Méry
2015	J	`jnl`	Représentation et vérification d'un environnement intelligent à partir de spécifications utilisateur en langage naturel. Rev. d'Intelligence Artif. Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau
2015	J	`jnl`	Tableaux Modulo Theories Using Superdeduction. CoRR Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
2015	—	`conf`	Termination Proofs for Recursive Functions in FoCaLiZe. TFP Catherine Dubois, François Pessaux
2015	—	`conf`	Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules. FMSPLE Thi-Kim-Zung Pham, Catherine Dubois, Nicole Lévy
2015	J	`jnl`	Verifying B proof rules using deep embedding and automated theorem proving. Softw. Syst. Model. Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
2014	—	`conf`	Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology. RuleML Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau
2014	—	`conf`	Objects and Subtyping in the Lambda-Pi-Calculus Modulo. TYPES Raphaël Cauderlier, Catherine Dubois
2014	—	`ed.`	Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. F-IDE Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry
2014	C	`conf`	The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations. ABZ David Delahaye, Catherine Dubois, Claude Marché, David Mentré
2014	B	`conf`	Verified Functional Iterators Using the FoCaLiZe Environment. SEFM Catherine Dubois, Renaud Rioboo
2013	B	`conf`	From Natural Language Requirements to Formal Specification Using an Ontology. ICTAI Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau
2013	—	`conf`	Research Questions for Validation and Verification in the Context of Model-Based Engineering. MoDeVVa@MoDELS Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter
2012	B	`conf`	A Certified Constraint Solver over Finite Domains. FM Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
2012	—	`conf`	A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. TAP@TOOLS Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
2012	B	`conf`	ML Dependency Analysis for Assessors. SEFM Philippe Ayrault, Vincent Benayoun, Catherine Dubois, François Pessaux
2012	B	`conf`	Producing Certified Functional Code from Inductive Specifications. CPP Pierre-Nicolas Tollitte, David Delahaye, Catherine Dubois
2012	A	`conf`	Tableaux Modulo Theories Using Superdeduction - An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover. IJCAR Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
2011	B	`conf`	Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving. SEFM Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
2010	—	`conf`	Constraint Reasoning in FocalTest. ICSOFT (2) Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
2010	—	`conf`	FocalTest: A Constraint Programming Approach for Property-Based Testing. ICSOFT (Selected Papers) Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
2009	—	`ed.`	Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings TAP@TOOLS Catherine Dubois
2009	J	`jnl`	Why Would You Trust B? CoRR Éric Jaeger, Catherine Dubois
2008	C	`conf`	Functional Testing in the Focal Environment. TAP Matthieu Carlier, Catherine Dubois
2007	—	`conf`	Extracting Purely Functional Contents from Logical Inductive Types. TPHOLs David Delahaye, Catherine Dubois, Jean-Frédéric Étienne
2007	J	`jnl`	Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes. Tech. Sci. Informatiques Jean-Marc Mota, Catherine Dubois
2007	B	`conf`	Using Computer Science Modeling Techniques for Airport Security Certification. RCIS Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes
2007	B	`conf`	Why Would You Trust LPAR Éric Jaeger, Catherine Dubois
2006	—	`conf`	A Formally Verified Geometric Modelling Core. Software Engineering Research and Practice Catherine Dubois, Jean-Marc Mota
2006	J	`jnl`	Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Softw. Process. Improv. Pract. Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
2006	—	`conf`	An attempt to combine UML and formal methods to model airport security. CAiSE Forum Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
2005	J	`jnl`	Typage, sreté et sécurité. Tech. Sci. Informatiques Catherine Dubois
2004	—	`conf`	Building certified components within FOCAL. Trends in Functional Programming Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge
2004	J	`jnl`	Validation des règles de base de l'Atelier B. Tech. Sci. Informatiques Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin
2003	—	`conf`	Réutilisation de preuves formelles : une étude pour le système FoC. JFLA Catherine Dubois, J. Grandguillot, Mathieu Jaume
2002	Misc	`conf`	On a Generalised Logicality Theorem. AISC Marc Aiguier, Diane Bahrami, Catherine Dubois
2002	J	`jnl`	Spécifications formelles du chanfreinage. Tech. Sci. Informatiques Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand
2000	—	`conf`	Proving ML Type Soundness Within Coq. TPHOLs Catherine Dubois
1999	J	`jnl`	Certification of a Type Inference Tool for ML: Damas-Milner within Coq. J. Autom. Reason. Catherine Dubois, Valérie Ménissier-Morain
1995	A*	`conf`	Generic Polymorphism. POPL Catherine Dubois, François Rouaix, Pierre Weis
1987	—	`conf`	Development of a Programming Environment for Setl. ESEC Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean