• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

二木 厚吉  Hutatsugi Koukichi

ORCIDORCID連携する *注記
研究者番号 50251971
その他のID
外部サイト
所属 (現在) 2025年度: 国立情報学研究所, 大学共同利用機関等の部局等, 特任教授
所属 (過去の研究課題情報に基づく) *注記 2013年度 – 2015年度: 北陸先端科学技術大学院大学, ソフトウェア検証研究センター, 特任教授
2011年度 – 2012年度: 北陸先端科学技術大学院大学, 情報科学研究科, 教授
1994年度 – 2009年度: 北陸先端科学技術大学院大学, 情報科学研究科, 教授
審査区分/研究分野
研究代表者
計算機科学 / ソフトウエア / 理工系
研究代表者以外
計算機科学 / 情報学基礎
キーワード
研究代表者
CafeOBJ / 形式手法 / 振舞仕様 / 検証 / formal methods / 形式仕様 / 代数仕様 / ソフトウェア工学 / システム検証 / 仕様記述・仕様検証 … もっと見る / 証明スコア / モジュールシステム / 詳細化検証 / 高信頼 / コンポーネント / 抽象機械 / behavioral specification / system verification / システム安全性 / PigNose / verification / components / 仕様 / 支援ツール / MPI / 安全性 / 問題モデル / 仕様記述 / 木アーキテクチャ / 射影型振舞仕様 / 分散(実時間)システム / UML / 書き換えモデル / 並列処理 / 計算モデル / requirement specification / system safety / problem model / 要求仕様 / フォーマルメソッド / e-commerce protocol / authentication protocol / unknown virus detection / system security / 移動コード / 実時間システム / セキュアプロトコル / 安全性検証 / Java仮想機械 / CadeOBJ / UNITY / 自動証明器PigNose / 振舞モデル検査 / ウィルス検査 / cafeOBJ / 電子商取引プロトコル / 認証プロトコル / 未知ウイルス検知 / high-assurance software / resolution / algebraic specification / モデル検査 / 振舞詳細化 / シグネチャ・マッチング / 仕様リポジトリ / 安全性検査 / ソフトウェア・コンポネント / 分散オブジェクト / 分散システム / 高品位ソフトウェア / 導出 / コンポネント / distributed (real-time) systems / specifications / module system / support tool / reliable / 代数モデル / 形式仕様言語 / 閲覧システム / 方法論 / 振舞い仕様 / オブジェクト指向 / ソフトウェア発展 / 非機能的性質 / 機能的性質 / massively parallel computers / the (parallel) evaluation strategy / abstract machines / concurrent (parallel) rewriting / 超並列計算機 / (並列)E戦略 / 並行(並列)書換え / 観測遷移システム / 問題仕様 / 定理証明 / 信頼性 / 安全性・信頼性 / 場合分け / 帰納法 / 仕様検証 / Linda / 言語 / モデル / 開発支援ツール / コーディネーション / Java / OCL … もっと見る
研究代表者以外
証明論 / 実時間システム / 形式検証 / 形式仕様 / 線形論理 / 論理的手法 / Proof Search / Linear Logic / Formal Verification / Formal Specification / Real Time Systems / distributed data structure / active programming / multi-agent system / strong mode system / algebraic specification language / evolutional pattern / open and distributed systems / 発展可能仕様記述 / 漸増的プログラム解析 / 構造的振る舞い記述モデル / プログラム自動修正 / モジュール合成法 / オブジェクト進化プロセス / CafeOBT / 形式的仕様記述 / 並行論理プログラムのモード解析 / 並行オブジェクトの振舞い / 環境適応 / 振舞い仕様 / システムの多面的記述 / 発展可能ソフトウェア / 分散データ構造 / 能動形プログラミング / マルチエージェントシステム / 強モード体系 / 形式仕様記述 / 代数仕様言語 / 進化パターン / 開放分散系 隠す
  • 研究課題

    (13件)
  • 研究成果

    (131件)
  • 共同研究者

    (24人)
  •  証明スコア法に基づく革新的仕様検証システムの構築研究代表者

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      2011 – 2015
    • 研究種目
      基盤研究(S)
    • 研究分野
      ソフトウエア
    • 研究機関
      北陸先端科学技術大学院大学
  •  証明スコア法に基づく革新的仕様検証技術の研究研究代表者

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      2011
    • 研究種目
      基盤研究(A)
    • 研究分野
      ソフトウエア
    • 研究機関
      北陸先端科学技術大学院大学
  •  証明スコアによる問題モデルの検証技術研究代表者

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      2006 – 2009
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      北陸先端科学技術大学院大学
  •  日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究

    • 研究代表者
      岡田 光弘
    • 研究期間 (年度)
      2003
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎
    • 研究機関
      慶應義塾大学
  •  振舞仕様に基づく問題モデルの構築と検証研究代表者

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      北陸先端科学技術大学院大学
  •  実時間システムに対する論理的仕様・検証言語の国際共同実装計画

    • 研究代表者
      岡田 光弘
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      慶應義塾大学
  •  振舞仕様に基づく安全性検証の研究研究代表者

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      2000 – 2003
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      北陸先端科学技術大学院大学
  •  モジュールシステムを基礎におくコーディネーションモデルの研究研究代表者

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      萌芽的研究
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学
  •  分散オブジェクト環境におけるコンポネント仕様の検証に関する研究研究代表者

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      1999 – 2002
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学
  •  機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発研究代表者

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      1998 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学
  •  発展可能ソフトウェアの構築方法論の研究

    • 研究代表者
      宮本 衛市
    • 研究期間 (年度)
      1997 – 1999
    • 研究種目
      重点領域研究
    • 研究機関
      公立はこだて未来大学
      北海道大学
  •  並行書き換え抽象機械の研究研究代表者

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      1995 – 1997
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学
  •  並行書き換えモデルの超並行実行方式の研究研究代表者

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      1994 – 1995
    • 研究種目
      一般研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学

すべて 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 その他

すべて 雑誌論文 学会発表 図書

  • [図書] 法令工学の提案(片山卓也)2007

    • 著者名/発表者名
      二木厚吉,緒方和博,有本泰仁
    • 出版者
      JAIST
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] CafeInMaude: A CafeOBJ Interpreter in Maude2016

    • 著者名/発表者名
      Adrian Riesco, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Springer Lecture Notes in Computer Science (Fundamental Approaches to Software Engineering, 19th FASE)

      巻: 9633 ページ: 377-380

    • DOI

      10.1007/978-3-662-49665-7_22

    • ISBN
      9783662496640, 9783662496657
    • 査読あり / 謝辞記載あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] 構成子に基づく順序ソートパラメータ化仕様の十分完全性について2015

    • 著者名/発表者名
      中村正樹,ガイナ ダニエル ミルチェア,緒方和博,二木厚吉
    • 雑誌名

      電子情報通信学会,信学技報

      巻: vol.114, no.510, SS2014-55 ページ: 1-6

    • 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates2015

    • 著者名/発表者名
      Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proc. of 22nd Asia-Pacific Software Engineering Conference

      巻: -

    • 査読あり / 謝辞記載あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Formalization and Verification of Declarative Cloud Orchestration2015

    • 著者名/発表者名
      Hiroyuki Yoshida, Kokichi Futatsugi, Kazuhiro Ogata
    • 雑誌名

      Springer Lecture Note in Computer Science (Formal Methods and Software Engineering, 17th ICFEM)

      巻: 9407 ページ: 33-49

    • DOI

      10.1007/978-3-319-25423-4_3

    • ISBN
      9783319254227, 9783319254234
    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Proving Sufficient Completeness of Constructor-based Algebraic Specifications2015

    • 著者名/発表者名
      Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata and Kokichi Futatsugi
    • 雑誌名

      Springer Lecture Notes in Electrical Engineering (Advances in Computer Science and Ubiquitous Computing)

      巻: 373 ページ: 15-21

    • DOI

      10.1007/978-981-10-0281-6_3

    • ISBN
      9789811002809, 9789811002816
    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Generate & Check Method for Verifying Transition Systems in CafeOBJ2015

    • 著者名/発表者名
      Kokichi Futatsugi
    • 雑誌名

      Software, Services, and Systems, LNCS, Springer

      巻: 8950 ページ: 171-192

    • DOI

      10.1007/978-3-319-15545-6_13

    • ISBN
      9783319155449, 9783319155456
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Generic Proof Scores for Generate & Check Method in CafeOBJ2015

    • 著者名/発表者名
      Kokichi Futatsugi
    • 雑誌名

      Springer LNCS (Logic, Rewriting, and Concurrency)

      巻: 9200 ページ: 287-310

    • DOI

      10.1007/978-3-319-23165-5_14

    • ISBN
      9783319231648, 9783319231655
    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Initial semantics in logics with constructors2015

    • 著者名/発表者名
      Daniel Gaina, Kokichi Futatsugi
    • 雑誌名

      Journal of Logic and Computation

      巻: 25 (1) 号: 1 ページ: 95-116

    • DOI

      10.1093/logcom/exs044

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Liveness properties in CafeOBJ - a case study for meta-level specifications2014

    • 著者名/発表者名
      Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Technical Report IASI-CNR R. 3, 2014, ISSN: 1128-3378

      巻: -

    • 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs2014

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Specification, Algebra, and Software, LNCS, Springer

      巻: 8373 ページ: 630-656

    • DOI

      10.1007/978-3-642-54624-2_31

    • ISBN
      9783642546235, 9783642546242
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] An incremental approach to local equality predicates in OBJ specification languages2014

    • 著者名/発表者名
      Masaki Nakamura, Kokichi Futatsugi
    • 雑誌名

      Proc. of Intl. Joint Conference on Computer Science and Software Engineering (11th JCSSE), IEEE

      巻: - ページ: 337-342

    • DOI

      10.1109/jcsse.2014.6841891

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Incremental proofs of termination, confluence and sufficient completeness of OBJ specifications2014

    • 著者名/発表者名
      Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Specification, Algebra, and Software, LNCS, Springer

      巻: 8373 ページ: 92-109

    • DOI

      10.1007/978-3-642-54624-2_5

    • ISBN
      9783642546235, 9783642546242
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] On Automation of OTS/CafeOBJ Method2014

    • 著者名/発表者名
      Daniel Gaina, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Specification, Algebra, and Software, LNCS, Springer

      巻: 8373 ページ: 578-602

    • DOI

      10.1007/978-3-642-54624-2_29

    • ISBN
      9783642546235, 9783642546242
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] A Hierarchical Approach to Operational Termination of Algebraic Specifications2013

    • 著者名/発表者名
      Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the International Conference on Electronics, Information and Communication (ICEIC 2013)

      巻: - ページ: 144-145

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Formalization and Verification of Behavioral Correctness of Dynamic Software Updates2013

    • 著者名/発表者名
      Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proc. of the 2nd Workshop on Validation Strategies for Software Evolution (2nd VSSE), ENTCS 294, Elsevier

      巻: - ページ: 12-23

    • DOI

      10.1016/j.entcs.2013.02.013

    • NAID

      120005469624

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Incremental Proofs of Operational Termination with Modular Conditional Dependency Pairs2013

    • 著者名/発表者名
      Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the International MultiConference of Engineers and Computer Scientists 2013

      巻: I, IMECS ページ: 516-521

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Towards Formal Description of Standards for Automotive Operating Systems2013

    • 著者名/発表者名
      Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi
    • 雑誌名

      ICST Workshops

      巻: - ページ: 13-14

    • DOI

      10.1109/icstw.2013.8

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method2013

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      The Journal of Universal Computer Science (J. UCS)

      巻: 19(6) ページ: 771-804

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] On Proving Operational Termination Incrementally with Modular Conditional Dependency Pairs2013

    • 著者名/発表者名
      Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      IAENG International Journal of Computer Science

      巻: 40-2 ページ: 117-123

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] On Describing Terminating Algebraic Specifications Based on Their Models2012

    • 著者名/発表者名
      Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proc.of the International MultiConference of Engineers and Computer Scientists 2012

      ページ: 269-274

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Formalization of Risks and Control Activities in Business Process2012

    • 著者名/発表者名
      Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi
    • 雑誌名

      Springer Lecture Notes in Electrical Engineering

      ページ: 565-575

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Principles of proof scores in CafeOBJ2012

    • 著者名/発表者名
      Kokichi Futatsugi, Daniel Gaina, Kazuhiro Ogata
    • 雑誌名

      Theoretical Computer Science (TCS)

      巻: 464 ページ: 90-112

    • DOI

      10.1016/j.tcs.2012.07.041

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Constructor-based Logics2012

    • 著者名/発表者名
      Daniel Gaina, Kokichi Futatsugi, Kazuhiro Ogata
    • 雑誌名

      The Journal of Universal Computer Science (J.UCS)

      巻: 18(16) ページ: 2204-2233

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms2012

    • 著者名/発表者名
      Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 19th Asia-Pacific Software Engineering Conference (19th APSEC), IEEE

      巻: - ページ: 664-673

    • DOI

      10.1109/apsec.2012.100

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity"2011

    • 著者名/発表者名
      Yuan Li, Haibin Kan, Kokichi Futatsugi
    • 雑誌名

      IEICE Transactions

      巻: 94-A(9) ページ: 1877-1880

    • NAID

      10030190955

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] Formalization of Risks and Control Activities in Business Process2011

    • 著者名/発表者名
      Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi
    • 雑誌名

      Proc.of 2011 World Congress on Computer Science and Information Engineering (CSIE 2011), Lecture Notes in Electrical Engineering, Springer

      巻: (印刷中)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23240004
  • [雑誌論文] A Modeling Framework to Support Internal Control2011

    • 著者名/発表者名
      Takafumi Komoto, Kenji Taguchi, Haralambos Mouratidis, Nobukazu Yoshioka, Kokichi Futatsugi
    • 雑誌名

      Proc.of The Fifth International Conference on Secure Software Integration and Reliability Improvement (IEEE SSIRI 2011)

      ページ: 187-193

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23220002
  • [雑誌論文] A Modeling Framework to Support Internal Control2011

    • 著者名/発表者名
      Takafumi Komoto, Kenji Taguchi, Haralambos Mouratidis, Nobukazu Yoshioka, Kokichi Futatsugi
    • 雑誌名

      Proc.of The Fifth International Conference on Secure Software Integration and Reliability Improvement Companion (IEEE SSIRI-C 2011)

      ページ: 187-193

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23240004
  • [雑誌論文] A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity"2011

    • 著者名/発表者名
      Yuan Ii, Haibin Kan, Kokichi Futatsugi
    • 雑誌名

      IEICE Transactions

      巻: 94-A(9) ページ: 1877-1880

    • NAID

      10030190955

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23240004
  • [雑誌論文] Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications2010

    • 著者名/発表者名
      Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      J. Symb. Comput 45(5)

      ページ: 551-573

    • NAID

      120003338960

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications2010

    • 著者名/発表者名
      中村正樹, 緒方和博, Kokichi Futatsugi
    • 雑誌名

      J.Symb.Comput. 45(5)

      ページ: 551-573

    • NAID

      120003338960

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Constructor-based institutions2009

    • 著者名/発表者名
      Daniel Gaina, Kokichi Futatsugi, 緒方和博
    • 雑誌名

      Proc.of CALCO 2009, LNCS 5728, Springer

      ページ: 398-412

    • NAID

      110007110878

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] User-Defined On-Demand Matching2009

    • 著者名/発表者名
      Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      IEICE Transactions 92-D(7)

      ページ: 1401-1411

    • NAID

      10026810203

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] CafeOBJ入門(1)-(6)、コンピュタソフトウェア2009

    • 著者名/発表者名
      二木厚吉, 緒方和博, 中村正樹
    • 雑誌名

      日本ソフトウェア科学会論文誌 25(2),25(2),25(3),25(4),26(1),26(2)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Analysis of membership sharing problem in digital subscription services2009

    • 著者名/発表者名
      Jianwen Xiang, Jing Tian, 緒方和博, Kokichi Futatsugi, Akira Mori
    • 雑誌名

      International Journal of Revenue Management, Inderscience Enterprises Ltd. 13(3)

      ページ: 284-306

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] CafeOBJ入門 (6)-通信プロトコルの検証2009

    • 著者名/発表者名
      緒方和博, 二木厚吉, 中村正樹
    • 雑誌名

      Iコンピュータソフトウェア (日本ソフトウェア科学会論文誌) 26(2)

      ページ: 284-306

    • NAID

      10025982447

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Constructor-based institutions2009

    • 著者名/発表者名
      D. Gaina, K. Futatsugi, K. Ogata
    • 雑誌名

      Proc. of CALCO 2009 5728

      ページ: 398-412

    • NAID

      110007110878

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] User-Defined On-Demand Matching2009

    • 著者名/発表者名
      中村正樹, 緒方和博, Kokichi Futatsugi
    • 雑誌名

      IEICE Transactions 92-D(7)

      ページ: 1401-1411

    • NAID

      10026810203

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Verifying Design with Proof Scores2008

    • 著者名/発表者名
      Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata
    • 雑誌名

      Proc. of 1st VSTTE, Springer LNCS 4171

      ページ: 277-290

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] CafeOBJ入門(5)-認証プロトコルの検証2008

    • 著者名/発表者名
      緒方和博, 二木厚吉, 中村正樹
    • 雑誌名

      コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 26-1

      ページ: 71-83

    • NAID

      130004549136

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Simulation-based verification for invariant properties in the OTS/CafeOBJ method2008

    • 著者名/発表者名
      Kazuhiro Ogata and Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 4th International Refinement Workshop(R, efine 2007), ENTCS201, Elsevier

      ページ: 127-154

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] CafeOBJ入門(2)-構文と意味2008

    • 著者名/発表者名
      中村正樹, 二木厚吉, 緒方和博
    • 雑誌名

      コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-2

      ページ: 14-27

    • NAID

      110006664763

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] 電子社会と法令工学2008

    • 著者名/発表者名
      片山卓也, 島津明, 東条敏, 二木厚吉, 落水浩一郎
    • 雑誌名

      人工知能学会誌 23-4

      ページ: 529-536

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Checking Assignments of Controls to Risks for Internal Control2008

    • 著者名/発表者名
      Yasuhito Arimoto, Yuji Watanabe, Michiharu Kudoh, Kokichi Futatsugi
    • 雑誌名

      Proc. of 2nd International Conference on Theory and Practice of Electronic Governance 2008, ACM

      ページ: 98-104

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Verifying Design with Proof Scores2008

    • 著者名/発表者名
      Kokichi Futatsugi, Joseph A. Goguen and Kazuhiro Ogata
    • 雑誌名

      1st VSTTE, LNCS 4171, Springer

      ページ: 277-290

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] CafeOBJ 入門(1)-形式手法とCafeOBJ, コンピュータソフトウェア2008

    • 著者名/発表者名
      二木厚吉, 緒方和博, 中村正樹
    • 雑誌名

      日本ソフトウェア科学会論文誌 25(2)

      ページ: 1-13

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes2008

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proc. of the 10th Intl. Conference on Formal Engineering Methods (10th ICFEM) 5256

      ページ: 187-206

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Checking Assignments of Controls to Risks for Internal Control2008

    • 著者名/発表者名
      Yasuhito Arimoto, Yuji Watanabe, Michi haru Kudoh, Kokichi Futatsugi
    • 雑誌名

      Proc. of 2nd International Conference on Theory and Practice of Electronic Governance (2008), ACM Press

      ページ: 98-104

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes2008

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 10th International Conference on Formal Engineering Methods (10th ICFEM), Springer LNCS 5256

      ページ: 187-206

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] フォーマルメソッドの新展開-検証進化可能電子社会の中核技術-2008

    • 著者名/発表者名
      二木厚吉
    • 雑誌名

      情報処理 Vol.49,No.5

      ページ: 521-529

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] CafeOBJ入門(1)-形式手法とCafeOBJ2008

    • 著者名/発表者名
      二木厚吉, 緒方和博, 中村正樹
    • 雑誌名

      コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-2

      ページ: 1-13

    • NAID

      130004549105

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Formal digital licence language with OTS/CafeOBJ method2008

    • 著者名/発表者名
      Jianwen Xiang, Dines Bjorner, Kokichi Futatsugi
    • 雑誌名

      Proc. of IEEE/ACS Intl. Conference on Computer Systems and Applications

      ページ: 652-660

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] A Specification Translation from Behavioral Specifications to Rewrite Specifications2008

    • 著者名/発表者名
      Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      IEICE Transactions 91-D(5)

      ページ: 1492-1503

    • NAID

      10026803820

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Formal digital license language with OTS/CafeOBJ method2008

    • 著者名/発表者名
      Jianwen Xiang, Dines Bjorner, Kokichi Futatsugi
    • 雑誌名

      Proc. of IEEE/ACS Intl. Conference on Computer Systems and Applications

      ページ: 652-660

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] CafeOBJ入門(3)-等式推論と項書換システム2008

    • 著者名/発表者名
      中村正樹, 二木厚吉, 緒方和博
    • 雑誌名

      コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-3

      ページ: 69-80

    • NAID

      110006840405

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Maude : 書換え論理に基づく計算機言語および処理系2008

    • 著者名/発表者名
      緒方和博, 中村正樹, 二木厚吉
    • 雑誌名

      コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-2

      ページ: 78-84

    • NAID

      130004549110

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Trace Anonymity in the OTS/CafeOBJ Method2008

    • 著者名/発表者名
      Weiqiang Kong, Kazuhiro Ogata, Jian Chen, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 8^<th>, International Conference on Computer and Information Technology (8^<th> CIT), IEEE Computer Society Press

      ページ: 754-759

    • NAID

      120006674345

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] CafeOBJ入門(4)-証明譜による検証法2008

    • 著者名/発表者名
      二木厚吉, 緒方和博, 中村正樹
    • 雑誌名

      コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-4

      ページ: 68-84

    • NAID

      130004549122

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Verifying Design with Proof Scores2008

    • 著者名/発表者名
      K. Futatsugi, J.A. Goguen, K. Ogata
    • 雑誌名

      Proc. of 1st VSTTE, LNCS 4171, Springer

      ページ: 277-290

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Simulation-based verification for invariant properties in the OTS/CafeOBJ method2008

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Refine 2007, ENTCS 201, Elsevier

      ページ: 127-154

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] フォーマルメソッドの新展開--検証進化可能電子社会の中核技術--2008

    • 著者名/発表者名
      二木厚吉
    • 雑誌名

      情報処理(情報処理学会学会誌) 49-5

      ページ: 521-529

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] On equahty predicates in algebraic specification languages2007

    • 著者名/発表者名
      Masaki Nakamura and Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC2007), LNCS4711, Springer

      ページ: 381-395

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm2007

    • 著者名/発表者名
      Kazuhiro Ogata and Kokichi Futatsugi
    • 雑誌名

      IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science E90-A(8)

      ページ: 1690-1703

    • NAID

      110007540867

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Modeling and verification of real-time systems based on equations2007

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Sci. of Comp. Prog 66(2)

      ページ: 162-180

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Specification and Verification of Workflows with RBAC Mechanism and SoD Constraints2007

    • 著者名/発表者名
      Weiqiang Kong, Kazuhiro Ogata and Kokichi Futatsugi
    • 雑誌名

      International Journal of Software Engineering and Knowledge Engineering 17(1)

      ページ: 3-32

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Specification and Verification of Workflows with RBAC Mechanism and SoD Constraints2007

    • 著者名/発表者名
      Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      International Journal of Software Engineering and Knowledge Engineering 17・1

      ページ: 1-30

    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method2007

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Springer LNCS 4060

      ページ: 596-615

    • NAID

      120000861107

    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Creme : An Automatic Invariant Prover of Behavioral Specifications, International Journal of Software Engineering and Knowledge Engineering2007

    • 著者名/発表者名
      Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura and Kokichi Futatsugi
    • 雑誌名

      World Scientific Vol.17, No.6

      ページ: 783-804

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Modehng and verification of real-time systems based on equations2007

    • 著者名/発表者名
      Kazuhiro Ogata and Kokichi Futatsugi
    • 雑誌名

      Science of Computer Programming 66(2)

      ページ: 162-180

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] On equality predicates in algebraic specification languages2007

    • 著者名/発表者名
      Masaki Nakamura, Kokichi Futatsugi
    • 雑誌名

      Proc. of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007) 4711

      ページ: 381-395

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] State Machines as Inductive Types2007

    • 著者名/発表者名
      Kazuhiro Ogata and Kokichi Futatsugi
    • 雑誌名

      IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science E90-A(12)

      ページ: 2985-2988

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Algebraic Approaches to Formal Analysis of the Mondex Electronic Puxse System2007

    • 著者名/発表者名
      Weiqiang Kong, Kazuhiro Ogata and Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 6th International Conference on Integrated Formal Methods(6th IFM), LNCS4591, Speringer

      ページ: 393-412

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Modeling and verification of real-time systems based on equations, Science of Computer Programming2007

    • 著者名/発表者名
      Kazuhiro Ogata and Kokichi Futatsugi
    • 雑誌名

      Elsevier 66(2)

      ページ: 162-180

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Formal support for e-government system design with transparency consideration2007

    • 著者名/発表者名
      Xiaoyi Chen, Weiqiang Kong and Kokichi Futatsugi
    • 雑誌名

      Proceedimgs of the lstInternational Conference on Theory and Practice of Electronic Governance (ICEGOV 2007), ACM

      ページ: 20-29

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Creme: An Automatic Invariant Prover of Behavioral Specifications2007

    • 著者名/発表者名
      Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura and Kokichi Futatsugi
    • 雑誌名

      International Journal of Software Engineering And Knowledge Engineering 17(6)

      ページ: 783-804

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Formalization and Analysis of Public Administration Domain with The OTS/CafeOBJ Method2007

    • 著者名/発表者名
      Xiaoyi Chen, Jianwen Xiang, Weigiang Kong and Kokichi Futatsugi
    • 雑誌名

      Proceedings of 3th International Conference on e-Government(ICEG 2007), ISBN1-905305-59-1ACL

      ページ: 77-86

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] A License Language Design and Analysis for E.Govenment2007

    • 著者名/発表者名
      Xiaoyi Chen, Jianwen Xiang, Dines Bjorner and Kokichi Futatsugi
    • 雑誌名

      Proceedings of International Conference on Wireless Communications, Networking and Mobile Computing(WiCom 2007), ISBN1-4244-1312-5, IEEE

      ページ: 3445-3448

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Specification and Verification of Workflows with RBAC Mechanism and SoD Constraints2007

    • 著者名/発表者名
      W. Kong, K. Ogata, K. Futatsugi
    • 雑誌名

      Intl. J. of Software Eng. and Knowledge Eng 17(1)

      ページ: 3-32

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] 法令対象ドメインの形式記述と検証2007

    • 著者名/発表者名
      二木 厚吉, 緒方 和博, 有本 泰仁
    • 雑誌名

      「法令工学の提案」, JAIST Press

      ページ: 71-93

    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Falsification of OTSs by Searches of Bounded Reachable State Spaces2006

    • 著者名/発表者名
      Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 18^<th> International Conference on Software Engineering and Knowledge Engineering (18th SEKE)

      ページ: 440-445

    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Knowledge Management in Academia : Survey, Analysis and Perspective2006

    • 著者名/発表者名
      Jing Tian, Yoshiteru Nakamori, Jianwen Xiang, Kokichi Futatsugi
    • 雑誌名

      Int. J. Management and Decision Making 2/3

      ページ: 275-294

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] From Fault Tree Analysis to Formal Specification and Verification with OTS/CafeOBJ2006

    • 著者名/発表者名
      Jianwen Xiang, Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi
    • 雑誌名

      Computer Software(コンピュータソフトウェア(日本ソフトウェア科学会論文誌)) 23・3

      ページ: 134-146

    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Induction-Guided Falsification2006

    • 著者名/発表者名
      Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi
    • 雑誌名

      Springer LNCS 4260

      ページ: 114-131

    • NAID

      120000861068

    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] モジュラーな代数仕様言語のための項書き換えシステム2006

    • 著者名/発表者名
      中村正樹, 二木厚吉
    • 雑誌名

      コンピュータソフトウェア(日本ソフトウェア科学会論文誌) 23・3

      ページ: 35-50

    • NAID

      110004815103

    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] A Behavioral Specification of Imperative Programming Languages2006

    • 著者名/発表者名
      Masaki Nakamura, Watanabe, M., Kokichi Futatsugi
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences(電子情報通信学会論文誌) E89-A・6

      ページ: 1558-1565

    • NAID

      110007502878

    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Verifying Specifications with Proof Scores in CafeOBJ (an invited keynote paper)2006

    • 著者名/発表者名
      Kokichi FUTATSUGI
    • 雑誌名

      Proc. of 21st IEEE International Conference on Automated Software Engineering

      ページ: 3-10

    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Automating Invariant Verification of Behavioral Specifications2006

    • 著者名/発表者名
      Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 6th International Conference on Quality Software (6^<th> QSIC)

      ページ: 49-56

    • データソース
      KAKENHI-PROJECT-18300008
  • [雑誌論文] Knowledge Management in Academia : Survey, Analysis and Perspective2006

    • 著者名/発表者名
      Jing Tian, Yoshiteru Nakamori, Jianwen Xiang, Kokichi Futatsugi
    • 雑誌名

      Int.J.Management and Decision Making Vol.7, Nos.2/3

      ページ: 275-294

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Formal Analysis of Workflow Systems with Security Considerations2005

    • 著者名/発表者名
      Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proc.of the 17^<th> International Conference on Software Engineering and Knowledge Engineering (SEKE 2005)

      ページ: 531-536

    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Equational Approach to Formal Analysis of TLS2005

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 25th International Conference on Distributed Computing Systems (25th ICDCS) (IEEE Computer Society Press)

      ページ: 795-804

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Formal Fault Tree Analysis of State Transition Systems2005

    • 著者名/発表者名
      Jianwen Xiang, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Prceedings of the 5^<th> International Conference on Quality Software (5th QSIC)

      ページ: 124-131

    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Mechanically Supporting Case Analysis for Verification of Distributed Systems2005

    • 著者名/発表者名
      Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Journal of Pervasive Computing and Communications (Troubador) 1(2)

      ページ: 135-145

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] A Lightweight Integration of Theorem Proving and Model Checking for System Verification2005

    • 著者名/発表者名
      Weiqiang Kong, Kazuhiro Ogata, Takahiro Seino, Kokichi Futatsugi
    • 雑誌名

      Proc.of The 12th Asia-Pacific Software Engineering Conference (APSEC 2005)

      ページ: 59-66

    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] 項書き換えシステムにおける可簡約演算子とその応用2005

    • 著者名/発表者名
      中村正樹, 緒方和博, 二木厚吉
    • 雑誌名

      情報処理学会論文誌:プログラミング 46-SIG6

      ページ: 47-59

    • NAID

      110002769559

    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Equational Approach to Formal Analysis of TLS2005

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proc.of the 25th International Conference on Distributed Computing Systems (25th ICDCS)

      ページ: 795-804

    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Mechanically Supporting Case Analysis for Verification of Distributed Systems2005

    • 著者名/発表者名
      Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Journal of Pervasive Computing and Communications 1-2

      ページ: 135-145

    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Mechanically Supporting Case Analysis for Verification of Distributed Systems2005

    • 著者名/発表者名
      Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Journal of Pervasive Computing and Communications 1(2)

      ページ: 135-145

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Chocolat/SMV : A Translator from CafeOBJ into SMV2005

    • 著者名/発表者名
      Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (6th PDCAT),(IEEE Computer Society Press)

      ページ: 416-420

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Chocolat/SMV : A Translator from CafeOBJ into SMV2005

    • 著者名/発表者名
      Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (6th PDCAT) (IEEE Computer Society Press)

      ページ: 416-420

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] A Lightweight Integration of Theorem Proving and Model C hecking for System Verification,2005

    • 著者名/発表者名
      Weiqiang Kong, Kazuhiro Ogata, Takahiro Seino, Kokichi Futatsugi
    • 雑誌名

      Proc. of The 12th Asia-Pacific Software Engineering Conference (APSEC 2005),(IEEE CS Press)

      ページ: 59-66

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] 項書き換えシステムにおける可簡約演算子とその応用2005

    • 著者名/発表者名
      中村正樹, 緒方和博, 二木厚吉
    • 雑誌名

      情報処理学会論文誌 : プログラミング 46 SIG 6(PRO25)

      ページ: 47-59

    • NAID

      110002769559

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] A Lightweight Integration of Theorem Proving and Model C hecking for System Verification,2005

    • 著者名/発表者名
      Weiqiang Kong, Kazuhiro Ogata, Takahiro Seino, Kokichi Futatsugi
    • 雑誌名

      Proc.of The 12th Asia-Pacific Software Engineering Conference (APSEC 2005) (IEEE CS Press) December

      ページ: 59-66

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] 項書き換えシステムにおける可簡約演算子とその応用2005

    • 著者名/発表者名
      中村正樹, 緒方和博, 二木厚吉
    • 雑誌名

      情報処理学会論文誌:プログラミング (To appear)

    • NAID

      110002769559

    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Formal Analysis of the NetBill Electronic Commerce Protocol2004

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Lecture Notes in Computer Science (2nd ISSS), 3233

      ページ: 45-64

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Supporting Case Analysis with Algebraic Specification Languages2004

    • 著者名/発表者名
      Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 4th International Conference on Computer and Information Technology

      ページ: 1073-1080

    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Equational Approach to Formal Verification of SET2004

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 4th International Conference on Quality Software

      ページ: 50-59

    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Formal Analysis of the NetBill Electronic Commerce Protocol2004

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 2^<nd> International Symposium on Software Security (2nd ISSS) (Springer) LNCS 3233

      ページ: 45-64

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] 構造的代数仕様のための等価述語の提案と実装2004

    • 著者名/発表者名
      中村正樹, 二木厚吉
    • 雑誌名

      ソフトウェア工学の基礎 XI

      ページ: 117-128

    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol2004

    • 著者名/発表者名
      Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 4th International Conference on Computer and Information Technology

      ページ: 1100-1107

    • NAID

      120006672306

    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Modeling and Verification of Hybrid Systems Based on Equations2004

    • 著者名/発表者名
      Kazuhiro Ogara, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi
    • 雑誌名

      Proc.of the IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems

      ページ: 43-52

    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Equational Approach to Formal Verification of SET2004

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 4th International Conference on Quality Software (4th QSIC) (IEEE Computer Society Press)

      ページ: 50-59

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] 有限状態機械に基づくプログラミングでのgoto文の是非 : Hoare論理の観点から2004

    • 著者名/発表者名
      金藤栄孝, 二木厚吉
    • 雑誌名

      情報処理学会論文誌 Vol.45 No.9

      ページ: 2124-2137

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Equational Approach to Formal Analysis of TLS2004

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 25th International Conference on Distributed Computing Systems (25th ICDCS),(IEEE Computer Society Press)

      ページ: 795-804

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Equational Approach to Formal Verification of SET2004

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Proceedings of the 4th International Conference on Quality Software (4th QSIC),(IEEE Computer Society Press)

      ページ: 50-59

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] 項書換えを用いた安全性検証の組織化2003

    • 著者名/発表者名
      清野貴博, 緒方和博, 二木厚吉
    • 雑誌名

      コンピュータソフトウェア Vol.20

      ページ: 32-45

    • NAID

      110003743130

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] 書き換えによるセキュリティプロトコルの帰納的検証2003

    • 著者名/発表者名
      緒方和博, 二木厚吉
    • 雑誌名

      コンピュータソフトウェア Vol.20

      ページ: 54-72

    • NAID

      110003743116

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Flaw and modification of the ikp electronic payment protocols2003

    • 著者名/発表者名
      Ogata, K., Futatsugi, K.
    • 雑誌名

      Information Processing Letters 86

      ページ: 57-62

    • NAID

      120000861080

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Flaw and modification of the ikp electronic payment protocols2003

    • 著者名/発表者名
      Ogata, K., Futatsugi, K.
    • 雑誌名

      Information Processing Letters (Springer) Vol.86

      ページ: 57-62

    • NAID

      120000861080

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Proof scores in the OTS/CafeOBJ method2003

    • 著者名/発表者名
      Ogata, K., Futatsugi, K.
    • 雑誌名

      Proceedings of the 6th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003), Lecture Notes in Computer Science (Springer) Vol.2884

      ページ: 170-184

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] CafeOBJ : Logical foundation and methodologies,2003

    • 著者名/発表者名
      Diaconescu, R., Ogata, K., Futatsugi, K.
    • 雑誌名

      Computing and Informatics Vol.22

      ページ: 257-283

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] Proof scores in the OTS/CafeOBJ method2003

    • 著者名/発表者名
      Kazuhiro Ogata, Kokichi Futatsugi
    • 雑誌名

      Lecture Notes in Computer Science,(FMOODS 2003), 2884

      ページ: 170-184

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [雑誌論文] CafeOBJ : Logical foundation and methodologies2003

    • 著者名/発表者名
      Diaconescu, R., Ogata, K., Futatsugi, K.
    • 雑誌名

      Computing and Informatics 22

      ページ: 257-283

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300007
  • [学会発表] Recent Developments on Algebraic Specification and Verification in CafeOBJ2015

    • 著者名/発表者名
      Kokichi Futatsugi
    • 学会等名
      2nd International Symposium on Dependable Computing and Internet of Things (DICT 2015)
    • 発表場所
      Wuhan, China
    • 年月日
      2015-11-16
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23220002
  • [学会発表] An Overview of Recent Research Activities around CafeOBJ2011

    • 著者名/発表者名
      Kokichi Futatsugi
    • 学会等名
      IFIP WG 1.3 Meeting
    • 発表場所
      Winchester, England, UK
    • 年月日
      2011-09-04
    • データソース
      KAKENHI-PROJECT-23240004
  • [学会発表] 実行可能な代数仕様の停止性証明について2007

    • 著者名/発表者名
      中村 正樹, 二木 厚吉
    • 学会等名
      情報科学技術レターズ(FIT2007)
    • 発表場所
      愛知県豊田市
    • 年月日
      2007-09-21
    • データソース
      KAKENHI-PROJECT-18300008
  • [学会発表] ドメインの形式記述と検証2007

    • 著者名/発表者名
      有本 泰仁, 二木 厚吉
    • 学会等名
      電子情報通信学会研究報告
    • 発表場所
      石川県能美市
    • 年月日
      2007-06-08
    • データソース
      KAKENHI-PROJECT-18300008
  • [学会発表] Verifying Specifications with Proof Scores in CafeOBJ2006

    • 著者名/発表者名
      Kokichi FUTATSUGI
    • 学会等名
      Proc. of 21st IEEE International Conference on Automated Software Engineering
    • 発表場所
      Tokyo
    • 年月日
      2006-02-20
    • データソース
      KAKENHI-PROJECT-18300008
  • [学会発表] Verifying Specifications with Proof Scores in CafeOBJ (invited keynote paper at ASE 2006, 20 September 2006, Tokyo)2006

    • 著者名/発表者名
      Kokichi Futatsugi
    • 学会等名
      Proc. Of 21st International Conference on Automated Software Engineering
    • 発表場所
      IEEE
    • データソース
      KAKENHI-PROJECT-18300008
  • [学会発表] Generate & Check Method for Verifying Transition Systems in CafeOBJ (an overview)

    • 著者名/発表者名
      Kokichi Futatsugi
    • 学会等名
      Science and Practice of Engineering Trustworthy Cyber-Physical Systems, Shonan Meeting
    • 発表場所
      Shonan Villlage Center, Hayama, Kanagawa
    • 年月日
      2014-10-26 – 2014-10-30
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23220002
  • [学会発表] Sufficient completeness of parameterized specifications in CafeOBJ

    • 著者名/発表者名
      Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata, Kokichi Futatsugi
    • 学会等名
      12th Asian Symposium on Programming Languages and Systems, APLAS 2014
    • 発表場所
      Singapore, the Republic of Singapore
    • 年月日
      2014-11-17 – 2014-11-19
    • データソース
      KAKENHI-PROJECT-23220002
  • 1.  緒方 和博 (30272991)
    共同の研究課題数: 6件
    共同の研究成果数: 19件
  • 2.  中村 正樹 (40345658)
    共同の研究課題数: 5件
    共同の研究成果数: 37件
  • 3.  渡部 卓雄 (20222408)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 4.  岡田 光弘 (30224025)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 5.  青木 利晃 (20313702)
    共同の研究課題数: 2件
    共同の研究成果数: 1件
  • 6.  天野 憲樹 (30313703)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 7.  森 彰 (30311682)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 8.  千葉 勇輝 (10509756)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  清野 貴博 (10397226)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  宮本 衛市 (00001173)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  玉井 哲雄 (60217172)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  上田 和紀 (10257206)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  荒木 啓二郎 (40117057)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  富樫 敦 (20172140)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  飯田 周作 (80338590)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  田村 直之 (60207248)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  萩谷 昌己 (30156252)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  佐藤 雅彦 (20027387)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  米崎 直樹 (00126286)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  小林 直樹 (00262155)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  PREINING Norbert (60571247)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 22.  GAINA Daniel (80595778)
    共同の研究課題数: 1件
    共同の研究成果数: 7件
  • 23.  ディアコネスク ラズウ゛ァ (30293393)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  中川 中
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi