====== DCDS 2013: Best Paper Award ======

Die Veröffentlichung //Boolean and Modular Abstractions for Programmable Logic Controllers//, welche von Sebastian Biallas, Dimitri Bohlender und Stefan Kowalewski geschrieben wurde, ist auf dem [[http://dcds13.net.dcs.hull.ac.uk/|4. IFAC Workshop on Dependable Control of Discrete Systems (DCDS'13)]] mit dem [[http://dcds13.net.dcs.hull.ac.uk/awards|Best Paper Award]] ausgezeichnet worden. Die Veröffentlichung beschreibt zwei Abstraktionen für PLC Programme, die im Verifikations-Werkzeug [[http://arcade.embedded.rwth-aachen.de|Arcade.PLC]] eingesetzt werden, welches am Lehrstuhl 11 für Informatik entwickelt wird.