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. Jahreskolloquium „Kommunikation in der Automation“, 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
Krause, J.; Magnus, S.; Hintze, E. (2017). Eclipse-basierte Werkzeugkette zur Verifizierung und Testautomatisierung industrieller Kommunikationsprotokolle, KommA 2017 - 8. Jahreskolloquium "Kommunikation in der Automation", 14.-15.11.2017, ifak/inIT, Magdeburg