====== ETFA 2014 Best WiP Paper Award ======

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 [[http://www.etfa2014.org/|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 [[http://arcade.embedded.rwth-aachen.de/go|Statischen Analyse]] für industrielle PLC Programme, die im Verifikations-Werkzeug [[http://arcade.embedded.rwth-aachen.de|Arcade.PLC]] eingesetzt wird, welches am Lehrstuhl 11 für Informatik entwickelt wird.