ETFA 2014 Best WiP Paper Award

The publication Applying Static Code Analysis on Industrial Controller Code, written by Stefan Stattelmann, Sebastian Biallas, Bastian Schlich und Stefan Kowalewski, won the Best WiP Paper Award at the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014). The paper presents the results of our static analysis for industrial PLC programs, which is implemented in the verification-tool Arcade.PLC. The tool is developed by the Chair of Computer Science 11.


Small detours lead to a more efficient route

The Aachener Zeitung published an article about the eNav navigation system on June, 4th 2014. The article is published in german and describes how eNav works on an example route. We thank the publisher for allowing us to publish the article on our website.

Ein kleiner Umweg bringt ihn besser ans Ziel

For additional information please contact Dzenan Dzafic, M.Sc. RWTH or have a look at the eNav research.


Hilal Diab proceeds

promotiondiab.jpg We congratulate Hilal Diab on taking his doctoral degree at our chair! The exam took place on 09.05.2014. The title of his thesis is Experimental Validation and Mathematical Analysis of Cooperative Vehicles in a Platoon. promotiondiab2.jpg promotiondiab3.jpg


RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany