Sylvie Vignes

Publication Activity (10 Years)

Years Active: 1996-2016
Publications (10 Years): 2

Top Topics

Model Based Testing

Functional Requirements

Mutation Testing

Top Venues

Publications

Yanjun Sun, Gérard Memmi, Sylvie Vignes
Model-Based Testing Directed by Structural Coverage and Functional Requirements. QRS Companion (2016)
Yanjun Sun, Gérard Memmi, Sylvie Vignes
A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing. CSDM Asia (2016)
Mohamed Khalil El Mahrsi, Sylvie Vignes, Georges Hébrail, Marie-Luce Picard
A Data Stream Model for Home Device Description. RCIS (2009)
Yves Ledru, Régine Laleau, Sylvie Vignes
Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. Ingénierie des Systèmes d Inf. 13 (4) (2008)
Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes
Using Computer Science Modeling Techniques for Airport Security Certification. RCIS (2007)
Yves Ledru, Régine Laleau, Sylvie Vignes
Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. INFORSID (2007)
Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Softw. Process. Improv. Pract. 11 (5) (2006)
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes
Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V (2006)
Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
An attempt to combine UML and formal methods to model airport security. CAiSE Forum (2006)
Jérôme Daniel, Bruno Traverson, Sylvie Vignes
A QoS Meta Model to Define a Generic Environment for QoS Management. USM (2000)
Jérôme Daniel, Bruno Traverson, Sylvie Vignes
Integration of quality of service in distributed object systems. DAIS (1999)
Elie Najm, Frank Olsen, Sylvie Vignes
From SIBS to Distributed Objects: A Transformation Approach for Service Creation. SMARTNET (1999)
Souâd Taouil-Traverson, Sylvie Vignes
Designing a B Model for Safety-Critical Software Systems. B (1998)
Souâd Taouil-Traverson, Sylvie Vignes
Preliminary Analysis Cycle for B-Method Software Development. EUROMICRO (1996)