| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2009 | — | ch. |
Embedded Systems Design and Verification
|
| 2007 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2007 | — | conf |
ASP-DAC
|
| 2006 | — | conf |
ASP-DAC
|
| 2005 | Misc | conf |
EMSOFT
|
| 2005 | — | ch. |
Embedded Systems Handbook
|
| 2005 | — | ch. |
The Industrial Information Technology Handbook
|
| 2005 | Misc | conf |
CODES+ISSS
|
| 2004 | C | conf |
IEEE International Workshop on Rapid System Prototyping
|
| 2004 | C | conf |
IEEE International Workshop on Rapid System Prototyping
|
| 2004 | J | jnl |
J. Syst. Softw.
|
| 2004 | J | jnl |
Integr.
|
| 2004 | A | conf |
DATE
|
| 2003 | — | conf |
ASP-DAC
|
| 2002 | J | jnl |
IEEE Trans. Software Eng.
|
| 2002 | A* | conf |
DAC
|
| 2002 | J | jnl |
Tech. Sci. Informatiques
|
| 2002 | J | jnl |
Tech. Sci. Informatiques
|
| 2002 | J | jnl |
IEEE Des. Test Comput.
|
| 2001 | J | jnl |
IEEE Des. Test Comput.
|
| 2001 | C | conf |
IEEE International Workshop on Rapid System Prototyping
|
| 2001 | J | jnl |
Tech. Sci. Informatiques
|
| 2000 | C | conf |
IEEE International Workshop on Rapid System Prototyping
|
| 2000 | — | conf |
ISSS
|
| 2000 | C | conf |
ICCD
|
| 1999 | — | — |