Diedrich, C. .; Hintze, E. .; Magnus, S. .; Krause, J. . (2012). Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile, SafeComp 2012 – The 31st International Conference on Computer Safety, Reliability and Security, 25.-28.09.2012, Springer, Magdeburg

Magnus, S. .; Ruß, T. .; Krause, J. .; Diedrich, C. . (2017). Modellsynthese für die Testfallgenerierung sowie Testdurchführung unter Nutzung von Methoden zur Netzwerkanalyse, at-Automatisierungstechnik, Bd. 65(1):73–86

Krause, J. . (2010). Validation of cooperative systems, EasyWay Annual Forum 2010 ‘Shortcut to the future’, 16.-18.11.2010, Lisbon/Portugal

Schönrock, R. .; Krause, J. . (2015). Verkehrsbehinderungen intelligent managen, Internationales Verkehrswesen, Bde. 67 (4):74–75

Diedrich, C. .; Magnus, S. .; Krause, J. . (2012). Test generation for model based fieldbus profiles, IEEE International Conference on Industrial Technology - ICIT, 19.-21.03.2012, IEEE, Athen/Griechenland

Hintze, E. .; Magnus, S. .; Krause, J. . (2017). Formale Verifikation von Kommunikationsprotokollen am Beispiel von IO-Link Safety, AUTOMATION 2017 „Technology networks Processes“, 27.-28.06.2017, , VDI Verlag GmbH, Baden-Baden

Holzmüller, B. .; Krause, J. . (2010). Generierung von Testfällen und deren Formatierung in SSL zur automatischen Testdurchführung, 11. Fachtagung EKA - Entwurf komplexer Automatisierungssysteme, 25.-27.05.2010, Otto-von-Guericke-Universität Magdeburg/ifak, Magdeburg

Schönrock, R. .; Ruß, T. .; Krause, J. . (2016). Intelligenter Leitkegel als Beispiel einer prototypischen Car2X-Applikation, 1. Deutscher C2X-Kongress, 01.-02.03.2016, ITS Germany e.V. , Frankfurt am Main

Magnus, S. .; Krause, J. . (2012). Kombinierung constraintbasierter Methoden und Petrinetztechniken zur Modellverifizierung offener, diskreter und reaktiver Systeme, 12. Fachtagung EKA - Entwurf komplexer Automatisierungssysteme, 09.-10.05.2012, Otto-von-Guericke-Universität Magdeburg/ifak, Magdeburg

Engel, C. .; Magnus, S. .; Krause, J. . (2017). Using Twitter as source of traffic data - Concepts and experiences of the project AUSWEG, The 4th International Symposium on Emerging Inter-networks, Communication and Mobility (EICM 2017), 24-26.07.2017, Leuven, Belgium