Sylvie Vignes

According to our database, Sylvie Vignes authored at least 13 papers between 1996 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Model-Based Testing Directed by Structural Coverage and Functional Requirements.

Yanjun Sun, Gérard Memmi, Sylvie Vignes

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing.

Yanjun Sun, Gérard Memmi, Sylvie Vignes

Proceedings of the Complex Systems Design & Management Asia - Smart Nations, 2016

2009

A Data Stream Model for Home Device Description.

Mohamed Khalil El Mahrsi, Sylvie Vignes, Georges Hébrail, Marie-Luce Picard

Proceedings of the Third IEEE International Conference on Research Challenges in Information Science, 2009

2008

Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports.

Yves Ledru, Régine Laleau, Sylvie Vignes

Ingénierie des Systèmes d Inf., 2008

2007

Using Computer Science Modeling Techniques for Airport Security Certification.

Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes

Proceedings of the First International Conference on Research Challenges in Information Science, 2007

2006

Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.

Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux

Softw. Process. Improv. Pract., 2006

An attempt to combine UML and formal methods to model airport security.

Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

Validation of Regulation Documents by Automated Analysis of Formal Models.

Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

2000

A QoS Meta Model to Define a Generic Environment for QoS Management.

Jérôme Daniel, Bruno Traverson, Sylvie Vignes

Proceedings of the Trends in Distributed Systems: Towards a Universal Service Market, 2000

1999

From SIBS to Distributed Objects: A Transformation Approach for Service Creation.

Elie Najm, Frank Olsen, Sylvie Vignes

Proceedings of the Intelligence in Networks, 1999

Integration of quality of service in distributed object systems.

Jérôme Daniel, Bruno Traverson, Sylvie Vignes

Proceedings of the Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28, 1999

1998

Designing a B Model for Safety-Critical Software Systems.

Souâd Taouil-Traverson, Sylvie Vignes

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1996

Preliminary Analysis Cycle for B-Method Software Development.

Souâd Taouil-Traverson, Sylvie Vignes

Proceedings of the 22rd EUROMICRO Conference '96, 1996