Reider, M. .; Magnus, S. .; Krause, J. . (2018). Feature-Based Testing by Using Model Synthesis, Test Generation and Parameterizable Test Prioritization, 1st IEEE Workshop on NEXt level of Test Automation – NEXTA 2018, 9.04.2018, Västerås/Sweden

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

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

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

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

Magnus, S. .; Krause, J. . (2014). Automatisierte Modellgenerierung auf Basis formaler Anforderungsbeschreibung als Teil der Testautomatisierung, 13. Fachtagung EKA - Entwurf komplexer Automatisierungssysteme, 14.-15.05.2014, Otto-von-Guericke-Universität Magdeburg/ifak, Magdeburg

Ruß, T. .; Magnus, S. .; Krause, J. . (2017). Automatisiertes Testen von verteilten Systemen über Petrinetze, Softwaretechnik-Trends (STT), Bde. 37 (1)

Magnus, S. .; Gulan, S. .; Süß, S. .; Strahilov, A. .; Krause, J. . (2015). Testautomatisierung in der virtuellen Inbetriebnahme, AUTOMATION 2015, 11.-12.06.2015, VDI Wissensforum GmbH, Baden-Baden, 121–134

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

Krause, J. .; Magnus, S. .; Ruß, T. . (2015). Simulationsgestütztes Testen kooperativer, verteilter Systeme, KommA 2015 - 6. Jahreskolloquium "Kommunikation in der Automation, 17.-18.11.2015, ifak/inIT, Magdeburg