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
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
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
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