| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | Misc | conf |
EDCC
|
| 2024 | A | conf |
DSN
|
| 2021 | Misc | conf |
EDCC
|
| 2020 | — | conf |
DSN Workshops
|
| 2020 | Misc | conf |
RTNS
|
| 2018 | J | jnl |
J. Softw. Evol. Process.
|
| 2017 | Misc | conf |
EDCC
|
| 2017 | J | jnl |
J. Syst. Archit.
|
| 2017 | — | ch. |
Handbook of Formal Methods in Human-Computer Interaction
|
| 2017 | — | conf |
DSN Workshops
|
| 2016 | — | conf |
HCI-Aero
|
| 2016 | — | conf |
HASE
|
| 2016 | B | conf |
SAFECOMP
|
| 2015 | Misc | conf |
EDCC
|
| 2014 | C | conf |
PRDC
|
| 2014 | — | conf |
IHM
|
| 2014 | Misc | conf |
EDCC
|
| 2014 | Misc | conf |
EDCC
|
| 2014 | C | conf |
PRDC
|
| 2014 | Misc | conf |
SAC
|
| 2013 | — | conf |
CBSE
|
| 2013 | — | conf |
EWDC
|
| 2013 | B | conf |
SAFECOMP
|
| 2013 | J | jnl |
Int. J. Crit. Comput. Based Syst.
|
| 2013 | C | conf |
PRDC
|
| 2013 | — | ed. |
CARS@SAFECOMP
|
| 2013 | — | conf |
CARS@SAFECOMP
|
| 2012 | — | conf |
ISSRE Workshops
|
| 2012 | B | conf |
SRDS
|
| 2012 | J | jnl |
CoRR
|
| 2012 | — | conf |
SERENE
|
| 2012 | C | conf |
PRDC
|
| 2011 | — | conf |
SERENE
|
| 2011 | — | conf |
DSN Workshops
|
| 2011 | — | conf |
EWDC
|
| 2011 | Misc | conf |
SAC
|
| 2011 | C | conf |
PRDC
|
| 2011 | — | conf |
EWDC
|
| 2011 | A | conf |
DSN
|
| 2011 | — | conf |
DSN Workshops
|
| 2010 | — | ed. |
EDCC-CARS
|
| 2010 | Misc | conf |
EDCC
|
| 2009 | B | conf |
WADS
|
| 2009 | B | ed. |
WADS
|
| 2009 | J | jnl |
Softw. Pract. Exp.
|
| 2009 | C | conf |
ETFA
|
| 2008 | C | conf |
PRDC
|
| 2008 | C | conf |
PRDC
|
| 2008 | A | conf |
DSN
|
| 2007 | A | conf |
DSN
|
| 2006 | J | jnl |
Tech. Sci. Informatiques
|
| 2005 | A | conf |
DSN
|
| 2005 | Misc | conf |
EDCC
|
| 2004 | A | conf |
DSN
|
| 2004 | J | jnl |
Tech. Sci. Informatiques
|
| 2004 | A | conf |
DSN
|
| 2003 | A | conf |
IPDPS
|
| 2003 | A | conf |
DSN
|
| 2003 | J | jnl |
IEEE Trans. Computers
|
| 2003 | A | conf |
DSN
|
| 2002 | — | conf |
DIPES
|
| 2002 | B | conf |
SRDS
|
| 2002 | J | jnl |
IEEE Trans. Computers
|
| 2002 | A | conf |
OOPSLA
|
| 2002 | C | conf |
PRDC
|
| 2002 | Misc | conf |
EDCC
|
| 2001 | A | conf |
DSN
|
| 2001 | A | conf |
Middleware
|
| 2001 | — | conf |
Reflection
|
| 2000 | C | conf |
PRDC
|
| 2000 | A | conf |
RTSS
|
| 2000 | B | conf |
SRDS
|
| 1999 | Misc | conf |
EDCC
|
| 1999 | — | conf |
FTCS
|
| 1999 | C | conf |
ISADS
|
| 1999 | — | conf |
Reflection
|
| 1998 | J | jnl |
IEEE Trans. Computers
|
| 1998 | B | conf |
SRDS
|
| 1998 | — | conf |
IPPS/SPDP Workshops
|
| 1997 | — | conf |
FTDCS
|
| 1997 | — | conf |
OOPSLA Addendum
|
| 1997 | J | jnl |
Comput. Commun.
|
| 1996 | Misc | conf |
EDCC
|
| 1995 | — | conf |
FTDCS
|
| 1995 | — | conf |
FTCS
|
| 1994 | Misc | conf |
EDCC
|
| 1992 | A | conf |
ESORICS
|
| 1991 | — | conf |
S&P
|
| 1990 | J | jnl |
IEEE Trans. Software Eng.
|
| 1986 | — | conf |
Symposium on Reliability in Distributed Software and Database Systems
|
| 1985 | A | conf |
ICDCS
|
| 1982 | A | conf |
ICDCS
|