The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Catherine Dubois: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.075secs, Finished in 0.076secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002