Search the dblp DataBase
Sophie Coudert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Gilles Bernot, Sophie Coudert, Pascale Le Gall
Towards Heterogeneous Formal Specification. [Citation Graph (0, 0)][DBLP]
AMAST, 1996, pp:458-472 [Conf] - Sophie Coudert, Pascale Le Gall
A Reuse-Oriented Framework for Hierarchical Specifications. [Citation Graph (0, 0)][DBLP]
AMAST, 2000, pp:438-453 [Conf] - 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] - 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] - 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] - Sophie Coudert, Gilles Bernot, Pascale Le Gall
Hierarchical Heterogeneous Specifications. [Citation Graph (0, 0)][DBLP]
WADT, 1998, pp:107-121 [Conf]
Search in 0.002secs, Finished in 0.003secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002