|
Search the dblp DataBase
Sylvie Vignes:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Souâd Taouil-Traverson, Sylvie Vignes
Designing a B Model for Safety-Critical Software Systems. [Citation Graph (0, 0)][DBLP] B, 1998, pp:210-225 [Conf]
- Jérôme Daniel, Bruno Traverson, Sylvie Vignes
Integration of quality of service in distributed object systems. [Citation Graph (0, 0)][DBLP] DAIS, 1999, pp:31-44 [Conf]
- Souâd Taouil-Traverson, Sylvie Vignes
Preliminary Analysis Cycle for B-Method Software Development. [Citation Graph (0, 0)][DBLP] EUROMICRO, 1996, pp:319-0 [Conf]
- Elie Najm, Frank Olsen, Sylvie Vignes
From SIBS to Distributed Objects: A Transformation Approach for Service Creation. [Citation Graph (0, 0)][DBLP] SMARTNET, 1999, pp:403-417 [Conf]
- Jérôme Daniel, Bruno Traverson, Sylvie Vignes
A QoS Meta Model to Define a Generic Environment for QoS Management. [Citation Graph (0, 0)][DBLP] USM, 2000, pp:334-339 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] RCIS, 2007, pp:61-72 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Software Process: Improvement and Practice, 2006, v:11, n:5, pp:487-503 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] CAiSE Forum, 2006, pp:- [Conf]
- 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. [Citation Graph (0, 0)][DBLP] INFORSID, 2007, pp:155-170 [Conf]
Validation of Regulation Documents by Automated Analysis of Formal Models. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|