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

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

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

Diedrich, C.; Magnus, S.; Liu, Z.; Krause, J. (2014). Concept for modelling and testing of individual mechatronic components for manufacturing plant simulation, 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014 16.-19.09.2014, Barcelona, Spanien

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

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, vol. 65(1):73–86

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