2008 |
11 | EE | Dianxiang Xu,
Weifeng Xu,
W. Eric Wong:
Testing Aspect-Oriented Programs with UML Design Models.
International Journal of Software Engineering and Knowledge Engineering 18(3): 413-437 (2008) |
2007 |
10 | EE | Dianxiang Xu,
Izzat Alsmadi,
Weifeng Xu:
Model Checking Aspect-Oriented Design Specification.
COMPSAC (1) 2007: 491-500 |
9 | EE | Weifeng Xu,
Russell Tessier:
Tetris: a new register pressure control technique for VLIW processors.
LCTES 2007: 113-122 |
8 | | Dianxiang Xu,
Weifeng Xu,
W. Eric Wong:
Automated Test Code Generation from UML Protocol State Machines.
SEKE 2007: 99-104 |
7 | EE | Wuxue Zhang,
Yong Zhang,
Hui Zheng,
Chen Zhang,
Wei Xiong,
John G. Olyarchuk,
Michael Walker,
Weifeng Xu,
Min Zhao,
Shuqi Zhao,
Zhuan Zhou,
Liping Wei:
SynDB: a Synapse protein DataBase based on synapse ontology.
Nucleic Acids Research 35(Database-Issue): 737-741 (2007) |
2006 |
6 | EE | Dianxiang Xu,
Weifeng Xu:
State-based incremental testing of aspect-oriented programs.
AOSD 2006: 180-189 |
5 | EE | Weifeng Xu,
Dianxiang Xu:
State-based testing of integration aspects.
WTAOP 2006: 7-14 |
4 | EE | Premachandran R. Menon,
Weifeng Xu,
Russell Tessier:
Design-specific path delay testing in lookup-table-based FPGAs.
IEEE Trans. on CAD of Integrated Circuits and Systems 25(5): 867-877 (2006) |
2005 |
3 | | Dianxiang Xu,
Weifeng Xu,
Kendall E. Nygard:
A State-Based Approach to Testing Aspect-Oriented Programs.
SEKE 2005: 366-371 |
2 | EE | Russell Tessier,
David Jasinski,
Atul Maheshwari,
Aiyappan Natarajan,
Weifeng Xu,
Wayne P. Burleson:
An energy-aware active smart card.
IEEE Trans. VLSI Syst. 13(10): 1190-1199 (2005) |
2003 |
1 | EE | Weifeng Xu,
Ramshankar Ramanarayanan,
Russell Tessier:
Adaptive Fault Recovery for Networked Reconfigurable Systems.
FCCM 2003: 143- |