| 2008 |
|---|
| 4 | EE | Zhiming Chang,
XinJun Mao,
Zhichang Qi:
Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph.
ICYCS 2008: 118-123 |
| 3 | EE | Zhiming Chang,
XinJun Mao,
Zhichang Qi:
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs.
WICSA 2008: 331-334 |
| 2007 |
|---|
| 2 | EE | Zhiming Chang,
XinJun Mao,
Zhichang Qi:
An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style.
TASE 2007: 57-66 |
| 2006 |
|---|
| 1 | | XinJun Mao,
Zhiming Chang,
Lijun Shang,
Hong Zhu,
Ji Wang:
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents.
SEKE 2006: 639-644 |
