Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile. - Jan Krause; Elke Hintze; Stephan Magnus; Christian Diedrich (SAFECOMP, 2012)

Concept for modelling and testing of individual mechatronic components for manufacturing plant simulation. - Zheng Liu; Stephan Magnus; Jan Krause; Christian Diedrich (ETFA, 2014)

Automatisierte Modellgenerierung auf Basis formalisierter Anforderungsbeschreibung. - Stephan Magnus; Jan Krause; Christian Diedrich (Autom., 2015)

Test methodology for virtual commissioning based on behaviour simulation of production systems. - Sebastian Süß; Stephan Magnus; Mario Thron; Holger Zipper; Ulrich Odefey; Victor Fäßler; Anton Strahilov; Adam Klodowski; Thomas Bär; Christian Diedrich (ETFA, 2016)

Using Twitter as source of traffic data - Concepts and experiences of the project AUSWEG. - Christoph Engel; Stephan Magnus; Jan Krause (FNC/MobiSPC, 2017)

Modellsynthese für die Testfallgenerierung sowieTestdurchführung unter Nutzung von Methoden zur Netzwerkanalyse. - Stephan Magnus; Tim Ruß; Jan Krause; Christian Diedrich (Autom., 2017)

Automatisiertes Testen von verteilten Systemen über Petrinetze. - Tim Ruß; Stephan Magnus; Jan Krause (Softwaretechnik-Trends, 2017)

Feature-Based Testing by Using Model Synthesis, Test Generation and Parameterizable Test Prioritization. - Martin Reider; Stephan Magnus; Jan Krause (ICST Workshops, 2018)