First name:
J.
Last name:
Krause
[1]
Reider, M.; Magnus, S.; Krause, J. (2018). Feature-Based Testing by Using Model Synthesis, Test Generation and Parameterizable Test Prioritization, 1st IEEE Workshop on NEXt level of Test Automation – NEXTA 2018, 9.04.2018, Västerås/Sweden
[1]
Magnus, S.; Gulan, S.; Süß, S.; Strahilov, A.; Krause, J. (2015). Testautomatisierung in der virtuellen Inbetriebnahme, AUTOMATION 2015, 11.-12.06.2015, VDI Wissensforum GmbH, Baden-Baden, 121–134
[1]
Diedrich, C.; Krause, J. (2013). Analyse von reaktiven Verhaltensmodellen mit Constrainprogrammierung und Petrinetztechniken, at - Automatisierungstechnik, vols. 61 (2):114–121. doi:10.1524/auto.2013.0013
[1]
Schade, J.; Schönrock, R.; Krause, J. (2016). Institut für Automation und Kommunikation entwickelt intelligenten Leitkegel, pvt - Polizei Verkehr + Technik, vols. 61 (1):50–51
[1]
Schnieder, E.; Wu, D.; Krause, J. (2013). Model-based Test Generation Techniques Verifying the On-board Module of a Satellite-based Train Control System Model, ICIRT 2013 - IEEE International Conference on Intelligent Rail Transportation, 30.08.-01.09.2013, IEEE, Beijing, 274–279. doi:10.1109/ICIRT.2013.6696307
[1]
Ruß, T.; Leßmann, G.; Krause, J. (2015). Systematischer Systemtest durch Analyse und Manipulation von Netzwerkkommunikation, AUTOMATION 2015, 11.-12.06.2015, VDI Wissensforum GmbH, Baden-Baden, 279–290
[1]
Wolf, F.; Krause, J. (2013). Modellbasierte Security Tests für Automotive Anwendungen, Automotive Security 29. VDI/VW-Gemeinschaftstagung, 24.-25.09.2013, Kassel
[1]
Diedrich, C.; Magnus, S.; Liu, Z.; Krause, J. (2014). Concept for modelling and testing of individual mechatronic components for manufacturing plant simulation, 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014 16.-19.09.2014, Barcelona, Spanien
[1]
Magnus, S.; Krause, J. (2014). Automatisierte Modellgenerierung auf Basis formaler Anforderungsbeschreibung als Teil der Testautomatisierung, 13. Fachtagung EKA - Entwurf komplexer Automatisierungssysteme, 14.-15.05.2014, Otto-von-Guericke-Universität Magdeburg/ifak, Magdeburg
[1]
Krause, J.; Magnus, S.; Ruß, T. (2015). Simulationsgestütztes Testen kooperativer, verteilter Systeme, KommA 2015 - 6. Jahreskolloquium "Kommunikation in der Automation, 17.-18.11.2015, ifak/inIT, Magdeburg