News
DCDS 2013: Best Paper Award
The publication Boolean and Modular Abstractions for Programmable Logic Controllers, written by Sebastian Biallas, Dimitri Bohlender and Stefan Kowalewski, won the Best Paper Award at the 4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS'13). The paper deals with two abstractions for PLC programs which are used by the verification-tool Arcade.PLC. The tool is developed by the Chair of Computer Science 11.
Welcome to our new apprentices
Two new apprentices started their professional education at our chair this year. We welcome Florian Pryk and Stefan Klug as trainee IT specialists and software engineers.
Jacob Palczynski graduated
We congratulate our colleague Jacob Palczynski on his successful graduation! The examination on the 16th of September dealt with Time-Continuous Behaviour Comparison Based on Abstract Models.