UML based software development under safety constraints. - Christian Diedrich; Jan Krause; Andreas Franke 002 (Sicherheit, 2006)

Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten. - Jan Krause; Christian Diedrich (GI Jahrestagung (2), 2010)

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

Testfallgenerierung aus modellbasierten Systemspezifikationen auf der Basis von Petrinetzentfaltungen. - Jan Krause (Shaker, 2012)

Analyse von reaktiven Verhaltensmodellen mit Constraintprogrammierung und Petrinetztechniken. - Jan Krause; Christian Diedrich (Autom., 2013)

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

Publication trends of shared decision making in 15 high impact medical journals: a full-text review with bibliometric analysis. - Xavier Blanc 004; Tinh-Hai Collet; Reto Auer; Roland Fischer; Isabella Locatelli; Pablo Iriarte; Jan Krause; France Légaré; Jacques Cornuz (BMC Medical Informatics Decis. Mak., 2014)

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

Situation Awareness for Push-Based Recommendations in Mobile Devices. - Ramón Hermoso; Jürgen Dunkel; Jan Krause (BIS, 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)

Guard-ring free InGaAs/InP single photon avalanche diodes for C-band quantum communication. - Pascal Rustige; Jan Krause; Lorenz Eckoldt; Patrick Runge; Martin Schell (OFC, 2023)