Kazuhiro Ogata

Last updated: Oct 4, 2019 at 02:50

Name	Kazuhiro Ogata
Degree	Ph.D.from Keio University (1995)

Research Interests

model checking(18) , rewriting(2) , specification(3) , theorem proving(8) , verification(6)

Awards & Honors

Plain Text

Nov 2015

BEST PAPER AWARD, The Second IEEE International Symposium on Dependable Computing and Internet of Things (DICT 2015)

Published Papers

Plain Text1 2 3 4 >

Proving Sufficient Completeness of Constructor-Based Algebraic Specifications

Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata, Kokichi Futatsugi

Advances in Computer Science and Ubiquitous Computing LNEE 373 (Springer) 15-21 Dec 2015 [Refereed]

On Automation of OTS/CafeOBJ Method

Daniel Gaina, Dorel Lucanu, Kazuhiro Ogata and Kokichi Futatsugi

Lecture Notes in Computer Science 8373 578, 25 Apr 2014 [Refereed]

Constructor-based Logics

Daniel Gaina, Kokichi Futatsugi and Kazuhiro Ogata

Journal of Universal Computer Science 18(16) 2204, 29 Oct 2012 [Refereed]

Model Checking of Robot Gathering

Ha Thi Thu Doan, Francois Bonnet, Kazuhiro Ogata

21st International Conference on Principles of Distributed Systems (21st OPODIS) Dec 2017 [Refereed]

Formalization and Verification of Declarative Cloud Orchestration

Hiroyuki Yoshida, Kazuhiro Ogata, Kokichi Futatsugi

Formal Methods and Software Engineering - 17th International Conferenceon Formal Engineering Methods, (ICFEM 2015),Lecture Notes in Computer Science, Springer 9407 33-49 Dec 2015 [Refereed]

Books etc

Plain Text

Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016

Kazuhiro Ogata, Mark Lawford, Shaoying Liu (Part:Editor)

Springer 2016

Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi

Shusaku Iida, Jos？Meseguer, Kazuhiro Ogata (Eds.) (Part:Editor)

Lecture Notes in Computer Science 8373, Springer 2014, ISBN 978-3-642-54623-5 2014

Conference Activities & Talks

Plain Text1 2 >

An attempt toward conjecturing lemmas with graphical animations of state machines [Invited]

Kazuhiro Ogata

The Second International Lecture Series of School of Software and Microelectornics (SSM), Northwestern Polytechnic University 19 Sep 2017

A Case Study on Extracting the Characteristics of the Reachable States of a State Machine formalizing a Communication Protocol with Inductive Logic Programing

Dung Tuan Ho, Min Zhang, Kazuhiro Ogata

25th International Conference on Inductive Logic Programming 20 Aug 2015

The evaluation strategy for head normal form with and without on-demand flags

Masaki Nakamura, Kazuhiro Ogata

The 3rd International Workshop on Rewriting Logic and its Applications (WRLA 2000) 2000

Specification and verification of a single-track railroad signaling in CafeOBJ

Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi

200 International Technical Conference on Circuts/Systems, Computers and Communications (ITC-CSCC 2000) 2000

Operational semantics of rewriting with the on-demand evaluation strategy

Kazuhiro Ogata and Kokichi Futatsugi

2000 ACM Symposium on AComputingpplied Mar 2000

Teaching Experience

Functional Programming (JAIST)
Software Design Methodology(E) (JAIST)
Algebraic Formal Methods(E) (JAIST)
Information Processing Theory(E) (JAIST)

Social Contribution

Plain Text

Fifith IEEE International Conference on Dependable Systems and Their Applications

[] PC cp-chair (Dalian, China) 22 Sep 2018 - 23 Sep 2018

18th International Conference on Formal Engineering Methods

[] General Chair:Shaoying Liu, Hosei University, JapanProgram Chairs:Kazuhiro Ogata, JAIST, JapanMark Lawford, McMaster University, Canada (TKP Conference Centre, Tokyo, Japan) 14 Nov 2016 - 18 Nov 2016

Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi

[] Jose Meseguer (UIUC)Shusaku Iida (Senshu Univ)Kazuhiro Ogata (JAIST) (Kanazawa) 14 Apr 2014 - 16 Apr 2014