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. (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), vols. 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

Diedrich, C.; Magnus, S.; Krause, J. (2015). Automatisierte Modellgenerierung auf Basis formalisierter Anforderungsbeschreibung, at - Automatisierungstechnik, vols. 63 (2):121–128

Thron, M.; Zipper, H.; Magnus, S.; Süß, S.; Göbeler, C.; Liu, Z.; Diedrich, C. (2016). Beschreibung des normalen und gestörten Verhaltens mechatronischer Komponenten für den automatisierten virtuellen Anlagentest, AUTOMATION 2016, 07.-08.06.2016, VDI Wissensforum GmbH, Baden-Baden