| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
Inf.
|
| 2020 | Misc | conf |
SIGITE
|
| 2020 | Misc | conf |
SIGITE
|
| 2020 | Misc | conf |
SIGITE
|
| 2019 | C | conf |
FIE
|
| 2018 | A | conf |
SIGCSE
|
| 2018 | J | jnl |
Int. J. Child Comput. Interact.
|
| 2017 | C | conf |
SEKE
|
| 2017 | A | conf |
SIGCSE
|
| 2016 | J | jnl |
Certifying a java type resolution function using program transformation, annotation, and reflection.
Softw. Qual. J.
|
| 2016 | Misc | conf |
IDC
|
| 2016 | — | conf |
TFPIE
|
| 2015 | — | conf |
HASE
|
| 2014 | — | conf |
TFPIE
|
| 2014 | — | conf |
Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function.
HASE
|
| 2013 | J | jnl |
Int. J. Semantic Comput.
|
| 2013 | — | conf |
WETSoM
|
| 2012 | — | conf |
HASE
|
| 2011 | — | conf |
HASE
|
| 2011 | — | conf |
LDTA
|
| 2011 | J | jnl |
J. Softw. Eng. Appl.
|
| 2009 | J | jnl |
Comput. Lang. Syst. Struct.
|
| 2009 | J | jnl |
IET Softw.
|
| 2008 | — | ch. |
Wiley Encyclopedia of Computer Science and Engineering
|
| 2007 | — | conf |
EA@ICSE
|
| 2007 | Misc | conf |
International Conference on Computational Science (3)
|
| 2007 | — | conf |
ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems.
DSAL@AOSD
|
| 2007 | B | conf |
GPCE
|
| 2007 | — | conf |
RULE@RDP
|
| 2007 | — | conf |
HASE
|
| 2006 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2006 | — | conf |
RULE@FLoC
|
| 2005 | — | conf |
WORDS
|
| 2005 | — | conf |
GTTSE
|
| 2005 | — | conf |
Monterey Workshop
|
| 2004 | — | ch. |
Formal Methods for Embedded Distributed Systems
|
| 2004 | — | conf |
IASTED Conf. on Software Engineering and Applications
|
| 2004 | — | conf |
RULE@RDP
|
| 2004 | — | ch. |
Formal Methods for Embedded Distributed Systems
|
| 2004 | — | conf |
HASE
|
| 2004 | J | jnl |
Sci. Comput. Program.
|
| 2003 | J | jnl |
Adv. Comput.
|
| 2001 | — | conf |
HASE
|
| 2001 | C | conf |
ATMOS
|
| 2001 | — | conf |
HASE
|
| 2001 | A | conf |
RE
|
| 1999 | — | conf |
HASE
|
| 1999 | J | jnl |
Computer
|
| 1999 | — | conf |
HASE
|
| 1998 | J | jnl |
Computer
|
| 1998 | B | conf |
ICECCS
|
| 1997 | — | conf |
HASE
|
| 1996 | — | conf |
HASE
|
| 1996 | — | conf |
HASE
|
| 1996 | — | conf |
SciTools
|