Advanced search: Search from
Select basic information for advanced search
| Free word |
|---|
Rchr
J-GLOBAL ID：201901021262256572
Update date: Feb. 26, 2025 Ogata Kazuhiro
Ogata Kazuhiro
Japan Advanced Institute of Science and Technology
About Japan Advanced Institute of Science and Technology
Research theme for competitive and other funds (15)：
- 2024 - 2028 Logical foundation and formal verification of quantum-resistant security protocols
- 2023 - 2027 Development of model checking technology for dependable distributed systems
- 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
Show all
- Tomoyoshi Ogura, Canh Minh Do, Kazuhiro Ogata. Formal Specification and Model Checking of a Synchronous Leader Election Protocol in Maude. Lecture Notes in Computer Science. 2025. 208-225
- Canh Minh Do, Kazuhiro Ogata. An Executable Operational Semantics of Quantum Programs and Its Application. Lecture Notes in Computer Science. 2025. 15-31
- Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata. Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic. ACM Transactions on Software Engineering and Methodology. 2024
- Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata. A Tableau-Based Approach to Model Checking Linear Temporal Properties. Lecture Notes in Computer Science. 2024. 353-374
- 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
- Yati Phyo, Canh Minh Do, Ogata Kazuhiro. A divide and conquer approach to leads-to-model checking. ITNOW. 2021. 63. 2. 66
- Specification and verification of real-time multitasking systems by the OTS/CafeOBJ method. 2020. 119. 470. 25-30
- Specification description of real-time multitask systems by the OTS/CafeOBJ method. 2019. 118. 499. 13-18
- 緒方 和博. ソフトウェアサイエンス研究会(SS研)の紹介. 情報・システムソサイエティ誌. 2016. 21. 3. 8-9
- NAKAMURA Masaki, MIRCEA GAINA Daniel, OGATA Kazuhiro, FUTATSUGI Kokichi. Sufficient completeness of constructor-based order-sorted parameterized specifications. Technical report of IEICE. SS. 2015. 114. 510. 1-6
- 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
-
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)
- Ph.D.from Keio University (1995)
- 2014 - 現在 石川県教育委員会 「いしかわ高校科学グランプリ」における運営指導委員
- 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
