| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
Comput.
|
| 2025 | J | jnl |
Int. J. Interact. Mob. Technol.
|
| 2023 | — | conf |
FiCloud
|
| 2023 | — | conf |
CloudTech
|
| 2023 | J | jnl |
Ad Hoc Networks
|
| 2023 | — | conf |
FiCloud
|
| 2022 | — | conf |
FiCloud
|
| 2021 | C | conf |
AICCSA
|
| 2021 | J | jnl |
Int. J. Inf. Syst. Soc. Chang.
|
| 2020 | J | jnl |
Heuristic algorithms for multi-criteria hardware/software partitioning in embedded systems codesign.
Comput. Electr. Eng.
|
| 2019 | B | conf |
SCA
|
| 2019 | J | jnl |
Comput. Inf. Sci.
|
| 2019 | J | jnl |
Comput. Inf. Sci.
|
| 2019 | J | jnl |
J. Comput. Inf. Technol.
|
| 2018 | — | conf |
SITA
|
| 2018 | — | conf |
CIST
|
| 2018 | — | conf |
SITA
|
| 2018 | — | conf |
On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL.
ANT/SEIT
|
| 2018 | — | conf |
NETYS
|
| 2017 | — | conf |
ICEIS (2)
|
| 2017 | B | conf |
SCA
|
| 2017 | J | jnl |
J. Softw.
|
| 2017 | B | conf |
SCA
|
| 2017 | J | jnl |
J. Softw.
|
| 2016 | — | conf |
ICEIS (1)
|
| 2016 | — | conf |
NETYS
|
| 2016 | — | conf |
SITA
|
| 2016 | — | conf |
CIST
|
| 2016 | J | jnl |
J. Comput. Inf. Technol.
|
| 2016 | — | conf |
UNet
|
| 2016 | — | conf |
NETYS
|
| 2015 | — | conf |
SITA
|
| 2015 | J | jnl |
Int. J. Comput. Sci. Appl.
|
| 2015 | — | conf |
UNet
|
| 2015 | J | jnl |
Int. J. Comput. Sci. Appl.
|
| 2015 | J | jnl |
Int. J. Comput. Sci. Appl.
|
| 2014 | — | conf |
SITA
|
| 2013 | J | jnl |
Softw. Test. Verification Reliab.
|
| 2010 | — | conf |
ITNG
|
| 2009 | J | jnl |
Comput. Networks
|
| 2009 | J | jnl |
Ann. des Télécommunications
|
| 2009 | C | conf |
SoMeT
|
| 2008 | — | conf |
QSIC
|
| 2008 | Misc | conf |
ICDCIT
|
| 2008 | J | jnl |
Softw. Qual. J.
|
| 2007 | J | jnl |
J. Networks
|
| 2007 | Misc | conf |
ICDCIT
|
| 2007 | — | conf |
TestCom/FATES
|
| 2007 | — | conf |
ITNG
|
| 2007 | J | jnl |
Int. J. Web Inf. Syst.
|
| 2003 | — | conf |
TestCom
|
| 2002 | J | jnl |
IEEE Trans. Software Eng.
|
| 2000 | — | conf |
TestCom
|
| 2000 | B | conf |
RTCSA
|
| 1999 | B | conf |
RTCSA
|
| 1999 | — | conf |
SDL Forum
|
| 1999 | J | jnl |
Comput. Networks
|
| 1998 | A | conf |
RTSS
|