Stefan Gerken

According to our database, Stefan Gerken authored at least 4 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

CeMoSS - Certification and Model-Driven Development of Safe and Secure Software.

Michaela Huhn, Stefan Gerken, Carsten Rudolph

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013

ZeMoSS-Workshop: Zertifizierung und modellgetriebene Entwicklung sicherer Software.

Michaela Huhn, Stefan Gerken, Carsten Rudolph

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

2012

GSN M -Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen.

Patrick Werner, Stefan Gerken, Michaela Huhn

Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012).

Michaela Huhn, Stefan Gerken, Carsten Rudolph

Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012