Die Veröffentlichung Applying Static Code Analysis on Industrial Controller Code, welche von Stefan Stattelmann, Sebastian Biallas, Bastian Schlich und Stefan Kowalewski geschrieben wurde, ist auf der 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014) mit dem Best WiP Paper Award ausgezeichnet worden. Die Veröffentlichung beschreibt die Ergebnisse unserer Statischen Analyse für industrielle PLC Programme, die im Verifikations-Werkzeug Arcade.PLC eingesetzt wird, welches am Lehrstuhl 11 für Informatik entwickelt wird.