Export 12 results:
Filters: Author is Yves Le Traon [Clear All Filters]
An Extensive Systematic Review on the Model-Driven Development of Secure Systems." Information and Software Technology 68 (2015): 62-81."
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.
Advances in Model-Driven Security." In Advances in Computer, edited by A. Hurson, 103-152. Vol. 93. Elsevier, 2014."
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.
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.
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."
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.
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.
Model-Driven Adaptive Delegation In the 12th annual International Conference on Aspect-Oriented Software Development. ACM, 2013.
A Systematic Review of Model-Driven Security In Software Engineering Conference (APSEC, 2013) 20th Asia-Pacific. Vol. 1. IEEE, 2013.
Pairwise testing for software product lines: comparison of two approaches. Springer US, 2012.