Export 12 results:
Search results for biblio_year:1991
Filters: 1 is biblio_year:1986 and 2 is biblio_year:1984 and 3 is field_research_area:6 and 4 is field_publication_state:18 and 5 is biblio_year:2010 and 6 is biblio_year:2005 and 7 is biblio_type:Miscellaneous and 8 is field_publication_owner:simula and Author is Yves Le Traon  [Reset Search]
2015
P. H. Nguyen, M. E. Kramer, J. Klein and Y. Le Traon. "An Extensive Systematic Review on the Model-Driven Development of Secure Systems." Information and Software Technology 68 (2015): 62-81.PDF icon an_extensive_systematic_review_on_the_model-driven_development_of_secure_systems.pdf (1.75 MB)
P. H. Nguyen, K. Yskout, T. Heyman, J. Klein, R. Scandariato and Y. Le Traon. SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems In ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015). IEEE, 2015.PDF icon models15found-foundp117-p-a2125d8-25013-preprint.pdf (1.09 MB)
2014
L. Lucio, Q. Zhang, P. H. Nguyen, M. Amrani, J. Klein, H. Vangheluwe and Y. Le Traon. "Advances in Model-Driven Security." In Advances in Computer, edited by A. Hurson, 103-152. Vol. 93. Elsevier, 2014.PDF icon advances_in_model-driven_security.pdf (1.8 MB)
I. Rubab, S. Ali, L. C. Briand and Y. Le Traon. Model-Based Testing of Obligations In The 14th International Conference on Quality Software (QSIC), Edited by T. H. Tse, E. Wong and B. McMillin. Allen, TX, USA: IEEE, 2014.
P. H. Nguyen, J. Klein and Y. Le Traon. Model-Driven Security with A System of Aspect-Oriented Security Design Patterns In The 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling. New York, NY, USA: ACM, 2014.PDF icon model-driven_security_with_a_system_of_aspect-oriented_security_design_patterns-vao2014-sospa-cameraready.pdf (407.53 KB)
P. H. Nguyen, G. Nain, J. Klein, T. Mouelhi and Y. Le Traon. "Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management." Transactions on Aspect-Oriented Software Development XI (2014): 109-144.PDF icon 4_taosd2014-phuhongnguyenetal.pdf (2.79 MB)
2013
S. Ali, T. Yue and L. C. Briand. Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: a Controlled Experiment In International Conference on Software Testing, Verification and Validation (ICST), Edited by Y. Le Traon. Luembourg: IEEE, 2013.
S. Nair, J. L. de la Vara, M. Sabetzadeh and L. Briand. Classification, Structuring, and Assessment of Evidence for Safety: a Systematic Literature Review In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Edited by B. Baudry, A. Orso and Y. Le Traon. IEEE, 2013.PDF icon Simula.simula.1656.pdf (819.79 KB)
P. H. Nguyen, G. Nain, J. Klein, T. Mouelhi and Y. Le Traon. Model-Driven Adaptive Delegation In the 12th annual International Conference on Aspect-Oriented Software Development. ACM, 2013.PDF icon 1_aosd25-model-drivenadaptivedelegation_nguyen.pdf (1 MB)
P. H. Nguyen, J. Klein, Y. Le Traon and M. Kramer. A Systematic Review of Model-Driven Security In Software Engineering Conference (APSEC, 2013) 20th Asia-Pacific. Vol. 1. IEEE, 2013.PDF icon 3_cam-ready-apsec2013-reviewmds.pdf (226.13 KB)
2012
G. Perrouin, S. Oster, S. Sen, J. Klein and Y. Le Traon. Pairwise testing for software product lines: comparison of two approaches. Springer US, 2012.
2010
G. Perrouin, S. Sen, J. Klein and Y. Le Traon. Automated and scalable t-wise test case generation strategies for software product lines. IEEE, 2010.