| 2008 |
|---|
| 7 | EE | Jianwen Xiang,
Dines Bjørner,
Kokichi Futatsugi:
Formal digital license language with OTS/CafeOBJ method.
AICCSA 2008: 652-660 |
| 2006 |
|---|
| 6 | | Jianwen Xiang,
Weiqiang Kong,
Kokichi Futatsugi,
Kazuhiro Ogata:
Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management.
WEBIST (2) 2006: 5-12 |
| 2005 |
|---|
| 5 | EE | Jianwen Xiang,
Kazuhiro Ogata:
Formal Fault Tree Analysis of State Transition Systems.
QSIC 2005: 124-134 |
| 2004 |
|---|
| 4 | EE | Weiqiang Kong,
Kazuhiro Ogata,
Jianwen Xiang,
Kokichi Futatsugi:
Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol.
CIT 2004: 1100-1107 |
| 3 | EE | Jianwen Xiang,
Kokichi Futatsugi,
Yanxiang He:
Fault Tree and Formal Methods in System Safety Analysis.
CIT 2004: 1108-1115 |
| 2 | | Jianwen Xiang,
Kokichi Futatsugi,
Yanxiang He:
Formal fault tree construction and system safety analysis.
IASTED Conf. on Software Engineering 2004: 378-384 |
| 1 | | Jianwen Xiang,
Kokichi Futatsugi,
Yanxiang He:
Formal construction model and specification of fault tree.
IASTED Conf. on Software Engineering and Applications 2004: 374-381 |
