Sophie Coudert (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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

3 Sophie Coudert, Pascale Le Gall: A Reuse-Oriented Framework for Hierarchical Specifications. AMAST 2000: 438-453

2 Sophie Coudert, Gilles Bernot, Pascale Le Gall: Hierarchical Heterogeneous Specifications. WADT 1998: 107-121

1 Gilles Bernot, Sophie Coudert, Pascale Le Gall: Towards Heterogeneous Formal Specification. AMAST 1996: 458-472

Selection of 5 from 6 records - Sophie Coudert has 12 coauthors

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
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
3		Sophie Coudert, Pascale Le Gall: A Reuse-Oriented Framework for Hierarchical Specifications. AMAST 2000: 438-453
2		Sophie Coudert, Gilles Bernot, Pascale Le Gall: Hierarchical Heterogeneous Specifications. WADT 1998: 107-121
1		Gilles Bernot, Sophie Coudert, Pascale Le Gall: Towards Heterogeneous Formal Specification. AMAST 1996: 458-472