[1]
Wolf, F.; Krause, J. (2013). Modellbasierte Security Tests für Automotive Anwendungen, Automotive Security 29. VDI/VW-Gemeinschaftstagung, 24.-25.09.2013, Kassel
First name:
J.
Last name:
Krause
[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
[1]
Diedrich, C.; Hintze, E.; Magnus, S.; Krause, J. (2012). Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile, SafeComp 2012 – The 31st International Conference on Computer Safety, Reliability and Security, 25.-28.09.2012, Springer, Magdeburg
[1]
Magnus, S.; Ruß, T.; Krause, J.; Diedrich, C. (2017). Modellsynthese für die Testfallgenerierung sowie Testdurchführung unter Nutzung von Methoden zur Netzwerkanalyse, at-Automatisierungstechnik, vol. 65(1):73–86
[1]
Krause, J. (2010). Validation of cooperative systems, EasyWay Annual Forum 2010 ‘Shortcut to the future’, 16.-18.11.2010, Lisbon/Portugal
[1]
Schönrock, R.; Krause, J. (2015). Verkehrsbehinderungen intelligent managen, Internationales Verkehrswesen, vols. 67 (4):74–75
[1]
Diedrich, C.; Magnus, S.; Krause, J. (2012). Test generation for model based fieldbus profiles, IEEE International Conference on Industrial Technology - ICIT, 19.-21.03.2012, IEEE, Athen/Griechenland
[1]
Hintze, E.; Magnus, S.; Krause, J. (2017). Formale Verifikation von Kommunikationsprotokollen am Beispiel von IO-Link Safety, AUTOMATION 2017 „Technology networks Processes“, 27.-28.06.2017, , VDI Verlag GmbH, Baden-Baden