The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sophie Coudert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gilles Bernot, Sophie Coudert, Pascale Le Gall
    Towards Heterogeneous Formal Specification. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:458-472 [Conf]
  2. Sophie Coudert, Pascale Le Gall
    A Reuse-Oriented Framework for Hierarchical Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:438-453 [Conf]
  3. Muhammad Waseem, Ludovic Apvrille, Rabea Ameur-Boulifa, Sophie Coudert, Renaud Pacalet
    Abstract Application Modeling for System Design Space Exploration. [Citation Graph (0, 0)][DBLP]
    DSD, 2006, pp:331-337 [Conf]
  4. Helene Jouve, Pascale Le Gall, Sophie Coudert
    An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications. [Citation Graph (0, 0)][DBLP]
    FIW, 2005, pp:131-146 [Conf]
  5. Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier
    An Environment for Interactive Service Specification. [Citation Graph (0, 0)][DBLP]
    FIW, 2003, pp:25-41 [Conf]
  6. Sophie Coudert, Gilles Bernot, Pascale Le Gall
    Hierarchical Heterogeneous Specifications. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:107-121 [Conf]

Search in 0.001secs, Finished in 0.002secs
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