The SCEAS System
Navigation Menu

Search the dblp DataBase


Sylvie Vignes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002