|
 
|
Sylvie Vignes
Publications
2007
- [LLB07] R. Laleau, Y. Ledru, D. Bert, F. Bouquet, M. Lemoine, C. Dubois, V. Viguie Donzeau-Gouge, S. Vignes. "Using Computer Science Modeling Techniques for Airport Security Certification", RCIS''07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate, January 2007, pp.61-72,
Conférence Internationale avec comité de lecture
2006
- [LVL06] R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "Adopting a situational requirements engineering approach for the analysis of civil aviation security standards", Software Process: Improvement and Practice, vol. 11(5), pp. 487–503, 2006
- [LLL06] Y. Ledru, R. Laleau, M. Lemoine, S. Vignes, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "An attempt to combine UML and formal methods to model airport security", CAISE’06 Forum, January 2006,
Revue Internationale avec comité de lecture
Conférence Internationale avec comité de lecture
2005
- [LVL05] R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "Application of Requirements Engineering Techniques to the Analysis of Civil Aviation Security Standards", SREP'05 International Workshop, In conjunction with 13th IEEE International Requirements Engineering, January 2005,
