News

Announcement: SSV 2011

The 6th International Workshop on Systems Software Verification (SSV 2011) will be organized by Jörg Brauer from our group together with Marco Roveri from FBK-irst and Hendrik Tews from TU Dresden. The head of the Embedded Software Laboratory, Stefan Kowalewski will serve as part of the program committee. SSV 2011 will take place on August 26 and 27, 2011 in Nijmegen, The Netherlands. It will be held in conjunction with the 2nd International Conference on Interactive Theorem Proving.

 

Guest: Thomas Reinbacher

From 17/02/2011 till 01/03/2011, Thomas Reinbacher from the Technical University of Vienna is visiting our group. The ultimate goal of his visit is to drive further developments in the CEVTES project on automatic test-case generation for embedded systems.

 

Best Paper Award @ MEMICS 2010

The paper Test-Case Generation for Embedded Binary Code Using Abstract Interpretation written by Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger and Stefan Kowalewski has received a best paper award at MEMICS 2010. The paper describes the first results of the CEVTES project on automatic test-data generation for embedded binary code. CEVTES is a joint-project of the Embedded Software Laboratory, the Technical University of Vienna, and the University of Applied Sciences Technikum Vienna.

 
This website uses cookies. By using the website, you agree with storing cookies on your computer. If you do not agree please leave the website.More information about cookies

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