| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2011 | J | jnl |
IET Softw.
|
| 2011 | — | ch. |
Model-Based Testing for Embedded Systems
|
| 2009 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 2009 | — | conf |
ICSE Companion
|
| 2009 | — | ed. |
AST@ICSE
|
| 2008 | — | conf |
AST@ICSE
|
| 2007 | A | conf |
MSR
|
| 2005 | A | conf |
MoDELS
|
| 1995 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1994 | J | jnl |
ACM SIGPLAN Notices
|
| 1994 | J | jnl |
Real Time Syst.
|
| 1993 | B | conf |
PPoPP
|
| 1992 | — | conf |
NATO ASI RTC
|
| 1991 | — | conf |
Workshop on Parallel and Distributed Debugging
|
| 1990 | — | conf |
ICPP (2)
|