TOP  >  Personal Info.  >  Misc
OGATA, Kazuhiro Professor, Director of Center for Advanced Scientific Computing
Information Science, Computing Science, Transition Arena for Quantum Materials and Information Sciences (taQumi) (Neo Excellent Core), Center for Advanced Scientific Computing

Misc

29 items
A divide and conquer approach to leads-to-model checking
Yati Phyo, Canh Minh Do, Ogata Kazuhiro
ITNOW, 63, 2, 66-, 2021
Specification and verification of real-time multitasking systems by the OTS/CafeOBJ method
東 周輝, 中村 正樹, 榊原 一紀, 緒方 和博
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 119, 470, 25-30, 2020
Specification description of real-time multitask systems by the OTS/CafeOBJ method
東 周輝, 中村 正樹, 榊原 一紀, 緒方 和博
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 118, 499, 13-18, 2019
ソフトウェアサイエンス研究会（SS研）の紹介
緒方 和博
情報・システムソサイエティ誌, 21, 3, 8-9, 2016
Sufficient completeness of constructor-based order-sorted parameterized specifications
NAKAMURA Masaki, MIRCEA GAINA Daniel, OGATA Kazuhiro, FUTATSUGI Kokichi
Technical report of IEICE. SS, 114, 510, 1-6, 2015
Sufficient completeness of parameterized specifications in CafeOBJ
Nakamura Masaki, Gaina Daniel, Ogata Kazuhiro, Futatsugi Kokichi
Research report, 2014, 1-4, 2014
AT-1-1 CafeOBJ as a Model Checker for Invariant Properties
Ogata Kazuhiro
Proceedings of the Society Conference of IEICE, 2012, "SS-23"-"SS-26", 2012
AS-3-3 代数仕様に基づく実時間システムの検証(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
中村 正樹, 緒方 和博, 二木 厚吉
電子情報通信学会総合大会講演論文集, 2010, "S-27"-"S-28", 2010
Verification of Realtime Systems based on Algebraic Specifications
OGATA Kazuhiro
計測と制御 = Journal of the Society of Instrument and Control Engineers, 48, 11, 816-821, 2009
Maude: A Computer Language based on Rewriting Logic and its Implementation
OGATA Kazuhiro, NAKAMURA Masaki, FUTATSUGI Kokichi
Computer Software, 25, 2, 78-84, 2008
Algebraic approaches to formal analysis of the mondex electronic purse system
Kong Weiqiang, Ogata Kazuhiro, Futatsugi Kokichi
Research report, 2007, 1-43, 2007
Analysis of membership sharing in digital subscription services
Xiang Jianwen, Ogata Kazuhiro, Futatsugi Kokichi
Technical memorandum, 2007, 1-26, 2007
Comparison of CafeOBJ and Coq by Formally Specifying and Verifying of STS protocol
HARA Koutaro, OGATA Kazuhiro, NAKAMURA Masaki, FUTATSUGI Kokichi
Technical report of IEICE. SS, 104, 570, 1-6, 2005
B-035 Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs
Senachak Jittisak, Seino Takahiro, Ogata Kazuhiro, Futatsugi Kokichi
情報科学技術フォーラム一般講演論文集, 3, 1, 175-176, 2004
B-036 Fomal Specification and Verification of STS protocol by CafeOBJ and Coq
Hara Kotaro, Ogata Kazuhiro, Nakamura Masaki, Futatsugi Kokichi
情報科学技術フォーラム一般講演論文集, 3, 1, 177-178, 2004
B-2 Model Checking for the CafeOBJ Algebraic Language
NAKANO Masahiro, NAKAMURA Masaki, OGATA Kazuhiro, FUTATSUGI Kokichi
情報科学技術フォーラム一般講演論文集, 2002, 1, 91-92, 2002
An example of specification and verification of real-time systems with CafeOBJ : timed two-process race
SEINO Takahiro, OGATA Kazuhiro, FUTATSUGI Kokichi
Technical report of IEICE. SS, 100, 569, 9-16, 2001
TRAM:Design and Implementation of Term Rewriting Abstract Machine
IOROI Shigenori, OGATA Kazuhiro, FUTATSUGI Kokichi
The Transactions of the Institute of Electronics,Information and Communication Engineers., 83, 2, 255-263, 2000
A Study of Guidelines of Describing Specification Considering Verification
IOROI Shigenori, OGATA Kazuhiro, FUTATSUGI Kokichi
Technical report of IEICE. SS, 99, 426, 47-54, 1999
Requirement and Design Specifications of Module System
IOROI Shigenori, OGATA Kazuhiro, FUTATSUGI Kokichi
Technical report of IEICE. SS, 98, 294, 7-14, 1998
A Proposal of Rewriting Abstract Machine with Module Facilities
IOROI Shigenori, OGATA Kazuhiro, FUTATSUGI Kokichi
Technical report of IEICE. SS, 98, 86, 1-8, 1998
Implementation and Evaluation of Massively Parallel Rewriting
HIRATA Hiromichi, IOROI Shigenori, OGATA Kazuhiro, FUTATSUGI Kokichi
Technical report of IEICE. SS, 97, 629, 9-16, 1998
Implementing builtin operations in Term Rewriting Abstract Machine
石曽根 信, 澤田 寿実, 緒方 和博
全国大会講演論文集, 55, 0, 279-280, 1997
A Consideration on Efficient Implementations of Order-sorted Term Rewriting
OGATA Kazuhiro, FUTATSUGI Kokichi
Technical report of IEICE. SS, 97, 260, 9-16, 1997
A study of TRS compilers
五百蔵 重典, 緒方 和博, 二木 厚吉
全国大会講演論文集, 51, 0, 39-40, 1995
Considerations on a Design of Abstract Machine for Term Rewriting System
大原 幸一, 緒方 和博, 二木 厚吉
全国大会講演論文集, 51, 0, 41-42, 1995
MultithreadSmalltalkの動的コンパイルとオブジェクト割付け (ソフトウェア工学<特集>)
緒方 和博, 土居 範久
南山経営研究, 9, 1, p3-9, 1994
MultithreadSmalltalkの実装について (オブジェクト指向計算<特集>)
緒方 和博, 土居 範久
南山経営研究, 8, 1, p3-9, 1993
ACM SIGPLAN '92 PLDI.
Ogata Kazuhiro
Computer Software, 10, 1, 1_72-1_76, 1993