Towards Effective Verification of Multi-Model Access Control Properties. - Bernhard J. Berger; Christian Maeder; Rodrigue Wete Nguempnang; Karsten Sohr; Carlos E. Rubio-Medrano (SACMAT, 2019)

Static Extraction of Enforced Authorization Policies SeeAuthz. - Bernhard J. Berger; Rodrigue Wete Nguempnang; Karsten Sohr; Rainer Koschke (SCAM, 2020)

Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL. - Christian Maeder; Karsten Sohr; Rodrigue Wete Nguempnang; Nils Meyer-Larsen; Rainer Müller (J. Object Technol., 2020)

[Engineering] eNYPD - Entry Points Detector Jakarta Server Faces Use Case. - Rodrigue Wete Nguempnang; Bernhard J. Berger; Karsten Sohr (SCAM, 2021)