北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

講演発表表示
表示方法:
表示順:

 

 

緒方 和博 (オガタ カズヒロ) 教授
情報科学系、知能ロボティクス領域

14件中1-14件目

  • 1. An attempt toward conjecturing lemmas with graphical animations of state machines,Kazuhiro Ogata,The Second International Lecture Series of School of Software and Microelectornics (SSM), Northwestern Polytechnic University,Xi'an, China,Sept 19-20, 2017
  • 2. A Case Study on Extracting the Characteristics of the Reachable States of a State Machine formalizing a Communication Protocol with Inductive Logic Programing,Dung Tuan Ho, Min Zhang, Kazuhiro Ogata,25th International Conference on Inductive Logic Programming,京都,2015/8/20-22
  • 3. 不変性モデル検査器としてのCafeOBJ,緒方和博,2012年電子情報通信学会ソサイエティ大会,富山市,2012年9月11日(火)〜14日(金)
  • 4. 有界モデル検査と帰納法の組合せによる NSPK 認証プロトコルの合意性,緒方和博,ソフトウェア・シンポジウム 2012,福井市,2012 年 6 月 12 日 (火曜日) 〜 14 日 (木曜日)
  • 5. 代数仕様言語・処理系のシステム検証への応用,緒方和博,ソフトウェアシンポジウム2009、ソフトウェア技術者協会,札幌,2009年6月17日〜6月19日
  • 6. CafeOBJによるシステム検証,緒方和博,情報処理学会ソフトウェア工学研究会第165回研究会,JAIST,2009年7月2日〜3日
  • 7. Specification and verification of a single-track railroad signaling in CafeOBJ,Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi,200 International Technical Conference on Circuts/Systems, Computers and Communications (ITC-CSCC 2000)
  • 8. 代数仕様言語CafeOBJによる実時間システムの仕様記述と検証 - tmed two-process race の仕様記述と検証 -,清野貴博、緒方和博、二木厚吉,電子情報通信学会ソフトウェアサイエンス研究会(1月研究集会)
  • 9. The evaluation strategy for head normal form with and without on-demand flags,Masaki Nakamura, Kazuhiro Ogata,The 3rd International Workshop on Rewriting Logic and its Applications (WRLA 2000)
  • 10. Operational semantics of rewriting with the on-demand evaluation strategy,Kazuhiro Ogata and Kokichi Futatsugi,2000 ACM Symposium on AComputingpplied,2000.3
  • 11. Formal verification of the {MCS} list-based queuing lock,Kazuhiro Ogata and Kokichi Futatsugi,ASIAN '99,1999.12
  • 12. Specification and verification of some classical mutual exclusion algorithms with CafeOBJ,Kazuhiro Ogata and Kokichi Futatsugi,OBJ/CafeOBJ/Maude at Formal Methods '99,1999.9
  • 13. 代数仕様言語CafeOBJによる鉄道信号システムの記述と検証,清野貴博 緒方和博 二木厚吉,FOSE '99,1999.11
  • 14. 検証を考慮した仕様記述の指針に関する研究,五百蔵重典 緒方和博 二木厚吉,電子情報通信学会技術研究報告,1999.11