| 2008 |
|---|
| 10 | EE | Masaki Nakamura,
Weiqiang Kong,
Kazuhiro Ogata,
Kokichi Futatsugi:
A Specification Translation from Behavioral Specifications to Rewrite Specifications.
IEICE Transactions 91-D(5): 1492-1503 (2008) |
| 2007 |
|---|
| 9 | EE | Xiaoyi Chen,
Weiqiang Kong,
Kokichi Futatsugi:
Formal support for e-government system design with transparency consideration.
ICEGOV 2007: 20-29 |
| 8 | EE | Weiqiang Kong,
Kazuhiro Ogata,
Kokichi Futatsugi:
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System.
IFM 2007: 393-412 |
| 7 | EE | Weiqiang Kong,
Kazuhiro Ogata,
Kokichi Futatsugi:
Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints.
International Journal of Software Engineering and Knowledge Engineering 17(1): 3-32 (2007) |
| 2006 |
|---|
| 6 | EE | Kazuhiro Ogata,
Masahiro Nakano,
Weiqiang Kong,
Kokichi Futatsugi:
Induction-Guided Falsification.
ICFEM 2006: 114-131 |
| 5 | | Kazuhiro Ogata,
Weiqiang Kong,
Kokichi Futatsugi:
Falsification of OTSs by Searches of Bounded Reachable State Spaces.
SEKE 2006: 440-445 |
| 4 | | 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 |
|---|
| 3 | EE | Weiqiang Kong,
Takahiro Seino,
Kokichi Futatsugi,
Kazuhiro Ogata:
A Lightweight Integration of Theorem Proving and Model Checking for System Verification.
APSEC 2005: 59-66 |
| 2 | | Weiqiang Kong,
Kazuhiro Ogata,
Kokichi Futatsugi:
Formal Analysis of Workflow Systems with Security Considerations.
SEKE 2005: 531-536 |
| 2004 |
|---|
| 1 | EE | Weiqiang Kong,
Kazuhiro Ogata,
Jianwen Xiang,
Kokichi Futatsugi:
Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol.
CIT 2004: 1100-1107 |
