Matthias Schnelte

According to our database, Matthias Schnelte authored at least 5 papers between 2009 and 2015.

Collaborative distances:

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

2015

Semantic Degrees for Industrie 4.0.

Chih-Hong Cheng, Tuncay Guelfirat, Christian Messinger, Johannes O. Schmitt, Matthias Schnelte, Peter Weber

CoRR, 2015

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

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

2011

Automatische Testfallgenerierung aus kontrolliert natürlichsprachlichen Anforderungsspezifikationen für reaktive Echtzeitsysteme.

Matthias Schnelte

PhD thesis, 2011

2010

Test Case Generation for Visual Contracts Using AI Planning.

Matthias Schnelte, Baris Güldali

Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

2009

Generating Test Cases for Timed Systems from Controlled Natural Language Specifications.

Matthias Schnelte

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009