Stephan Magnus

Distributed Learning - Die Online Universität

Stephan Magnus, 2000 .

Feature-Based Testing by Using Model Synthesis, Test Generation and Parameterizable Test Prioritization

Jan Krause, Stephan Magnus, Martin Reider, 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Modellsynthese für die Testfallgenerierung sowie Testdurchführung unter Nutzung von Methoden zur Netzwerkanalyse

Christian Diedrich, Jan Krause, Stephan Magnus, 2017, Autom..

Test methodology for virtual commissioning based on behaviour simulation of production systems

Christian Diedrich, Holger Zipper, Stephan Magnus, 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

Automatisierte Modellgenerierung auf Basis formalisierter Anforderungsbeschreibung

Christian Diedrich, Jan Krause, Stephan Magnus, 2015, Autom..

Using Twitter as source of traffic data - Concepts and experiences of the project AUSWEG

Jan Krause, Stephan Magnus, Christoph Engel, 2017, FNC/MobiSPC.

Concept for modelling and testing of individual mechatronic components for manufacturing plant simulation

Zheng Liu, Christian Diedrich, Jan Krause, 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

Automatisiertes Testen von verteilten Systemen über Petrinetze

Jan Krause, Stephan Magnus, Tim Ruß, 2017, Softwaretechnik-Trends.

Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile

Christian Diedrich, Jan Krause, Stephan Magnus, 2012, SAFECOMP.