緒方　和博 （オガタ　カズヒロ）　准教授
情報科学研究科（情報科学専攻・理論情報科学領域）

12件中1-12件目

• 1.　不変性モデル検査器としてのCafeOBJ，緒方和博，2012年電子情報通信学会ソサイエティ大会，富山市，2012年9月11日（火）〜14日（金）
• 2.　有界モデル検査と帰納法の組合せによる NSPK 認証プロトコルの合意性，緒方和博，ソフトウェア・シンポジウム 2012，福井市，2012 年 6 月 12 日 (火曜日) 〜 14 日 (木曜日)
• 3.　代数仕様言語・処理系のシステム検証への応用，緒方和博，ソフトウェアシンポジウム２００９、ソフトウェア技術者協会，札幌，2009年6月17日〜6月19日
• 4.　CafeOBJによるシステム検証，緒方和博，情報処理学会ソフトウェア工学研究会第165回研究会，JAIST，2009年7月2日〜3日
• 5.　代数仕様言語CafeOBJによる実時間システムの仕様記述と検証 - tmed two-process race の仕様記述と検証 -，清野貴博、緒方和博、二木厚吉，電子情報通信学会ソフトウェアサイエンス研究会（１月研究集会）
• 6.　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)
• 7.　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)
• 8.　Formal verification of the {MCS} list-based queuing lock，Kazuhiro Ogata and Kokichi Futatsugi，ASIAN '99，1999.12
• 9.　検証を考慮した仕様記述の指針に関する研究，五百蔵重典 緒方和博 二木厚吉，電子情報通信学会技術研究報告，1999.11
• 10.　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
• 11.　代数仕様言語CafeOBJによる鉄道信号システムの記述と検証，清野貴博 緒方和博 二木厚吉，FOSE '99，1999.11
• 12.　Operational semantics of rewriting with the on-demand evaluation strategy，Kazuhiro Ogata and Kokichi Futatsugi，2000 ACM Symposium on AComputingpplied，2000.3