- Design Autom. for Emb. Sys. 7(3):271-295 (2002)
- EMSOFT, page 275-284. ACM, (2009)
- ACM Trans. Embedded Comput. Syst. (2008)http://dblp.uni-trier.de/db/journals/tecs/tecs7.html#WilhelmEEHTWBFHMMPPSS08 .
- ISoLA, page 204-211. IEEE, (2006)
- ACM Trans. Embedded Comput. Syst. (2008)
- WCET, volume 1 of OASICS, Internationales Begegnungs- und Forschungszentrum fuer Informatik IBFI, Schloss Dagstuhl, Germany, (2005)
- WCET, volume 4 of OASICS, Internationales Begegnungs- und Forschungszentrum fuer Informatik IBFI, Schloss Dagstuhl, Germany, (2006)
- ECRTS, page 227-236. IEEE Computer Society, (2006)
- ACM Trans. Embedded Comput. Syst. (2007)
- LCTES, page 157-165. ACM, (2005)
- ECRTS, page 41-48. IEEE Computer Society, (2005)
- EMSOFT, page 278-286. ACM, (2004)
- DATE, page 165-170. IEEE Computer Society, (2005)
- DAC, page 622-627. ACM, (2002)


author