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

発表論文表示
表示方法:
表示順:

 

 

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

92件中81-92件目

  • 81. Modeling and verification of real-time systems based on equations,Kazuhiro Ogata and Kokichi Futatsugi,Science of Computer Programming, Elsevier,66,2,162-180,2007
  • 82. State Machines as Inductive Types,Kazuhiro Ogata and Kokichi Futatsugi,IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science,E90-A,12,2985-2988,2007
  • 83. Creme: An Automatic Invariant Prover of Behavioral Specifications,Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura and Kokichi Futatsugi,International Journal of Software Engineering and Knowledge Engineering, World Scientific,17,6,783-804,2007
  • 84. Automating Invariant Verification of Behavioral Specifications,Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, and Kokichi Futatsugi ,In Proceedings of The Sixth IEEE International Conference on Quality Software (QSIC2006),pp. 49-56,Oct. 2006
  • 85. A complete specification transformation from OTS/CafeOBJ to OTS/Maude,Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi,信学技報 IEICE Technical Report,SS2006,13,pp. 1-6,JUNE 2006
  • 86. Mechanically Supporting Case Analysis for Verification of Distributed Systems,Takahiro Seino, Kazuhiro Ogata and Kokichi Futatsugi,Journal of Pervasive Computing and Communications, Troubador,1,2,135-145,2005
  • 87. Equational Approach to Formal Analysis of TLS,Kazuhiro Ogata, Kokichi Futatsugi,Proceedings of the 25th International Conference on Distributed Computing Systems (25th ICDCS),795-804,2005
  • 88. 項書き換えシステムにおける可簡約演算子とその応用,中村正樹, 緒方和博, 二木厚吉,情報処理学会論文誌:プログラミング,vol. 46,No.SIG 6 (PRO25),pp.47-59,Sep. 2005
  • 89. Chocolat/SMV: A Translator from CafeOBJ into SMV,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,pp.416-420,Dec 2005
  • 90. CafeOBJ: Logical Foundation and Methodologies,Razvan Diaconescu, Kokichi Futatsugi and Kazuhiro Ogata,Computing and Informatics, Slovak Academic Press,22,3,257-283,2003
  • 91. Flaw and modification of the iKP electronic payment protocols,Kazuhiro Ogata and Kokichi Futatsugi,Information Processing Letters, Elsevier,86,2,57-62,2003
  • 92. Specification and verification of a single-track railroad signaling in CafeOBJ,Takahiro Seino, Kazuhiro Ogata and Kokichi Futatsugi,IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science,E84-A,6,1471-1478,2001

≪ 前へ ]  1  2  3  4  5