Search the dblp DataBase

Publications of Author

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