Rchr
J-GLOBAL ID：201901021262256572   Update date: Mar. 20, 2024

Ogata Kazuhiro

Ogata Kazuhiro
Affiliation and department：
Japan Advanced Institute of Science and Technology

About Japan Advanced Institute of Science and Technology


Research field  (1)： Software
Research keywords  (5)： verification ,  theorem proving ,  specification ,  rewriting ,  model checking
Research theme for competitive and other funds  (13)：
  • 2019 - 2023 A divide and conquer approach to parallelization of LTL model checking
  • 2014 - 2019 Research on Highly Reliable Agile Formal Engineering Methods
  • 2014 - 2017 A study on model checking of distributed algorithms whose computational targets are distributed systems
  • 2011 - 2016 Development of the Innovative Specification Verification System based on Proof Scores
  • 2011 - 2013 Improvement of liveness model checking performance degraded by obese formulas
Show all
Papers (181)：
  • Canh Minh Do, Yati Phyo, Adrián Riesco, Kazuhiro Ogata. Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way. ACM Transactions on Software Engineering and Methodology. 2023
  • Canh Minh Do, Kazuhiro Ogata 0001. Symbolic Model Checking Quantum Circuits in Maude. SEKE. 2023. 103-108
  • Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata 0001. Automated Quantum Program Verification in Dynamic Quantum Logic. DaLí. 2023. 68-84
  • Duong Dinh Tran, Canh Minh Do, Santiago Escobar 0001, Kazuhiro Ogata 0001. Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version. PeerJ Computer Science. 2023. 9. 1556
  • Yati Phyo, Moe Nandi Aung, Canh Minh Do, Kazuhiro Ogata 0001. A Layered and Parallelized Method of Eventual Model Checking. Information(Inf.). 2023. 14. 7. 384-384
ｍore...
MISC (29)：
ｍore...
Books (3)：
  • Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016
    Springer 2016
  • Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi
    Lecture Notes in Computer Science 8373, Springer 2014, ISBN 978-3-642-54623-5 2014
  • 電子情報通信学会「知識ベース」
    2010
Lectures and oral presentations  (14)：
  • An attempt toward conjecturing lemmas with graphical animations of state machines
    (The Second International Lecture Series of School of Software and Microelectornics (SSM), Northwestern Polytechnic University 2017)
  • A Case Study on Extracting the Characteristics of the Reachable States of a State Machine formalizing a Communication Protocol with Inductive Logic Programing
    (25th International Conference on Inductive Logic Programming 2015)
  • 不変性モデル検査器としてのCafeOBJ
    (2012年電子情報通信学会ソサイエティ大会 2012)
  • 有界モデル検査と帰納法の組合せによる NSPK 認証プロトコルの合意性
    (ソフトウェア・シンポジウム 2012 2012)
  • CafeOBJによるシステム検証
    (情報処理学会ソフトウェア工学研究会第165回研究会 2009)
ｍore...
Professional career (1)：
  • Ph.D.from Keio University (1995)
Committee career (1)：
  • 2014 - 現在 石川県教育委員会 「いしかわ高校科学グランプリ」における運営指導委員
Awards (1)：
  • 2015/11/16 - The Second IEEE International Symposium on Dependable Computing and Internet of Things (DICT 2015) BEST PAPER AWARD
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM