| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
CoRR
|
| 2024 | — | conf |
BigComp
|
| 2021 | C | conf |
FIE
|
| 2019 | J | jnl |
CoRR
|
| 2016 | J | jnl |
Australas. J. Inf. Syst.
|
| 2014 | J | jnl |
Autom. Softw. Eng.
|
| 2014 | — | ch. |
Computational Models of Complex Systems
|
| 2013 | — | conf |
OFC/NFOEC
|
| 2013 | — | conf |
ESSoS
|
| 2012 | J | jnl |
IEEE Trans. Software Eng.
|
| 2012 | — | conf |
PROMISE
|
| 2012 | J | jnl |
IET Softw.
|
| 2011 | J | jnl |
IEEE Softw.
|
| 2011 | A | conf |
EASE
|
| 2011 | C | conf |
IAS
|
| 2011 | A | conf |
EASE
|
| 2010 | — | conf |
EuroPKI
|
| 2010 | B | conf |
IJCNN
|
| 2010 | B | conf |
IJCNN
|
| 2009 | — | conf |
Visual Information Processing
|
| 2009 | — | conf |
WASA
|
| 2009 | — | conf |
MobiCASE
|
| 2009 | — | conf |
MobiSec
|
| 2009 | C | conf |
EANN
|
| 2008 | — | conf |
Mobile HCI
|
| 2008 | — | conf |
ICPS
|
| 2008 | — | conf |
WOSIS
|
| 2008 | Misc | conf |
Visualization and Data Analysis
|
| 2007 | J | jnl |
ACM Trans. Comput. Log.
|
| 2006 | J | jnl |
J. Comput. Secur.
|
| 2005 | — | conf |
ICTCS
|
| 2005 | J | jnl |
CoRR
|
| 2005 | J | jnl |
J. Log. Algebraic Methods Program.
|
| 2004 | B | conf |
ATVA
|
| 2003 | — | conf |
SVV@ICLP
|
| 2003 | — | conf |
CompSysTech
|
| 2000 | — | conf |
ICDCS Workshop on Distributed System Validation and Verification
|
| 1999 | — | conf |
IWFM
|
| 1999 | — | book |
Introduction to the formal design of real-time systems.
|
| 1990 | J | jnl |
Softw. Eng. J.
|
| 1988 | J | jnl |
IEEE Trans. Software Eng.
|