Publikationen

17 Ergebnisse gefunden
    Filterkriterien: Autor gleich S. Magnus  [Alle Filter deaktivieren]
    2017
    Krause, J.; Magnus, S.; Hintze, E.Eclipse-basierte Werkzeugkette zur Verifizierung und Testautomatisierung industrieller Kommunikationsprotokolle. KommA 2017 - 8. Jahreskolloquium "Kommunikation in der Automation", 14.-15.11.2017, Magdeburg, ifak/inIT, 2017, ISBN 978-3-944722-63-4
    Magnus, S.; Ruß, T.; Krause, J.; Diedrich, C.Modellsynthese für die Testfallgenerierung sowie Testdurchführung unter Nutzung von Methoden zur Netzwerkanalyse. at-Automatisierungstechnik 65(1):73-86, 2017
    Engel, C.; Magnus, S.; Krause, J.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, 2017
    Hintze, E.; Magnus, S.; Krause, J.Formale Verifikation von Kommunikationsprotokollen am Beispiel von IO-Link Safety. AUTOMATION 2017 „Technology networks Processes“, 27.-28.06.2017, Baden-Baden, VDI Wissensforum GmbH, VDI-Berichte 2293, 2017, ISBN 978-3-18-092293-5
    Ruß, T.; Magnus, S.; Krause, J.Automatisiertes Testen von verteilten Systemen über Petrinetze. Softwaretechnik-Trends (STT) 37(1), 2017
    2016
    Süß, S.; Magnus, S.; Thron, M.; Zipper, H.; Odefey, U.; Strahilov, A.; Klodowski, A.; Bär, T.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, 2016
    Thron, M.; Zipper, H.; Magnus, S.; Süß, S.; Göbeler, C.; Liu, Z.; Diedrich, C.Beschreibung des normalen und gestörten Verhaltens mechatronischer Komponenten für den automatisierten virtuellen Anlagentest. AUTOMATION 2016, 07.-08.06.2016, Baden-Baden, VDI Wissensforum GmbH, 2016
    Magnus, S.; Ruß, T.; Krause, J.Anforderungs- und modellbasierte Testfallgenerierung und Testdurchführung unter Nutzung von Methoden zur Netzwerkanalyse. 14. Fachtagung EKA - Entwurf komplexer Automatisierungssysteme, 24.-25.05.2016, Magdeburg, Otto-von-Guericke-Universität Magdeburg/ifak, 2016, ISBN 978-3-944722-35-1
    2015
    Krause, J.; Magnus, S.; Ruß, T.Simulationsgestütztes Testen kooperativer, verteilter Systeme. KommA 2015 - 6. Jahreskolloquium "Kommunikation in der Automation, 17.-18.11.2015, Magdeburg, ifak/inIT, 2015, ISBN 978-3-944722-33-7
    Magnus, S.; Süß, S.; Strahilov, A.; Gulan, S.; Krause, J.Testautomatisierung in der virtuellen Inbetriebnahme. AUTOMATION 2015, 11.-12.06.2015:121-134, Baden-Baden, VDI Wissensforum GmbH, 2015, ISBN 978-3-18-092258-4
    Magnus, S.; Krause, J.; Diedrich, C.Automatisierte Modellgenerierung auf Basis formalisierter Anforderungsbeschreibung. at - Automatisierungstechnik 63(2):121-128, 2015, ISBN 0178-2312
    2014
    Liu, Z.; Magnus, S.; Krause, J.; Diedrich, C.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, 2014
    Magnus, S.; Krause, J.Automatisierte Modellgenerierung auf Basis formaler Anforderungsbeschreibung als Teil der Testautomatisierung. 13. Fachtagung EKA - Entwurf komplexer Automatisierungssysteme, 14.-15.05.2014, Magdeburg, Otto-von-Guericke-Universität Magdeburg/ifak, 2014, ISBN 978-3-944722-03-0
    2012
    Krause, J.; Hintze, E.; Magnus, S.; Diedrich, C.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 7613 , Magdeburg, Springer, 2012, ISBN 978-3-642-33674-4
    Krause, J.; Magnus, S.Kombinierung constraintbasierter Methoden und Petrinetztechniken zur Modellverifizierung offener, diskreter und reaktiver Systeme. 12. Fachtagung EKA - Entwurf komplexer Automatisierungssysteme, 09.-10.05.2012, Magdeburg, Otto-von-Guericke-Universität Magdeburg/ifak, 2012, ISBN 978-3-940961-72-3
    Magnus, S.; Krause, J.; Diedrich, C.Test generation for model based fieldbus profiles. IEEE International Conference on Industrial Technology - ICIT, 19.-21.03.2012, Athen/Griechenland, IEEE, 2012, ISBN 978-1-4673-0342-2
    2011
    Magnus, S.; Diedrich, C.; Neumann, A.; Krause, J.Testgenerierung für Feldbusprofile am Beispiel eines PROFIBUS Profils. KommA 2011 - 2. Jah­reskolloquium „Kommunikation in der Automa­tion“, 27.-28.09.2011, Magdeburg, ifak/inIT, 2011, ISBN 978-3-940961-58-7