| * | 2009 |
|---|
| 58 | EE | Wei Dong,
Peng Li:
Parallelizable stable explicit numerical integration for efficient circuit simulation.
DAC 2009: 382-385 |
| 57 | EE | Wei Dong,
Chun Chen,
Xue Liu,
Jiajun Bu,
Yunhao Liu:
Performance of Bulk Data Dissemination in Wireless Sensor Networks.
DCOSS 2009: 356-369 |
| 56 | EE | Wei Dong,
Rubin Wang,
Zhikang Zhang:
Simulation Study of CPG Model: Exploring of a Certain Characteristics of Rhythm of Gait Movement on the Intelligent Creature.
ISNN (1) 2009: 138-148 |
| 55 | EE | Wei Dong,
Jiandong Li,
Zhuo Lu:
Joint timing error, frequency offset and channel estimation for MIMO systems.
IWCMC 2009: 878-882 |
| 54 | EE | Wei Dong,
Baogang Xu:
A note on list improper coloring of plane graphs.
Discrete Applied Mathematics 157(2): 433-436 (2009) |
| 53 | EE | Wei Dong,
Peng Li:
A Parallel Harmonic-Balance Approach to Steady-State and Envelope-Following Simulation of Driven and Autonomous Circuits.
IEEE Trans. on CAD of Integrated Circuits and Systems 28(4): 490-501 (2009) |
| 52 | EE | Ji Wang,
Xiaodong Ma,
Wei Dong,
Hou-Feng Xu,
Wanwei Liu:
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis.
J. Comput. Sci. Technol. 24(2): 347-356 (2009) |
| 2008 |
|---|
| 51 | EE | Wei Dong,
Zhe Wang,
Moses Charikar,
Kai Li:
Efficiently matching sets of features with random histograms.
ACM Multimedia 2008: 179-188 |
| 50 | EE | Wei Dong,
Jiandong Li,
Zhuo Lu:
Parameter Estimation for MIMO Systems with Multiple Frequency Offsets.
AINA 2008: 480-485 |
| 49 | EE | Wei Dong,
Martin Leucker,
Christian Schallhart:
Impartial Anticipation in Runtime-Verification.
ATVA 2008: 386-396 |
| 48 | EE | Wei Dong,
Zhe Wang,
William Josephson,
Moses Charikar,
Kai Li:
Modeling LSH for performance tuning.
CIKM 2008: 669-678 |
| 47 | EE | Wei Dong,
Ji Wang,
Changzhi Zhao,
Xian Zhang,
Jie Tian:
Automating Software FMEA via Formal Analysis of Dependence Relations.
COMPSAC 2008: 490-491 |
| 46 | EE | Wei Dong,
Peng Li,
Xiaoji Ye:
WavePipe: parallel transient simulation of analog and digital circuits on multi-core shared-memory machines.
DAC 2008: 238-243 |
| 45 | EE | Wei Dong,
Chun Chen,
Xue Liu,
Kougen Zheng,
Rui Chu,
Jiajun Bu:
FIT: A Flexible, LIght-Weight, and Real-Time Scheduling System for Wireless Sensor Platforms.
DCOSS 2008: 126-139 |
| 44 | EE | Wei Dong,
Peng Li,
Garng M. Huang:
SRAM dynamic stability: theory, variability and analysis.
ICCAD 2008: 378-385 |
| 43 | EE | Xiaoji Ye,
Wei Dong,
Peng Li,
Sani R. Nassif:
MAPS: multi-algorithm parallel circuit simulation.
ICCAD 2008: 73-78 |
| 42 | EE | Kwang Yong Lim,
F. Young Koon Goh,
Wei Dong,
Kim Doang Nguyen,
I-Ming Chen,
Song Huat Yeo,
Henry Been-Lirn Duh,
Chung Gon Kim:
A wearable, self-calibrating, wireless sensor network for body motion processing.
ICRA 2008: 1017-1022 |
| 41 | EE | Wei Dong,
Kwang Yong Lim,
Young Koon Goh,
Kim Doang Nguyen,
I-Ming Chen,
Song Huat Yeo,
Henry Been-Lirn Duh:
A low-cost motion tracker and its error analysis.
ICRA 2008: 311-316 |
| 40 | EE | Junmin Ye,
Junjie Wang,
Wei Dong,
Zhichang Qi:
Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology.
ICYCS 2008: 1777-1782 |
| 39 | EE | Junmin Ye,
Zemei Zhan,
Zhenfang Zhang,
Wei Dong,
Zhichang Qi:
Design of Some Artificial Immune Operators in Software Test Cases Generation.
ICYCS 2008: 2302-2307 |
| 38 | EE | Junmin Ye,
Wei Dong,
Zhichang Qi:
A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications.
ICYCS 2008: 2325-2329 |
| 37 | EE | Wei Dong,
Chun Chen,
Jiajun Bu,
Kougen Zheng,
Xiaofan Wu,
Guodong Teng:
A Dynamic TimeSynchronization Scheme for Multihop Sensor Networks.
ICYCS 2008: 582-587 |
| 36 | EE | Xiaodong Ma,
Ji Wang,
Wei Dong:
Computing Must and May Alias to Detect Null Pointer Dereference.
ISoLA 2008: 252-261 |
| 35 | EE | Kim Doang Nguyen,
Kwang Yong Lim,
Wei Dong,
Young Koon Goh,
I-Ming Chen,
Song Huat Yeo,
Henry Been-Lirn Duh,
Kang Li,
Chen Hao Su:
Toward a Dynamic Model of Robotic Marionettes.
RAM 2008: 488-493 |
| 34 | EE | Wei Dong,
Moses Charikar,
Kai Li:
Asymmetric distance estimation with sketches for similarity search in high-dimensional spaces.
SIGIR 2008: 123-130 |
| 33 | EE | Wei Dong,
Jiandong Li,
Zhuo Lu:
Joint Frequency Offset and Channel Estimation for MIMO Systems Based on Particle Swarm Optimization.
VTC Spring 2008: 862-866 |
| 32 | EE | Wei Dong,
Litao Yang,
Kailin Shen,
Banghyun Kim,
Gijs A. Kleter,
Hans J. P. Marvin,
Rong Guo,
Wanqi Liang,
Dabing Zhang:
GMDD: a database of GMO detection methods.
BMC Bioinformatics 9: (2008) |
| 31 | EE | Dong Zhao,
Wei Dong,
Deyi Xue:
A Hybrid Model for Optimal Concurrent Design of Solid Oxide Fuel Cell System Considering Functional Performance and Production Cost.
Concurrent Engineering: R&A 16(2): 161-172 (2008) |
| 30 | EE | Xiaodong Ma,
Ji Wang,
Wei Dong:
Shape Analysis by Refining on Abstract Evaluation Path.
Electr. Notes Theor. Comput. Sci. 207: 137-151 (2008) |
| 29 | EE | Guo Yu,
Wei Dong,
Zhuo Feng,
Peng Li:
Statistical Static Timing Analysis Considering Process Variation Model Uncertainty.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(10): 1880-1890 (2008) |
| 28 | EE | Linyan Tu,
Wei Dong,
Yindong Ji,
Xinya Sun:
A Meta-model Based Modeling Method for Geographic Information Model in CTCS Hardware-in-the-loop Simulation System.
JCP 3(12): 19-26 (2008) |
| 2007 |
|---|
| 27 | EE | Peng He,
Jiandong Li,
Wei Dong:
A Novel Distributed Topology Control Algorithm for Ad Hoc Networks.
AINA Workshops (2) 2007: 653-658 |
| 26 | EE | Wei Dong,
Ji Wang,
Zhichang Qi,
Ni Rong:
Compositional Verification of UML Dynamic Models.
APSEC 2007: 286-293 |
| 25 | EE | Wei Dong,
Peng Li:
Accelerating Harmonic Balance Simulation Using Efficient Parallelizable Hierarchical Preconditioning.
DAC 2007: 436-439 |
| 24 | EE | Guo Yu,
Wei Dong,
Zhuo Feng,
Peng Li:
A Framework for Accounting for Process Model Uncertainty in Statistical Static Timing Analysis.
DAC 2007: 829-834 |
| 23 | EE | Wei Dong,
Zhuo Feng,
Peng Li:
Efficient VCO phase macromodel generation considering statistical parametric variations.
ICCAD 2007: 874-878 |
| 22 | EE | Wanwei Liu,
Ji Wang,
Wei Dong,
Huowang Chen:
Axiomatizing Extended Temporal Logic Fragments Via Instantiation.
ICTAC 2007: 322-336 |
| 21 | EE | Guo Yu,
Peng Li,
Wei Dong:
Achieving Low-Cost Linearity Test and Diagnosis of Sigma Delta ADCs via Frequency-Domain Nonlinear Analysis and Macromodeling.
ISQED 2007: 513-518 |
| 20 | EE | Zhe Wang,
Wei Dong,
William Josephson,
Qin Lv,
Moses Charikar,
Kai Li:
Sizing sketches: a rank-based analysis for similarity search.
SIGMETRICS 2007: 157-168 |
| 19 | EE | Wei Dong,
Zhenbang Chen,
Ji Wang:
A Contract-based Approach to Specifying and Verifying Safety Critical Systems.
Electr. Notes Theor. Comput. Sci. 176(2): 89-103 (2007) |
| 18 | EE | Wei Dong,
Peng Li:
Hierarchical Harmonic-Balance Methods for Frequency-Domain Analog-Circuit Analysis.
IEEE Trans. on CAD of Integrated Circuits and Systems 26(12): 2089-2101 (2007) |
| 17 | EE | Wing Lok Yeung,
Karl R. P. H. Leung,
Ji Wang,
Wei Dong:
Modelling and model checking suspendible business processes via statechart diagrams and CSP.
Sci. Comput. Program. 65(1): 14-29 (2007) |
| 2006 |
|---|
| 16 | EE | Zhenbang Chen,
Ji Wang,
Wei Dong,
Zhichang Qi,
Wing Lok Yeung:
An Interface Theory Based Approach to Verification of Web Services.
COMPSAC (2) 2006: 139-144 |
| 15 | EE | Wei Dong,
Yang Shou-bao,
Guo Lei-tao:
Object Reputation Based Anti-Pollution P2P File Sharing System.
ICDIM 2006: 538-543 |
| 14 | | Wing Lok Yeung,
Karl R. P. H. Leung,
Ji Wang,
Wei Dong:
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP.
MSVVEIS 2006: 97-107 |
| 13 | EE | Wing Lok Yeung,
Ji Wang,
Wei Dong:
Verifying Choreographic Descriptions of Web Services Based on CSP.
SCW 2006: 97-104 |
| 12 | EE | Zhenbang Chen,
Ji Wang,
Wei Dong,
Zhichang Qi:
Towards Formal Interfaces for Web Services with Transactions.
SITIS 2006: 292-304 |
| 11 | EE | Changci Pang,
Wei Dong,
Zhongli Wei:
Green's function and positive solutions of nth order m-point boundary value problem.
Applied Mathematics and Computation 182(2): 1231-1239 (2006) |
| 10 | EE | Mengluo Ji,
Huaimin Wang,
Mengjun Li,
Wei Dong,
Zhichang Qi:
An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework.
Journal of Computer Research and Development 43(11): 2020-2026 (2006) |
| 9 | EE | Cuiping Jia,
Wei Dong,
Caixia Liu,
Xindong Zhang,
Jingran Zhou,
Zhicheng Zhong,
Hailin Xue,
Huidong Zang,
Baokun Xu,
Weiyou Chen:
Convex corners undercutting and rhombus compensation in KOH with and without IPA solution on (110) silicon.
Microelectronics Journal 37(11): 1297-1301 (2006) |
| 2005 |
|---|
| 8 | EE | Wing Lok Yeung,
Karl R. P. H. Leung,
Ji Wang,
Wei Dong:
Improvements Towards Formalizing UML State Diagrams in CSP.
APSEC 2005: 176-184 |
| 7 | EE | Wei Dong,
Ji Wang:
Contract-Based Formal Specification of Safety Critical Systems.
COMPSAC (2) 2005: 7-8 |
| 6 | | Wei Dong,
Zhijiang Du,
Lining Sun:
Conceptional Design and Kinematics Modeling of a Wide-Range Flexure Hinge-Based Parallel Manipulator.
ICRA 2005: 4031-4036 |
| 2004 |
|---|
| 5 | EE | Shuhao Li,
Ji Wang,
Wei Dong,
Zhichang Qi:
Property-Oriented Testing of Real-Time Systems.
APSEC 2004: 358-365 |
| 4 | EE | Wei Dong,
Xindong Zhang,
Caixia Liu,
Ming Li,
Baokun Xu,
Weiyou Chen:
Mechanism for convex corner undercutting of (110) silicon in KOH.
Microelectronics Journal 35(5): 417-419 (2004) |
| 2003 |
|---|
| 3 | EE | Wanjun Zhang,
Yi Zeng,
Wei Dong,
Guoqing Li,
Dingsheng Liu:
Standardization of Page Service Using XSLT Based on Grid System.
GCC (1) 2003: 1034-1038 |
| 2002 |
|---|
| 2 | EE | Ji Wang,
Wei Dong,
Zhichang Qi:
Slicing Hierarchical Automata for Model Checking UML Statecharts.
ICFEM 2002: 435-446 |
| 2001 |
|---|
| 1 | EE | Wei Dong,
Ji Wang,
Xuan Qi,
Zhichang Qi:
Model Checking UML Statecharts.
APSEC 2001: 363-370 |
