| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2020 | A | conf |
CP
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
VSTTE
|
| 2019 | — | conf |
AITest
|
| 2017 | A | conf |
CP
|
| 2016 | — | book |
|
| 2016 | C | conf |
ICTSS
|
| 2016 | J | jnl |
Autom. Softw. Eng.
|
| 2015 | J | jnl |
CoRR
|
| 2014 | — | conf |
CSTVA
|
| 2012 | A | conf |
CP
|
| 2012 | A | conf |
ICST
|
| 2012 | A | conf |
CP
|
| 2011 | — | conf |
LoCoCo
|
| 2011 | J | jnl |
Reliab. Comput.
|
| 2010 | — | conf |
ICSM
|
| 2010 | — | conf |
LoCoCo
|
| 2010 | A | conf |
CP
|
| 2009 | J | jnl |
Constraints An Int. J.
|
| 2008 | J | jnl |
CoRR
|
| 2008 | Misc | conf |
SAC
|
| 2008 | A | conf |
CP
|
| 2008 | J | jnl |
CoRR
|
| 2007 | Misc | conf |
SAC
|
| 2006 | J | jnl |
Softw. Test. Verification Reliab.
|
| 2005 | J | jnl |
Constraints An Int. J.
|
| 2005 | J | jnl |
SIAM J. Numer. Anal.
|
| 2005 | A | conf |
CP
|
| 2003 | — | conf |
COCOS
|
| 2002 | A | conf |
CP
|
| 2002 | — | conf |
AI&M
|
| 2002 | J | jnl |
Tech. Sci. Informatiques
|
| 2001 | A | conf |
CP
|