Sylvie Vignes

14 papers B 2C 1Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2016 — conf
A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing.
CSDM Asia
Yanjun Sun, Gérard Memmi, Sylvie Vignes
2016 — conf
Model-Based Testing Directed by Structural Coverage and Functional Requirements.
QRS Companion
Yanjun Sun, Gérard Memmi, Sylvie Vignes
2009 B conf
A Data Stream Model for Home Device Description.
RCIS
Mohamed Khalil El Mahrsi, Sylvie Vignes, Georges Hébrail, Marie-Luce Picard
2008 J jnl
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.
Yves Ledru, Régine Laleau, Sylvie Vignes
2007 — conf
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
Yves Ledru, Régine Laleau, Sylvie Vignes
2007 B conf
Using Computer Science Modeling Techniques for Airport Security Certification.
RCIS
Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes
2006 J jnl
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.
Softw. Process. Improv. Pract.
Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
2006 — conf
An attempt to combine UML and formal methods to model airport security.
CAiSE Forum
Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
2006 — conf
Validation of Regulation Documents by Automated Analysis of Formal Models.
ReMo2V
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes
2000 — conf
A QoS Meta Model to Define a Generic Environment for QoS Management.
USM
Jérôme Daniel, Bruno Traverson, Sylvie Vignes
1999 — conf
From SIBS to Distributed Objects: A Transformation Approach for Service Creation.
SMARTNET
Elie Najm, Frank Olsen, Sylvie Vignes
1999 C conf
Integration of quality of service in distributed object systems.
DAIS
Jérôme Daniel, Bruno Traverson, Sylvie Vignes
1998 — conf
Designing a B Model for Safety-Critical Software Systems.
B
Souâd Taouil-Traverson, Sylvie Vignes
1996 — conf
Preliminary Analysis Cycle for B-Method Software Development.
EUROMICRO
Souâd Taouil-Traverson, Sylvie Vignes