Generating Test Cases for Timed Systems from Controlled Natural Language Specifications. - Matthias Schnelte (SSIRI, 2009)

Test Case Generation for Visual Contracts Using AI Planning. - Matthias Schnelte; Baris Güldali (GI Jahrestagung (2), 2010)

Automatische Testfallgenerierung aus kontrolliert natürlichsprachlichen Anforderungsspezifikationen für reaktive Echtzeitsysteme. - Matthias Schnelte (2011)

Semantic degrees for Industrie 4.0 engineering: deciding on the degree of semantic formalization to select appropriate technologies. - Chih-Hong Cheng; Tuncay Guelfirat; Christian Messinger; Johannes O. Schmitt; Matthias Schnelte; Peter Weber (ESEC/SIGSOFT FSE, 2015)

Semantic Degrees for Industrie 4.0. - Chih-Hong Cheng; Tuncay Guelfirat; Christian Messinger; Johannes O. Schmitt; Matthias Schnelte; Peter Weber (CoRR, 2015)