スマートモビリティ研究開発センター

研究成果 2003 2017

フィルター
記事
2014
4 引用 (Scopus)

A formal semantics of extended hierarchical state transition matrices using CSP#

Yamagata, Y., Kong, W., Fukuda, A., Van Tang, N., Ohsaki, H. & Taguchi, K., 9 2014, : : Formal Aspects of Computing. 26, 5, p. 943-962 20 p.

研究成果: ジャーナルへの寄稿記事

Formal Semantics
Transition Matrix
State Transition
Semantics
Modeling Language
6 引用 (Scopus)

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration

Kong, W., Liu, L., Ando, T., Yatsu, H., Hisazumi, K. & Fukuda, A., 8 11 2014, : : Computer Journal. 58, 11, p. 2824-2840 17 p.

研究成果: ジャーナルへの寄稿記事

Model checking
Temporal logic
Surface mount technology
Scalability
Systems analysis
5 引用 (Scopus)

Translation rules of SysML state machine diagrams into CSP# toward formal model checking

Ando, T., Yatsu, H., Kong, W., Kenji, H. & Fukuda, A., 6 1 2014, : : International Journal of Web Information Systems. 10, 2, p. 151-169 19 p.

研究成果: ジャーナルへの寄稿記事

Model checking
Modeling languages
2010
9 引用 (Scopus)

Towards reliable e-Government systems with the OTS/CafeOBJ method

Kong, W., Ogata, K. & Futatsugi, K., 1 1 2010, : : IEICE Transactions on Information and Systems. E93-D, 5, p. 974-984 11 p.

研究成果: ジャーナルへの寄稿記事

Formal methods
Experiments
2007
8 引用 (Scopus)

Specification and verification of workflows with RBAC mechanism and SoD constraints

Kong, W., Ogata, K. & Futatsugi, K., 2 1 2007, : : International Journal of Software Engineering and Knowledge Engineering. 17, 1, p. 3-32 30 p.

研究成果: ジャーナルへの寄稿記事

Access control
Specifications
Specification languages
2006
3 引用 (Scopus)

From fault tree analysis to formal system specification and verification with OTS/CafeOBJ

Xiang, J., Ogata, K., Kong, W. & Futatsugi, K., 10 30 2006, : : Computer Software. 23, 3, p. 134-146 13 p.

研究成果: ジャーナルへの寄稿記事

Fault tree analysis
Specifications
Semantics
Formal languages
2003

Constructing projection frequent pattern tree for efficient mining

Xiang, J. W., He, Y. X., Kokichi, F. & Kong, W., 6 1 2003, : : Wuhan University Journal of Natural Sciences. 8, 2 A, p. 351-357 7 p.

研究成果: ジャーナルへの寄稿記事

Data warehouses
Data mining
Costs