JAIST Repository >

緒方 和博(オガタ カズヒロ)教授研究者総覧

No.書籍情報
1 分散システムを計算の対象とする分散アルゴリズムのモデル検査に関する研究 / 緒方, 和博, 科学研究費助成事業研究成果報告書, pp.1-4, 2017-06-02
2 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, 北陸先端科学技術大学院大学情報科学研究科
3 論理式肥大に伴う活性のモデル検査の非効率化の改善 / 緒方, 和博, 科学研究費助成事業研究成果報告書, pp.1-4, 2014-04-23
4 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
5 Specification Translation of State Machines from Equational Theories into Rewrite Theories / Zhang, Min, Ogata, Kazuhiro, Nakamura, Masaki, Lecture Notes in Computer Science, 6447/2010, pp.678-693, 2010-11-09, Springer
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 Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version) / Zhang, Min, Ogata, Kazuhiro, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2010-002, pp.1-16, 2010-03-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 証明支援系とモデル検査器を効果的に利用できる環境と方法論 / 緒方, 和博, 科学研究費補助金研究成果報告書, pp.1-5, 2009-04-10
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 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
25 Induction-Guided Falsification / Ogata, Kazuhiro, Nakano, Masahiro, Kong, Weiqiang, Futatsugi, Kokichi, Lecture Notes in Computer Science, 4260, pp.114-131, 2006, Springer
26 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
27 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
28 項書き換えシステムにおける可簡約演算子とその応用 / 中村, 正樹, 緒方, 和博, 二木, 厚吉, 情報処理学会論文誌, 46(SIG 6 (PRO25)), pp.47-59, 2005-04-15, 情報処理学会
29 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
30 Flaw and modification of the ikp electronic payment protocols / Ogata, Kazuhiro, Futatsugi, Kokichi, Information Processing Letters, 86(2), pp.57-62, 2003-04, Elsevier
31 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, 北陸先端科学技術大学院大学情報科学研究科
32 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, 電子情報通信学会
33 The evaluation strategy for head normal form with and without on-demand flags / Nakamura, M, Ogata, K, Electronic Notes in Theoretical Computer Science, 36, pp.212-228, 2000, ELSEVIER SCIENCE B.V AMSTERDAM
34 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, 北陸先端科学技術大学院大学情報科学研究科

 


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