Jan Krause

17 papers B 1C 1Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
A consolidated and accessible security proof for finite-size decoy-state quantum key distribution.
Quantum
Jerome Wiesemann, Jan Krause, Devashish Tupkary, Norbert Lütkenhaus, Davide Rusca, Nino Walenta
2025 — conf
Dynamic Rerouting of Quantum Key Distribution Links During Live Operation for Software-Defined Networks.
ECOC
Jan Krause, Stephanie Renneke, Jonas Hilt, Oliver Peters, Peter Hanne, Andy Schreier, Ronald Freund, Nino Walenta
2025 — conf
Qubit-Based Clock Drift Correction for Resource-Efficient Quantum Key Distribution.
ECOC
Stephanie Renneke, Jan Krause, Jonas Hilt, Oliver Peters, Peter Hanne, Andy Schreier, Ronald Freund, Nino Walenta
2023 — conf
Guard-ring free InGaAs/InP single photon avalanche diodes for C-band quantum communication.
OFC
Pascal Rustige, Jan Krause, Lorenz Eckoldt, Patrick Runge, Martin Schell
2018 — conf
Feature-Based Testing by Using Model Synthesis, Test Generation and Parameterizable Test Prioritization.
ICST Workshops
Martin Reider, Stephan Magnus, Jan Krause
2017 J jnl
Automatisiertes Testen von verteilten Systemen über Petrinetze.
Softwaretechnik-Trends
Tim Ruß, Stephan Magnus, Jan Krause
2017 J jnl
Modellsynthese für die Testfallgenerierung sowieTestdurchführung unter Nutzung von Methoden zur Netzwerkanalyse.
Autom.
Stephan Magnus, Tim Ruß, Jan Krause, Christian Diedrich
2017 — conf
Using Twitter as source of traffic data - Concepts and experiences of the project AUSWEG.
FNC/MobiSPC
Christoph Engel, Stephan Magnus, Jan Krause
2016 — conf
Situation Awareness for Push-Based Recommendations in Mobile Devices.
BIS
Ramón Hermoso, Jürgen Dunkel, Jan Krause
2015 J jnl
Automatisierte Modellgenerierung auf Basis formalisierter Anforderungsbeschreibung.
Autom.
Stephan Magnus, Jan Krause, Christian Diedrich
2014 C conf
Concept for modelling and testing of individual mechatronic components for manufacturing plant simulation.
ETFA
Zheng Liu, Stephan Magnus, Jan Krause, Christian Diedrich
2014 J jnl
Publication trends of shared decision making in 15 high impact medical journals: a full-text review with bibliometric analysis.
BMC Medical Informatics Decis. Mak.
Xavier Blanc, Tinh-Hai Collet, Reto Auer, Roland Fischer, Isabella Locatelli, Pablo Iriarte, Jan Krause, France Légaré, Jacques Cornuz
2013 J jnl
Analyse von reaktiven Verhaltensmodellen mit Constraintprogrammierung und Petrinetztechniken.
Autom.
Jan Krause, Christian Diedrich
2012 B conf
Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile.
SAFECOMP
Jan Krause, Elke Hintze, Stephan Magnus, Christian Diedrich
2012 — —
Testfallgenerierung aus modellbasierten Systemspezifikationen auf der Basis von Petrinetzentfaltungen.
Jan Krause
2010 — conf
Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten.
GI Jahrestagung (2)
Jan Krause, Christian Diedrich
2006 — conf
UML based software development under safety constraints.
Sicherheit
Christian Diedrich, Jan Krause, Andreas Franke