S. Kemmann

Integration of Component Fault Trees into the UML

Thomas Kuhn, Mario Trapp, Dominik Domis, 2010, MoDELS.

Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities

K. C. Shashidhar, Martin Becker, Sören Kemmann, 2010, SPLC Workshops.

Safety assessment of software-intensive medical devices: Introducing a safety quality model approach

Rasmus Adler, Sören Kemmann, Djalma de Melo Carvalho Filho, 2013, 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).