| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | C | conf |
PDP
|
| 2025 | — | conf |
ARTIIS Workshops (1)
|
| 2025 | C | conf |
PDP
|
| 2025 | — | conf |
IPDPS (Workshops)
|
| 2025 | — | conf |
ARTIIS Workshops (1)
|
| 2024 | — | conf |
SLATE
|
| 2024 | — | conf |
ARTIIS Workshops (1)
|
| 2024 | C | conf |
SERA
|
| 2024 | J | jnl |
Syst.
|
| 2024 | — | conf |
ARTIIS Workshops (1)
|
| 2023 | J | jnl |
Comput. Math. Organ. Theory
|
| 2023 | J | jnl |
Sensors
|
| 2023 | J | jnl |
Comput.
|
| 2023 | — | conf |
IPDPS Workshops
|
| 2022 | — | conf |
ARTIIS (1)
|
| 2022 | — | conf |
OL2A
|
| 2022 | J | jnl |
Comput.
|
| 2022 | — | conf |
OL2A
|
| 2021 | J | jnl |
Sensors
|
| 2021 | — | conf |
OL2A
|
| 2021 | — | conf |
ARTIIS
|
| 2021 | — | conf |
WorldCIST (2)
|
| 2021 | C | conf |
CIARP
|
| 2021 | — | conf |
OL2A
|
| 2020 | — | conf |
WorldCIST (1)
|
| 2020 | C | conf |
SBAC-PAD
|
| 2019 | J | jnl |
A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
|
| 2019 | J | jnl |
Formal Methods Syst. Des.
|
| 2019 | — | conf |
ICAI Workshops
|
| 2018 | J | jnl |
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software).
CoRR
|
| 2017 | Misc | conf |
Ada-Europe
|
| 2016 | J | jnl |
SIGBED Rev.
|
| 2015 | — | conf |
ICCSA (2)
|
| 2015 | — | conf |
EWiLi
|
| 2014 | — | conf |
SIES
|
| 2014 | — | conf |
EWiLi
|
| 2014 | — | conf |
Improving NS-2 Network Simulator to Evaluate IEEE 802.15.4 Wireless Networks Under Error Conditions.
SENSORNETS
|
| 2014 | — | conf |
WiSEE
|
| 2014 | — | ed. |
EWiLi
|
| 2014 | — | conf |
ICCSA (2)
|
| 2014 | — | conf |
EWiLi
|
| 2014 | J | jnl |
SIGBED Rev.
|
| 2014 | — | conf |
ICIAR (1)
|
| 2013 | B | conf |
LCN
|
| 2013 | — | conf |
ASCoMS@SAFECOMP
|
| 2012 | — | conf |
Euro-Par Workshops
|
| 2011 | — | conf |
EUROCON
|
| 2011 | — | conf |
EUROCON
|
| 2011 | J | jnl |
SIGBED Rev.
|
| 2011 | — | conf |
PECCS
|
| 2011 | — | conf |
EUROCON
|
| 2010 | — | conf |
SEUS
|
| 2010 | C | conf |
ETFA
|
| 2009 | — | conf |
SEUS
|
| 2009 | B | conf |
WADS
|
| 2009 | — | conf |
IESS
|
| 2009 | J | jnl |
Int. J. Comput. Sci. Eng.
|
| 2009 | C | conf |
AICCSA
|
| 2008 | B | conf |
ECRTS
|
| 2007 | — | conf |
ICOIN
|
| 2007 | — | conf |
Parallel and Distributed Computing and Networks
|
| 2007 | C | conf |
PDP
|
| 2006 | C | conf |
ETFA
|
| 2006 | C | conf |
ETFA
|
| 2005 | — | conf |
IASTED PDCS
|
| 2005 | Misc | conf |
PPAM
|
| 2005 | — | conf |
GIR
|
| 2004 | A | conf |
IPDPS
|
| 2004 | — | conf |
DAPSYS
|
| 2004 | Misc | conf |
PDPTA
|
| 2004 | — | conf |
Parallel and Distributed Computing and Networks
|
| 2004 | C | conf |
SBAC-PAD
|
| 2003 | A | conf |
DSN
|
| 2003 | — | conf |
Euro-Par
|
| 2003 | Misc | conf |
International Conference on Computational Science
|
| 2002 | — | conf |
VECPAR
|
| 2002 | — | conf |
VECPAR
|
| 1999 | — | conf |
FTCS
|
| 1999 | C | conf |
ISORC
|
| 1998 | — | conf |
FTCS
|
| 1998 | A | conf |
RTSS
|
| 1998 | — | conf |
ICECS
|
| 1997 | — | conf |
FTCS
|
| 1993 | A | conf |
ICDCS
|
| 1992 | A* | conf |
INFOCOM
|