R. Niedermayr, T. Röhm, und S. Wagner. Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings (ICSE '18), Seite 390-391. ACM, (2018)
Y. Wang, und S. Wagner. Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings (ICSE '18), Seite 286-287. ACM, (2018)
Y. Wang, und S. Wagner. Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP '18), Seite 266-275. ACM, (2018)
V. Käfer, D. Graziotin, I. Bogicevic, S. Wagner, und J. Ramadani. Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, Seite 242--243. New York, NY, USA, ACM, (2018)
P. Braun, J. Philipps, B. Schätz, und S. Wagner. Electronic Notes in Theoretical Computer Science, 238 (4):
71 - 77(2009)Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert 2008).