TOP  >  Personal Info.  >  Misc
OGATA, Kazuhiro Professor, Director of Research Center for Integrated Science
Information Science, Computing Science, Research Center for Advanced Computing Infrastructure

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