|
 
|
Yves Ledru
|
Membre exterieur Laboratoire: Laboratoire d'intelligence artificielle (FR) |
Publications
2011
-
[AAB11]
J. Akoka, T. Aubonnet, J. Bucumi, I. Comyn-Wattiau, A. Idani , M. Labiadh, N. Lammari, Y. Ledru, J. Richier.
"A UML profile for security concepts",
Date de dépot: 2011/02/18,
Nb pages 1 -18,
(Tech. Rep.: CEDRIC-11-2343)
Rapport Scientifique
2010
-
[AAB10]
J. Akoka, T. Aubonnet, J. Bucumi, I. Comyn-Wattiau, A. Idani , M. Labiadh, N. Lammari, Y. Ledru, J. Richier.
"Intégration des propriétés de sécurité dans UML",
Date de dépot: 2010/02/05,
Nb pages 1-76,
(Tech. Rep.: CEDRIC-10-2344)
Rapport Scientifique
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,
