@inproceedings{VoertlerRuelkeHofstedt, author = {V{\"o}rtler, Thilo and R{\"u}lke, Steffen and Hofstedt, Petra}, title = {Bounded Model Checking of Contiki Applications}, series = {15th International Symposium on Design and Diagnostics of Electronic Circuits \& Systems (DDECS 2012), Tallin, Estonia, 18 - 20 April 2012}, booktitle = {15th International Symposium on Design and Diagnostics of Electronic Circuits \& Systems (DDECS 2012), Tallin, Estonia, 18 - 20 April 2012}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {978-1-4673-1187-8}, pages = {258 -- 261}, language = {en} } @misc{RuelkeSchneiderBachmannetal., author = {R{\"u}lke, Steffen and Schneider, J{\"o}rg and Bachmann, Peter and Rogin, Frank}, title = {Quality guaranty of reusable circuit description throught HDL-Source Code Analysis}, series = {International Workshop on IP-Based Synthesis and System Design'99}, journal = {International Workshop on IP-Based Synthesis and System Design'99}, language = {en} }