dblp.uni-trier.dewww.uni-trier.de

Sylvie Vignes

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EEYves 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. Ingénierie des Systèmes d'Information 13(4): 133-157 (2008)
2007
10 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. INFORSID 2007: 155-170
9 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. RCIS 2007: 61-72
2006
8EEYves 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. CAiSE Forum 2006
7EEDidier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes: Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V 2006
6EERé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. Software Process: Improvement and Practice 11(5): 487-503 (2006)
2000
5 Jérôme Daniel, Bruno Traverson, Sylvie Vignes: A QoS Meta Model to Define a Generic Environment for QoS Management. USM 2000: 334-339
1999
4 Jérôme Daniel, Bruno Traverson, Sylvie Vignes: Integration of quality of service in distributed object systems. DAIS 1999: 31-44
3 Elie Najm, Frank Olsen, Sylvie Vignes: From SIBS to Distributed Objects: A Transformation Approach for Service Creation. SMARTNET 1999: 403-417
1998
2EESouâd Taouil-Traverson, Sylvie Vignes: Designing a B Model for Safety-Critical Software Systems. B 1998: 210-225
1996
1EESouâd Taouil-Traverson, Sylvie Vignes: Preliminary Analysis Cycle for B-Method Software Development. EUROMICRO 1996: 319-

Coauthor Index

1Didier Bert [6] [7] [8] [9]
2Fabrice Bouquet [7] [9]
3Jérôme Daniel [4] [5]
4Véronique Donzeau-Gouge [6] [8] [9]
5Catherine Dubois [6] [8] [9]
6Régine Laleau (Regine Laleau) [6] [8] [9] [10] [11]
7Yves Ledru [6] [7] [8] [9] [10] [11]
8Michel Lemoine [6] [8] [9]
9Elie Najm [3]
10Frank Olsen [3]
11Fabien Peureux [6] [8]
12Souâd Taouil-Traverson [1] [2]
13Bruno Traverson [4] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)