| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2019 | — | ch. |
Resilience of Cyber-Physical Systems
|
| 2018 | — | conf |
XP Companion
|
| 2018 | — | conf |
XP Companion
|
| 2018 | — | conf |
XP Companion
|
| 2018 | J | jnl |
Softw. Qual. J.
|
| 2017 | — | conf |
MMM-ACNS
|
| 2016 | C | conf |
FedCSIS
|
| 2013 | B | conf |
SAFECOMP
|
| 2013 | — | conf |
SERENE
|
| 2012 | B | conf |
ENASE
|
| 2012 | J | jnl |
Comput. Sci.
|
| 2012 | — | conf |
SAFECOMP Workshops
|
| 2011 | J | jnl |
e Informatica Softw. Eng. J.
|
| 2011 | J | jnl |
Comput. Stand. Interfaces
|
| 2011 | J | jnl |
Reliab. Eng. Syst. Saf.
|
| 2010 | — | conf |
OTM Conferences (1)
|
| 2008 | — | conf |
DepCoS-RELCOMEX
|
| 2008 | B | conf |
SAFECOMP
|
| 2008 | — | conf |
DepCoS-RELCOMEX
|
| 2007 | — | conf |
CEE-SET
|
| 2007 | — | conf |
DepCoS-RELCOMEX
|
| 2007 | — | conf |
ICECS
|
| 2006 | — | conf |
DepCoS-RELCOMEX
|
| 2006 | B | ed. |
SAFECOMP
|
| 2006 | J | jnl |
Int. Trans. Syst. Sci. Appl.
|
| 2006 | — | conf |
DepCoS-RELCOMEX
|
| 2006 | A | conf |
AAMAS
|
| 2005 | — | ch. |
Information Processing and Security Systems
|
| 2005 | — | ch. |
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
|
| 2005 | — | ch. |
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
|
| 2005 | J | jnl |
Reliab. Eng. Syst. Saf.
|
| 2005 | A | conf |
AAMAS
|
| 2003 | B | conf |
SAFECOMP
|
| 2003 | J | jnl |
Annu. Rev. Control.
|
| 2001 | B | conf |
SAFECOMP
|
| 2001 | — | conf |
ACS
|
| 2000 | B | conf |
SAFECOMP
|
| 1998 | B | conf |
SAFECOMP
|
| 1996 | — | conf |
RTS
|
| 1996 | B | conf |
SAFECOMP
|
| 1995 | B | conf |
SAFECOMP
|
| 1995 | — | conf |
CSEE
|
| 1994 | — | conf |
RTS
|
| 1993 | B | ed. |
SAFECOMP
|
| 1987 | J | jnl |
Microprocess. Microprogramming
|
| 1978 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1978 | J | jnl |
ACM SIGPLAN Notices
|
| 1976 | B | conf |
MFCS
|