Kazuhiro OGATA

FOREWORD
Kazuhiro OGATA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/06/01
Vol. E96-D  No. 6  pp. 1257-1257
Type of Manuscript: FOREWORD
Category: 
Keyword: 
  Summary |  Full Text:PDF (79KB)
Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support
Min ZHANG  Kazuhiro OGATA  Masaki NAKAMURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D  No. 5  pp. 976-988
Type of Manuscript: Special Section PAPER (Special Section on Formal Approach)
Category: Specification Translation
Keyword: 
specification translation,  CafeOBJ,  Maude,  equational theory specification,  rewrite theory specification, 
  Summary |  Full Text:PDF (918.6KB)
Towards Reliable E-Government Systems with the OTS/CafeOBJ Method
Weiqiang KONG  Kazuhiro OGATA  Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/05/01
Vol. E93-D  No. 5  pp. 974-984
Type of Manuscript: Special Section PAPER (Special Section on Formal Approach)
Category: Formal Specification
Keyword: 
e-Government messaging framework,  formal methods,  the OTS/CafeOBJ method,  falsification,  verification, 
  Summary |  Full Text:PDF (533KB)
User-Defined On-Demand Matching
Masaki NAKAMURA  Kazuhiro OGATA  Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/07/01
Vol. E92-D  No. 7  pp. 1401-1411
Type of Manuscript: PAPER
Category: Computation and Computational Models
Keyword: 
the evaluation strategy,  lazy evaluation,  on-demand matching,  term rewriting, 
  Summary |  Full Text:PDF (271.2KB)
Proof Score Approach to Verification of Liveness Properties
Kazuhiro OGATA  Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/12/01
Vol. E91-D  No. 12  pp. 2804-2817
Type of Manuscript: PAPER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
CafeOBJ,  equations,  observational transition systems (OTSs),  rewriting,  specification, 
  Summary |  Full Text:PDF (260.4KB)
A Specification Translation from Behavioral Specifications to Rewrite Specifications
Masaki NAKAMURA  Weiqiang KONG  Kazuhiro OGATA  Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/05/01
Vol. E91-D  No. 5  pp. 1492-1503
Type of Manuscript: PAPER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
specification translation,  verification,  algebraic specification,  behavioral specification,  rewirte specification,  CafeOBJ,  Maude, 
  Summary |  Full Text:PDF (305.3KB)
State Machines as Inductive Types
Kazuhiro OGATA  Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/12/01
Vol. E90-A  No. 12  pp. 2985-2988
Type of Manuscript: LETTER
Category: Concurrent Systems
Keyword: 
Coq,  formal methods,  invariant properties,  program specification,  observational transition systems (OTSs), 
  Summary |  Full Text:PDF (80.6KB)
Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm
Kazuhiro OGATA  Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/08/01
Vol. E90-A  No. 8  pp. 1690-1703
Type of Manuscript: PAPER
Category: Concurrent Systems
Keyword: 
Maude,  model checkers,  k-induction,  SAL,  the Suzuki-Kasami algorithm, 
  Summary |  Full Text:PDF (304.2KB)
Specification and Verification of a Single-Track Railroad Signaling in CafeOBJ
Takahiro SEINO  Kazuhiro OGATA  Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/06/01
Vol. E84-A  No. 6  pp. 1471-1478
Type of Manuscript: Special Section PAPER (Special Section on Papers Selected from 2000 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2000))
Category: 
Keyword: 
CafeOBJ,  formal method,  railroad signaling, 
  Summary |  Full Text:PDF (414.9KB)