2007 |
15 | EE | Shujun Deng,
Jinian Bian,
Weimin Wu,
Xiaoqing Yang,
Yanni Zhao:
EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure.
DAC 2007: 588-593 |
2006 |
14 | EE | Shujun Deng,
Weimin Wu,
Jinian Bian:
Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving.
CSCWD 2006: 522-528 |
13 | EE | Shujun Deng,
Weimin Wu,
Jinian Bian:
Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving.
CSCWD (Selected Papers) 2006: 297-307 |
2004 |
12 | EE | Gan Liu,
Youlin Ruan,
Weimin Wu,
Weimin Lang,
Guangxi Zhu:
Optimal Stochastic Control for Multi-Services Call Admission in Mobile Wireless Networks.
CIT 2004: 575-580 |
11 | EE | Jianzhou Zhao,
Jinian Bian,
Weimin Wu:
PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie.
COMPSAC 2004: 108-113 |
10 | EE | Ming Zhu,
Jinian Bian,
Weimin Wu:
Model Optimization Techniques in a Verification Platform for Classified Properties.
ICESS 2004: 542-548 |
9 | EE | Yu Ru,
Weimin Wu,
Hongye Su,
Jian Chu:
State Feedback Control of DES on the Finite Forbidden State Problem.
ICRA 2004: 5159-5164 |
8 | EE | Gan Liu,
Weimin Lang,
Weimin Wu,
Youlin Ruan,
Xiaofeng Shen,
Guangxi Zhu:
QoS-guaranteed call admission scheme for broadband multiservices mobile wireless networks.
ISCC 2004: 454-459 |
7 | EE | Yu Ru,
Weimin Wu,
Hongye Su,
Jian Chu:
State feedback based deadlock-free supervisor synthesis for bounded Petri nets.
SMC (2) 2004: 1666-1671 |
2003 |
6 | EE | Ming Zhu,
Jinian Bian,
Weimin Wu,
Hongxi Xue:
Property Classification for Functional Verification Based.
Asian Test Symposium 2003: 503 |
5 | EE | Yongqiang Lu,
Xianlong Hong,
Wenting Hou,
Weimin Wu,
Yici Cai:
Combining clustering and partitioning in quadratic placement.
ISCAS (4) 2003: 720-723 |
4 | EE | Wenting Hou,
Xianlong Hong,
Weimin Wu,
Yici Cai:
FaSa: A Fast and Stable Quadratic Placement Algorithm.
J. Comput. Sci. Technol. 18(3): 318-324 (2003) |
2002 |
3 | | Weimin Wu,
Hongye Su,
Jian Chu:
Supervisory Control of Discrete Event Systems using Enabling Arc Petri Nets.
ICRA 2002: 1913-1918 |
2001 |
2 | EE | Wenting Hou,
Hong Yu,
Xianlong Hong,
Yici Cai,
Weimin Wu,
Jun Gu,
William H. Kao:
A new congestion-driven placement algorithm based on cell inflation.
ASP-DAC 2001: 605-608 |
1 | | Weimin Wu,
Hongye Su,
Jianbo Hu,
Jian Chu:
Petri Net Controller Synthesis for Discrete Event Systems Using Weighted Inhibitor Arc.
ICRA 2001: 3582-3587 |