PD Dr. Karsten Sohr
Port Communication System with UML and OCL”, Journal of Object Technology, Volume 19, no. 3 (October 2020), pp. 3:1-14. Bunke, M., Sohr, K. Towards supporting software assurance assessments by detecting [...] Mobile Security Settings. In Proc. of Mensch und Computer 2019, Hamburg. B. Berger, C. Maeder, R. W. Nguempnang, K.Sohr, C. E. Rubio-Medrano. Towards Effective Verification of Multi-Model Access Control [...] Systems ( ESSoS 2015 ), Milan, Italy, March 2015. C. Medrano, G.-J. Ahn, K. Sohr. Achieving Security Assurance with Assertion-Based Application Construction. 9 th Workshop on Trusted Collaboration ( TrustCol