2008 |
10 | EE | Quan Long,
Min Xie,
Szu-Hui Ng,
Gregory Levitin:
Reliability analysis and optimization of weighted voting systems with continuous states input.
European Journal of Operational Research 191(1): 240-252 (2008) |
2007 |
9 | EE | Yuan-Shun Dai,
Min Xie,
Quan Long,
Szu-Hui Ng:
Uncertainty Analysis in Software Reliability Modeling by Bayesian Analysis with Maximum-Entropy Principle.
IEEE Trans. Software Eng. 33(11): 781-795 (2007) |
2006 |
8 | EE | Liang Zhao,
Xiangpeng Zhao,
Quan Long,
Zongyan Qiu:
A Type System for the Relational Calculus of Object Systems.
ICECCS 2006: 189-198 |
7 | EE | Xiangpeng Zhao,
Quan Long,
Zongyan Qiu:
Model Checking Dynamic UML Consistency.
ICFEM 2006: 440-459 |
6 | EE | Shuling Wang,
Quan Long,
Zongyan Qiu:
Type Safety for FJ and FGJ.
ICTAC 2006: 257-271 |
2005 |
5 | EE | Quan Long,
Zhiming Liu,
Xiaoshan Li,
Jifeng He:
Consistent Code Generation from UML Models.
Australian Software Engineering Conference 2005: 23-30 |
4 | EE | Quan Long,
Zongyan Qiu,
Zhiming Liu,
Lingshuang Shao,
Jifeng He:
POST: A Case Study for an Incremental Development in rCOS.
ICTAC 2005: 485-500 |
2004 |
3 | EE | Xiaoshan Li,
Zhiming Liu,
Jifeng He,
Quan Long:
Generating a Prototype from a UML Model of System Requirements.
ICDCIT 2004: 255-265 |
2 | EE | Jing Yang,
Quan Long,
Zhiming Liu,
Xiaoshan Li:
A Predicative Semantic Model for Integrating UML Models.
ICTAC 2004: 170-186 |
2003 |
1 | EE | Quan Long,
Zongyan Qiu,
Shengchao Qin:
The Equivalence of Statecharts.
ICFEM 2003: 125-143 |