2016
Implementation Support of Security Design Patterns Using Test Templates .
Inf., 2016

A Metamodel for Security and Privacy Knowledge in Cloud Services.
Proceedings of the IEEE World Congress on Services, 2016

2015
TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014
Verifying Implementation of Security Design Patterns Using a Test Template.
Proceedings of the Ninth International Conference on Availability, 2014