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
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
Süß, S.; Magnus, S.; Thron, M.; Zipper, H.; Odefey, U.; Strahilov, A.; Klodowski, A.; Bär, T. (2016). Test methodology for virtual commissioning based on behaviour simulation of production systems, 21st IEEE International Conference on Emerging Technologies and Factory Automation ETFA 2016, Berlin
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