一覧
登録利用者:
登録者ページ
利用者(E-people)

JAIST Repository >

Futatsugi Kokichi

No．書籍情報
1 証明スコア法に基づく革新的仕様検証システムの構築 / 二木, 厚吉, 科学研究費助成事業研究成果報告書, pp.1-5, 2016-05-18
2 Generic Proof Scores for Generate & Check Method in CafeOBJ / Futatsugi, Kokichi, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2015-002, pp.1-32, 2015-02-18, 北陸先端科学技術大学院大学情報科学研究科
3 Sufficient completeness of parameterized specifications in CafeOBJ / Nakamura, Masaki, Gaina, Daniel, Ogata, Kazuhiro, Futatsugi, Kokichi, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2014-005, pp.1-4, 2014-12-15, 北陸先端科学技術大学院大学情報科学研究科
4 Generate & Check Methods for Invariant Verification in CafeOBJ / Futatsugi, Kokichi, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2013-006, pp.1-31, 2013-11-27, 北陸先端科学技術大学院大学情報科学研究科
5 Formalization and Verification of Behavioral Correctness of Dynamic Software Updates / Zhang, Min, Ogata, Kazuhiro, Futatsugi, Kokichi, Electronic Notes in Theoretical Computer Science, 294, pp.12-23, 2013-03-15, Elsevier
6 A Combination of Forward and Backward Reachability Analysis Methods / Ogata, Kazuhiro, Futatsugi, Kokichi, Lecture Notes in Computer Science, 6447/2010, pp.507-517, 2010-11-09, Springer
7 証明スコアによる問題モデルの検証技術 / 二木, 厚吉, 科学研究費補助金研究成果報告書, pp.1-4, 2010-04-10
8 Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications / Nakamura, Masaki, Ogata, Kazuhiro, Futatsugi, Kokichi, Journal of Symbolic Computation, 45(5), pp.551-573, 2010-02-01, Elsevier
9 Proof Score Approach to Analysis of Electronic Commerce Protocols / Ogata, Kazuhiro, Futatsugi, Kokichi, International Journal of Software Engineering and Knowledge Engineering, 20(2), pp.253-287, 2010, World Scientific Publishing
10 A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method / Seino, Takahiro, Ogata, Kazuhiro, Futatsugi, Kokichi, pp.1-22, 2009-09-22
11 Constructor-based Institutions / Gaina, Daniel, Futatsugi, Kokichi, Ogata, Kazuhiro, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2009-002, pp.1-19, 2009-05-29, 北陸先端科学技術大学院大学情報科学研究科
12 Modeling, Specification, and Verification of QLOCK in CafeOBJ / FUTATSUGI, Kokichi, pp.1-15, 2009-03-12
13 Proof Score Approach to Verification of Liveness Properties / OGATA, Kazuhiro, FUTATSUGI, Kokichi, IEICE TRANSACTIONS on Information and Systems, E91-D(12), pp.2804-2817, 2008-12-01, 電子情報通信学会
14 Trace anonymity in the OTS/CafeOBJ method / Kong, Weiqiang, Ogata, Kazuhiro, Cheng, Jian, Futatsugi, Kokichi, 8th IEEE International Conference on Computer and Information Technology, 2008. CIT 2008., pp.754-759, 2008-07, Institute of Electrical and Electronics Engineers (IEEE)
15 A Specification Translation from Behavioral Specifications to Rewrite Specifications / NAKAMURA, Masaki, KONG, Weiqiang, OGATA, Kazuhiro, FUTATSUGI, Kokichi, IEICE TRANSACTIONS on Information and Systems, E91-D(5), pp.1492-1503, 2008-05-01, 電子情報通信学会
16 法令対象ドメインの形式仕様と検証 / 二木, 厚吉, 緒方, 和博, 有本, 泰仁, pp.1-53, 2007-09-07
17 Analysis of Electronic Commerce Protocols in Algebraic Specification Languages / Ogata, Kazuhiro, Futatsugi, Kokichi, pp.1-22, 2007-09-06
18 COE Research Monograph Series, Vol. 2 : 法令工学の提案 / 片山, 卓也, 島津, 明, 東条, 敏, 二木, 厚吉, 緒方, 和博, 有本, 泰仁, 落水, 浩一郎, 早坂, 良, 2, 2007-09, JAIST Press
19 Algebraic approaches to formal analysis of the mondex electronic purse system / Kong, Weiqiang, Ogata, Kazuhiro, Futatsugi, Kokichi, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2007-004, pp.1-43, 2007-03-23, 北陸先端科学技術大学院大学情報科学研究科
20 Analysis of membership sharing in digital subscription services / Xiang, Jianwen, Ogata, Kazuhiro, Futatsugi, Kokichi, Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology), IS-TM-2007-005, pp.1-26, 2007-03-16, 北陸先端科学技術大学院大学情報科学研究科
21 Counterexample Discovery with a Combination of Induction and Bounded Model Checking / Ogata, Kazuhiro, Nakano, Masahiro, Kong, Weiqiang, Futatsugi, Kokichi, pp.1-31, 2007-03-07
22 Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System / Kong, Weiqiang, Ogata, Kazuhiro, Futatsugi, Kokichi, pp.1-27, 2007-03-07
23 A Domain Analysis of Artistic Works and A Digital License Language / Xiang, Jianwen, Bjorner, D., Chen, X., Arimoto, Y., Ogata, K., Vestergaard, R., Futatsugi, K., pp.1-31, 2006-11-28
24 A Behavioral Specification of Imperative Programming Languages / NAKAMURA, Masaki, WATANABE, Masahiro, FUTATSUGI, Kokichi, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E89-A(6), pp.1558-1565, 2006-06-01, 電子情報通信学会
25 A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method / Seino, T, Ogata, K, Futatsugi, K, Electronic Notes in Theoretical Computer Science, 147(1), pp.57-72, 2006-01, ELSEVIER SCIENCE B.V AMSTERDAM
26 Induction-Guided Falsification / Ogata, Kazuhiro, Nakano, Masahiro, Kong, Weiqiang, Futatsugi, Kokichi, Lecture Notes in Computer Science, 4260, pp.114-131, 2006, Springer
27 Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method / Ogata, Kazuhiro, Futatsugi, Kokichi, Lecture Notes in Computer Science, 4060, pp.596-615, 2006, Springer
28 Verifying Specifications with Proof Scores / FUTATSUGI, Kokichi, pp.1-23, 2005-09-21
29 A Lightweight Integration of Theorem Proving and Model Checking for System Verification / Kong, Weiqiang, Seino, Takahiro, Ogata, Kazuhiro, Futatsugi, Kokichi, pp.1-23, 2005-09-21
30 項書き換えシステムにおける可簡約演算子とその応用 / 中村, 正樹, 緒方, 和博, 二木, 厚吉, 情報処理学会論文誌, 46(SIG 6 (PRO25)), pp.47-59, 2005-04-15, 情報処理学会
31 有限状態機械に基づくプログラミングでのgoto文使用の是非 : Hoare論理の観点から(プログラミングの理論) / 金藤, 栄孝, 二木, 厚吉, 情報処理学会論文誌, 45(9), pp.2124-2137, 2004-09-15, 情報処理学会
32 Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol / Kong, Weiqiang, Ogata, Kazuhiro, Xiang Jianwen, Futatsugi, Kokichi, The Fourth International Conference on Computer and Information Technology, 2004. CIT '04., pp.1100-1107, 2004-09, Institute of Electrical and Electronics Engineers (IEEE)
33 Rewriting-Based Verification of Authentication Protocols / Ogata, Kazuhiro, Futatsugi, Kokichi, Electronic Notes in Theoretical Computer Science, 71, pp.208-222, 2004-04, ELSEVIER SCIENCE B.V AMSTERDAM
34 多重ループからの脱出でのgoto文の是非 : Hoare理論の観点から(プログラミング方法論とパラダイム) / 金藤, 栄孝, 二木, 厚吉, 情報処理学会論文誌, 45(3), pp.770-784, 2004-03-15, 情報処理学会
35 Flaw and modification of the ikp electronic payment protocols / Ogata, Kazuhiro, Futatsugi, Kokichi, Information Processing Letters, 86(2), pp.57-62, 2003-04, Elsevier
36 Formal analysis of the iKP electronic payment protocols / Ogata, Kazuhiro, Futatsugi, Kokichi, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2002-020, pp.1-23, 2002-08-20, 北陸先端科学技術大学院大学情報科学研究科
37 A scenario-based object-oriented modeling method with algebraic specification techniques / Nakajima, Shin, Futatsugi, Kokichi, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2001-016, pp.1-41, 2001-07-31, 北陸先端科学技術大学院大学情報科学研究科
38 Specification and verification of a single-track railroad signaling in CafeOBJ / SEINO, Takahiro, OGATA, Kazuhiro, FUTATSUGI, Kokichi, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E84-A(6), pp.1471-1478, 2001-06, 電子情報通信学会
39 The tool that support highly reliable component-based software development / Matsumoto, Michihiro, Futatsugi, Kokichi, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2000-018, pp.1-8, 2000-06-22, 北陸先端科学技術大学院大学情報科学研究科
40 Component-based algebraic specification and verification in cafeOBJ / Diaconescu, Razvan, Futatsugi, Kokichi, Iida, Shusaku, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-99-0020S, pp.1-20, 1999-05-06, 北陸先端科学技術大学院大学情報科学研究科
41 Concurrent object composition in CafeOBJ / Iida, Shusaku, Matsumoto, Michihiro, Diaconescu, Razvan, Futatsugi, Kokichi, Lucanu, Dorel, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-98-0009S, pp.1-40, 1998-02-20, 北陸先端科学技術大学院大学情報科学研究科
42 The equivalence of the reductions with the E-strategy with and without marks / Nagaya, Takashi, Matsumoto, Michihiro, Ogata, Kazuhiro, Futatsugi, Kokichi, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-97-0034F, pp.1-9, 1997-08-13, 北陸先端科学技術大学院大学情報科学研究科
43 Logical semantics for CafeOBJ / Diaconescu, Razvan, Futatsugi, Kokichi, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-96-0024S, pp.1-18, 1996-08-28, 北陸先端科学技術大学院大学情報科学研究科

 
お問い合わせ先 : 北陸先端科学技術大学院大学　研究推進課図書館情報係