 | 2008 |
|---|
| 6 |       | Bin Lei,
Wenfeng Li:
Formation Control for Multi-robots Based on Flocking Algorithm.
ICIRA (1) 2008: 1238-1247 |
| 5 | | Bin Lei,
Linzhang Wang,
Xuandong Li:
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency.
ICST 2008: 200-209 |
| 4 | | Bin Lei,
Wenfeng Li,
Fan Zhang:
Stable flocking algorithm for multi-robot systems formation control.
IEEE Congress on Evolutionary Computation 2008: 1544-1549 |
| 3 | | Xuandong Li,
Xiaokang Qiu,
Linzhang Wang,
Bin Lei,
W. Eric Wong:
UML state machine diagram driven runtime verification of Java programs for message interaction consistency.
SAC 2008: 384-389 |
| 2006 |
|---|
| 2 | | Xuandong Li,
Linzhang Wang,
Xiaokang Qiu,
Bin Lei,
Jiesong Yuan,
Jianhua Zhao,
Guoliang Zheng:
Runtime Verification of Java Programs for Scenario-Based Specifications.
Ada-Europe 2006: 94-105 |
| 1 | | Jianhua Zhao,
Bin Lei,
Xuandong Li,
Guoliang Zheng:
Improve Model Checking Efficiency Using Specific Knowledge about the System.
ISoLA 2006: 392-396 |
