Magnus, S.; Ruß, T.; Krause, J. (2016). Anforderungs- und modellbasierte Testfallgenerierung und Testdurchführung unter Nutzung von Methoden zur Netzwerkanalyse, 14. Fachtagung EKA - Entwurf komplexer Automatisierungssysteme, 24.-25.05.2016, Otto-von-Guericke-Universität Magdeburg/ifak, Magdeburg

Diedrich, C.; Magnus, S.; Neumann, A.; Krause, J. (2011). Testgenerierung für Feldbusprofile am Beispiel eines PROFIBUS Profils, KommA 2011 - 2. Jah­reskolloquium „Kommunikation in der Automa­tion“, 27.-28.09.2011, ifak/inIT, Magdeburg

Krause, J.; Weißleder, S.; Girlich, T. (2012). Automatic traceability from tests to requirements by requirements-based refinement, 9th Symposium on Formal Methods for Automation and Safety in Railway and Automative Systems, 11.-13.12.2012 , Braunschweig, pp.134–145

Ruß, T.; Meier, M.; Krause, J. (2014). Neuartige Diagnosemethode für Netzwerke der Smart City, VDE-Kongress 2014 – Smart Cities - Intelligente Lösungen für das Leben in der Zukunft, 20.–21.10.2014, VDE, Frankfurt