Sylvie Vignes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1999–2016
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | QRS | Model-Based Testing Directed by Structural Coverage and Functional Requirements. | Yanjun Sun, Grard Memmi, Sylvie Vignes |
| 2009 | RCIS | A Data Stream Model for Home Device Description. | Mohamed Khalil El Mahrsi, Sylvie Vignes, Georges Hbrail, Marie-Luce Picard |
| 2007 | RCIS | Using Computer Science Modeling Techniques for Airport Security Certification. | Rgine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Vronique Donzeau-Gouge, Sylvie Vignes |
| 2006 | CaiSE | Validation of Regulation Documents by Automated Analysis of Formal Models. | Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes |
| 2006 | CaiSE | An attempt to combine UML and formal methods to model airport security. | Yves Ledru, Rgine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Vronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux |
| 1999 | DAIS | Integration of quality of service in distributed object systems. | Jrme Daniel, Bruno Traverson, Sylvie Vignes |