Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. 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]
   
10. 
    Validation of Regulation Documents by Automated Analysis of Formal Models. [Citation Graph (, )][DBLP]