| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2020 | J | jnl |
CoRR
|
| 2016 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2014 | B | conf |
VEE
|
| 2013 | C | conf |
ISMM
|
| 2012 | A | conf |
OOPSLA
|
| 2012 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2012 | J | jnl |
ACM SIGPLAN Notices
|
| 2011 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2011 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2011 | C | conf |
ISMM
|
| 2011 | Misc | conf |
EMSOFT
|
| 2011 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2011 | J | jnl |
ACM Trans. Comput. Syst.
|
| 2010 | — | conf |
PLPV
|
| 2010 | — | conf |
JTRES
|
| 2010 | A | conf |
TACAS
|
| 2010 | — | conf |
JTRES
|
| 2010 | — | ed. |
JTRES
|
| 2010 | — | conf |
WOSP/SIPEW
|
| 2009 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2009 | — | conf |
FESCA@ETAPS
|
| 2009 | — | conf |
JTRES
|
| 2009 | J | jnl |
ACM SIGPLAN Notices
|
| 2009 | C | conf |
FMICS
|
| 2009 | — | conf |
JTRES
|
| 2009 | A | conf |
RTSS
|
| 2006 | — | conf |
VALUETOOLS
|
| 2006 | — | conf |
EPEW
|
| 2005 | B | conf |
MASCOTS
|
| 2005 | — | conf |
QoSA/SOQUA
|
| 2005 | J | jnl |
Perform. Evaluation
|
| 2004 | — | conf |
SOQUA/TECOS
|
| 2004 | C | conf |
IPCCC
|
| 2002 | — | conf |
OTM
|