SUnCPS: A Taxonomy of Security-related Uncertainty in Cyber-Physical Systems. International Symposium on Engineering Secure Software and Systems (ESSoS'17), Bonn, Germany, 2017.
Uncertainty-wise and Model-based Testing of Industrial Cyber-Physical Systems. 5th User Conference and Advanced Automated Testing (UCAAT), Berlin, Germany, 2017.
Model-Based Security Engineering for Cyber-Physical Systems: A Systematic Mapping Study." Information and Software Technology 83 (2016): 116-135."
Model-Based Security Engineering for Cyber-Physical Systems: A Systematic Mapping Study. Simula Research Laboratory, 2016.
Uncertainty Modeling Framework for the Integration Level V.1. Simula Research Laboratory, 2016.
An Extensive Systematic Review on the Model-Driven Development of Secure Systems." Information and Software Technology 68 (2015): 62-81."
Model-Driven Security With Modularity and Reusability For Engineering Secure Software Systems. Vol. PhD. Luxembourg: University of Luxembourg, 2015.
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-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."
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.
Testing Delegation Policy Enforcement via Mutation Analsysis In Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on. IEEE, 2013.