Kazuhiro Ogata

J-GLOBAL         Last updated: Oct 4, 2019 at 02:50
Kazuhiro Ogata
Ph.D.from Keio University (1995)

Awards & Honors

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

Published Papers

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

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

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   

Social Contribution

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