From 09/01/2012 till 20/11/2012 we welcome our guest Thomas Reinbacher from the Vienna Technical University. There have been long-standing research cooperations between the Embedded Software Laboratory and Thomas, including work on topics such as binary code analysis and testing or runtime verification of embedded systems.
On the latter topic, Thomas will give a talk 19/01/2012, 12:30 till 13:15. The talk will take place in room 2002 on the ground floor. Everyone interested in this field is kindly invited to attend.