2009 |
19 | EE | Éric Jaeger,
Catherine Dubois:
Why Would You Trust B?
CoRR abs/0902.3858: (2009) |
2008 |
18 | EE | Matthieu Carlier,
Catherine Dubois:
Functional Testing in the Focal Environment.
TAP 2008: 84-98 |
2007 |
17 | EE | Éric Jaeger,
Catherine Dubois:
Why Would You Trust B ?
LPAR 2007: 288-302 |
16 | | 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: 61-72 |
15 | EE | David Delahaye,
Catherine Dubois,
Jean-Frédéric Étienne:
Extracting Purely Functional Contents from Logical Inductive Types.
TPHOLs 2007: 70-85 |
14 | EE | Jean-Marc Mota,
Catherine Dubois:
Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes.
Technique et Science Informatiques 26(7): 883-908 (2007) |
2006 |
13 | EE | 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 |
12 | | Catherine Dubois,
Jean-Marc Mota:
A Formally Verified Geometric Modelling Core.
Software Engineering Research and Practice 2006: 643-649 |
11 | EE | 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.
Software Process: Improvement and Practice 11(5): 487-503 (2006) |
2005 |
10 | EE | Catherine Dubois:
Typage, sreté et sécurité.
Technique et Science Informatiques 24(9): 1187-1190 (2005) |
2004 |
9 | | Catherine Dubois,
Thérèse Hardin,
Véronique Donzeau-Gouge:
Building certified components within FOCAL.
Trends in Functional Programming 2004: 33-48 |
8 | | Karim Berkani,
Catherine Dubois,
Alain Faivre,
Jérôme Falampin:
Validation des règles de base de l'Atelier B.
Technique et Science Informatiques 23(7): 855-878 (2004) |
2003 |
7 | | Catherine Dubois,
J. Grandguillot,
Mathieu Jaume:
Réutilisation de preuves formelles : une étude pour le système FoC.
JFLA 2003: 63-75 |
2002 |
6 | EE | Marc Aiguier,
Diane Bahrami,
Catherine Dubois:
On a Generalised Logicality Theorem.
AISC 2002: 51-63 |
5 | EE | Franck Ledoux,
Jean-Marc Mota,
Agnès Arnould,
Catherine Dubois,
Pascale Le Gall,
Yves Bertrand:
Spécifications formelles du chanfreinage.
Technique et Science Informatiques 21(8): 1073-1098 (2002) |
2000 |
4 | | Catherine Dubois:
Proving ML Type Soundness Within Coq.
TPHOLs 2000: 126-144 |
1999 |
3 | | Catherine Dubois,
Valérie Ménissier-Morain:
Certification of a Type Inference Tool for ML: Damas-Milner within Coq.
J. Autom. Reasoning 23(3-4): 319-346 (1999) |
1995 |
2 | | Catherine Dubois,
François Rouaix,
Pierre Weis:
Generic Polymorphism.
POPL 1995: 118-129 |
1987 |
1 | | Véronique Donzeau-Gouge,
Catherine Dubois,
Philippe Facon,
F. Jean:
Development of a Programming Environment for Setl.
ESEC 1987: 21-32 |