Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012). - Michaela Huhn; Stefan Gerken; Carsten Rudolph (Software Engineering, 2012)

GSN M -Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen. - Patrick Werner; Stefan Gerken; Michaela Huhn (Software Engineering (Workshops), 2012)

ZeMoSS-Workshop: Zertifizierung und modellgetriebene Entwicklung sicherer Software. - Michaela Huhn; Stefan Gerken; Carsten Rudolph (Software Engineering, 2013)

CeMoSS - Certification and Model-Driven Development of Safe and Secure Software. - Michaela Huhn; Stefan Gerken; Carsten Rudolph (Software Engineering, 2014)