Yves Le Traon

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

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

ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015)

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

I. Rubab, S. Ali, L. C. Briand and Y. Le Traon

Model-Based Testing of Obligations

The 14th International Conference on Quality Software (QSIC)

P. H. Nguyen, J. Klein and Y. Le Traon

Model-Driven Security with A System of Aspect-Oriented Security Design Patterns

The 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling

L. Lucio, Q. Zhang, P. H. Nguyen, M. Amrani, J. Klein, H. Vangheluwe and Y. Le Traon

Advances in Model-Driven Security

Advances in Computer

P. H. Nguyen, J. Klein, Y. Le Traon and M. Kramer

A Systematic Review of Model-Driven Security

Software Engineering Conference (APSEC, 2013) 20th Asia-Pacific

S. Ali, T. Yue and L. C. Briand

Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: a Controlled Experiment

International Conference on Software Testing, Verification and Validation (ICST)

S. Nair, J. L. de la Vara, M. Sabetzadeh and L. Briand

Classification, Structuring, and Assessment of Evidence for Safety: a Systematic Literature Review

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013)

P. H. Nguyen, G. Nain, J. Klein, T. Mouelhi and Y. Le Traon

Model-Driven Adaptive Delegation

the 12th annual International Conference on Aspect-Oriented Software Development

G. Perrouin, S. Oster, S. Sen, J. Klein and Y. Le Traon

Pairwise testing for software product lines: comparison of two approaches

G. Perrouin, S. Sen, J. Klein and Y. Le Traon

Automated and scalable t-wise test case generation strategies for software product lines