TOP Page >  Search Result  >  Profile > Display All

Published Papers
Results per page:
Chronological sort:

 

 

Kazuhiro Ogata Professor
School of Information Science、Intelligent Robotics Area

Results 61-80 of about 85

  • 61. Specification translation of state machinesfrom equational theories into rewrite theories,Min Zhang, Kazuhiro Ogata, Masaki Nakamura,ICFEM 2010, LNCS 6447, Springer
  • 62. Constructor-based Institutions,Daniel Gaina, Kokichi Futatsugi, Kazuhiro Ogata,Proc. of the 3rd Conference on Algebra and Coalgebra in Computer Science, LNCS, Springer,to appear
  • 63. Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications,Min Zhang, Kazuhiro Ogata,Proc. of the 9th International Conference on Quality Software,to appear
  • 64. Analysis of Membership Sharing Problem in Digital Subscription Services,Jianwen Xiang, Jing Tian, Kazuhiro Ogata, Akira Mori, Kokichi Futatsugi,International Journal of Revenue Management, Inderscience Publishers,to appear
  • 65. Proof Score Approach to Analysis of Electronic Commerce Protocols,Kazuhiro Ogata, Kokichi Futatsugi,International Journal of Software Engineering and Knowledge Engineering, World Scientific,to appear
  • 66. User-defined on-demand matching,Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi,IEICE Transactions on Information and Systems,to appear
  • 67. Proof Score Approach to Verification of Liveness Properties,Kazuhiro Ogata, Kokichi Futatsugi,IEICE TRANSACTIONS on Information and Systems,E91-D,12,2804-2817,2008
  • 68. CafeOBJ入門(1) - 形式手法とCafeOBJ,二木厚吉,緒方和博,中村正樹,コンピュータソフトウェア,日本ソフトウェア科学会,25,2,1-13,2008
  • 69. Simulation-based verification for invariant properties in the OTS/CafeOBJ method,Kazuhiro Ogata and Kokichi Futatsugi,Proceedings of the 4th International Refinement Workshop (Refine 2007), ENTCS 201, Elsevier,127-154,2008
  • 70. A Specification Translation from Behavioral Specifications to Rewrite Specifications,Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi,IEICE TRANSACTIONS on Information and Systems,E91-D,5,1492-1503,2008
  • 71. Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes,Kazuhiro Ogata and Kokichi Futatsugi,Proceedings of the 10th International Conference on Formal Engineering Methods (10th ICFEM), LNCS 5256, Springer,187-206,2008
  • 72. Trace Anonymity in the OTS/CafeOBJ Method,Weiqiang Kong, Kazuhiro Ogata, Jian Chen, and Kokichi Futatsugi,Proceedings of the 8th International Conference on Computer and Information Technology (8th CIT), IEEE Computer Society Press,754-759,2008
  • 73. Verifying Design with Proof Scores,Kokichi Futatsugi, Joseph A. Goguen and Kazuhiro Ogata,Proceedings of the 1st International Conference on Verified Software: Theories, Tools, Experiments (1st VSTTE), LNCS 4171, Springer,277-290,2008
  • 74. Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm,Kazuhiro Ogata and Kokichi Futatsugi,IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science,E90-A,8,1690-1703,2007
  • 75. 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
  • 76. 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
  • 77. 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
  • 78. 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
  • 79. 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
  • 80. 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

≪ Back ]  1  2  3  4  5 Next ≫ ]