Weiqiang Kong

	2011
15		Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda: Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC 2011: 81-88
14		Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. IEICE Transactions 94-D(5): 946-957 (2011)
	2010
13		Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: Model Checking of Software Design in State Transition Matrix. Software Engineering Research and Practice 2010: 507-513
12		Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: Towards Reliable E-Government Systems with the OTS/CafeOBJ Method. IEICE Transactions 93-D(5): 974-984 (2010)
	2008
11		Weiqiang Kong, Kazuhiro Ogata, Jian Cheng, Kokichi Futatsugi: Trace anonymity in the OTS/CafeOBJ method. CIT 2008: 754-759
10		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		Xiaoyi Chen, Weiqiang Kong, Kokichi Futatsugi: Formal support for e-government system design with transparency consideration. ICEGOV 2007: 20-29
8		Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. IFM 2007: 393-412
7		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		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		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		Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi: Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. CIT 2004: 1100-1107

Coauthor Index

1	Xiaoyi Chen	[9]
2	Jian Cheng	[11]
3	Akira Fukuda	[13] [14] [15]
4	Kokichi Futatsugi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
5	Kenji Hisazumi	[15]
6	Noriyuki Katahira	[13] [14] [15]
7	Tetsuro Katayama	[13] [14] [15]
8	Michihiro Matsumoto	[13]
9	Yuki Mizushima	[13]
10	Masaki Nakamura	[10]
11	Masahiro Nakano	[6]
12	Kazuhiro Ogata	[1] [2] [3] [4] [5] [6] [7] [8] [10] [11] [12]
13	Takahiro Seino	[3]
14	Tomohiro Shiraishi	[13] [14]
15	Masahiko Watanabe	[13] [14] [15]
16	Jianwen Xiang	[1] [4]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page