Jan Krause

Orcid: 0000-0002-3428-7025

According to our database1, Jan Krause authored at least 14 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Guard-ring free InGaAs/InP single photon avalanche diodes for C-band quantum communication.
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2023

2018
Feature-Based Testing by Using Model Synthesis, Test Generation and Parameterizable Test Prioritization.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

2017
Automatisiertes Testen von verteilten Systemen über Petrinetze.
Softwaretechnik-Trends, 2017

Modellsynthese für die Testfallgenerierung sowieTestdurchführung unter Nutzung von Methoden zur Netzwerkanalyse.
Autom., 2017

Using Twitter as source of traffic data - Concepts and experiences of the project AUSWEG.
Proceedings of the 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2017) / 12th International Conference on Future Networks and Communications (FNC 2017) / Affiliated Workshops, 2017

2016
Situation Awareness for Push-Based Recommendations in Mobile Devices.
Proceedings of the Business Information Systems - 19th International Conference, 2016

2015
Automatisierte Modellgenerierung auf Basis formalisierter Anforderungsbeschreibung.
Autom., 2015

2014
Publication trends of shared decision making in 15 high impact medical journals: a full-text review with bibliometric analysis.
BMC Medical Informatics Decis. Mak., 2014

Concept for modelling and testing of individual mechatronic components for manufacturing plant simulation.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
Analyse von reaktiven Verhaltensmodellen mit Constraintprogrammierung und Petrinetztechniken.
Autom., 2013

2012
Testfallgenerierung aus modellbasierten Systemspezifikationen auf der Basis von Petrinetzentfaltungen.
PhD thesis, 2012

Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile.
Proceedings of the Computer Safety, Reliability, and Security, 2012

2010
Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten.
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

2006
UML based software development under safety constraints.
Proceedings of the Sicherheit 2006: Sicherheit, 2006


  Loading...