Person: Kazuhiro Ogata

DBLP: Ogata:Kazuhiro

Contributed to:

2014

2014

2007

2006

2005

2003

2002

2001

2000

2000

1999

1997

1997

1994

1992

1992

Wrote 18 papers:

LOPSTR-2014-PreiningOF #case study #liveness #specification

Liveness Properties in CafeOBJ — A Case Study for Meta-Level Specifications (NP, KO, KF), pp. 182–198.

WRLA-2014-ZhangCO #framework #semantics #standard #𝕂

A Formal Semantics of the OSEK/VDX Standard in 𝕂 Framework and Its Applications (MZ, YC, KO), pp. 280–296.

IFM-2007-KongOF #algebra #analysis #formal method

Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System (WK, KO, KF), pp. 393–412.

SEKE-2006-OgataKF #bound

Falsification of OTSs by Searches of Bounded Reachable State Spaces (KO, WK, KF), pp. 440–445.

SEKE-2005-KongOF #analysis #formal method #security #workflow

Formal Analysis of Workflow Systems with Security Considerations (WK, KO, KF), pp. 531–536.

SEKE-2005-OgataF #approach #liveness #proving #verification

Proof Score Approach to Verification of Liveness Properties (KO, KF), pp. 608–613.

SEKE-2005-SenachakSOF #java

Provably Correct Translation from CafeOBJ into Java (JS, TS, KO, KF), pp. 614–619.

VMCAI-2003-OgataF #protocol #verification

Formal Verification of the Horn-Preneel Micropayment Protocol (KO, KF), pp. 238–252.

WRLA-2002-OgataF #authentication #protocol #verification

Rewriting-Based Verification of Authentication Protocols (KO, KF), pp. 208–222.

ASE-2001-OgataF #distributed #modelling #realtime #verification

Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ (KO, KF), pp. 185–192.

SAC-2000-OgataF #evaluation #on-demand #semantics

Operational Semantics of Rewriting with the On-demand Evaluation Strategy (KO, KF), pp. 756–764.

WRLA-2000-NakamuraO #evaluation #normalisation #on-demand

The evaluation strategy for head normal form with and without on-demand flags (MN, KO), pp. 212–228.

SAC-1999-OgataIF #optimisation #term rewriting #using

Optimizing Term Rewriting Using Discrimination Nets With Specialization (KO, SI, KF), pp. 511–518.

PLILP-1997-OgataF #evaluation #implementation #term rewriting

Implementation of Term Rewritings with the Evaluation Strategy (KO, KF), pp. 225–239.

RTA-1997-OgataOF #automaton #named #order #term rewriting

TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems (KO, KO, KF), pp. 335–338.

SAC-1994-OgataD #compilation #multi #thread

Object allocation and dynamic compilation in MultithreadSmalltalk (KO, ND), pp. 452–456.

PLDI-1992-OgataKID #design #implementation

The Design and Implementation of HoME (KO, SK, MI, ND), pp. 44–54.

TOOLS-PACIFIC-1992-OgataKID #named #smalltalk

HoME: Smalltalk on the Match Environment (KO, SK, MI, ND), pp. 153–161.