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