Ogata Kazuhiro 緒方和博

… Alternative Names

OGATA KAZUHIRO 緒方和博

OGATA Kazuhiro 緒方和博

Less

Researcher Number	30272991
Other IDs
External Links
Affiliation (Current)	2025: 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授
Affiliation (based on the past Project Information) *help	2016 – 2024: 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 2014 – 2015: 北陸先端科学技術大学院大学, 情報科学研究科, 教授 2011 – 2013: 北陸先端科学技術大学院大学, 情報科学研究科, 准教授 2008: Japan Advanced Institute of Science and Technology, 情報科学研究科, 准教授 2007: Japan Advanced Institute of Science and Technology, 情報科学研究科, 特任准教授 … More 2006: 北陸先端科学技術大学院大学, 情報科学研究科, 特任助教授 2003: Japan Advanced Institute of Science and Technology (JAIST), School of Information Science, Assistant, 情報科学研究科, 助手 1995 – 2001: 北陸先端科学技術大学院大学, 情報科学研究科, 助手 Less
Review Section/Research Field	Principal Investigator Software / 計算機科学 / Medium-sized Section 60:Information science, computer engineering, and related fields / Basic Section 60050:Software-related / Software Except Principal Investigator 計算機科学 / Software / Basic Section 60050:Software-related / Science and Engineering / Software
Keywords	Principal Investigator Maude / モデル検査 / 状態機械 / CafeOBJ / 分割統治 / 反例 / 仕様記述 / 量子通信 / 耐量子 / セキュリティプロトコル … More / サイバーセキュリティ / 形式検証 / Leads-to性質 / LTL / 状態爆発 / 線形時相論理 / 状態空間爆発 / until安定性 / until性 / 条件付安定性 / eventual性 / leads-to性 / 並列化 / 実行経路 / 到達可能 / 分散システム / 分散アルゴリズム / メタプログラム / 分散スナップショット / 公平性の理解 / 準公平性 / 公平性 / 活性 / 補題発見 / IGF / 補題 / 数学的帰納法 / 有界モデル検査 / 変換器 / 変換 / 定理証明 / メタプログラミング / CafeOBJ、Maude / 観測遷移システム / 仕様変換 / 仕様検証 / UNITY / 安全性 / 鉄道信号システム / 相互排除アルゴリズム / 実時間 / 状態遷移機械 / 検証 / モデル化 / リアクティブシステム / データ構造 / モジュールシステム / 弁別ネット / 特殊化 / 書換えシステム / 操作的意味 / 要求駆動E戦略 / 簡約戦略 / TRAM / 抽象機械 / コンパイラ / 最適化 / 項書換え … More Except Principal Investigator CafeOBJ / 形式手法 / 形式仕様 / ソフトウェア工学 / 検証 / 振舞仕様 / MPI / 抽象機械 / 証明スコア / 代数仕様 / 仕様記述・仕様検証 / モジュールシステム / 木アーキテクチャ / 詳細化検証 / 射影型振舞仕様 / 分散(実時間)システム / UML / 高信頼 / コンポーネント / 機密実行 / モデルチェッキング / 分散システム / ディペンダブルシステム / behavioral specification / formal methods / e-commerce protocol / authentication protocol / unknown virus detection / system verification / system security / 移動コード / 実時間システム / セキュアプロトコル / 安全性検証 / Java仮想機械 / CadeOBJ / UNITY / 自動証明器PigNose / 安全性 / 振舞モデル検査 / ウィルス検査 / cafeOBJ / 電子商取引プロトコル / 認証プロトコル / 未知ウイルス検知 / システム検証 / システム安全性 / verification / distributed (real-time) systems / specifications / module system / support tool / reliable / components / 代数モデル / 形式仕様言語 / 閲覧システム / 方法論 / 振舞い仕様 / オブジェクト指向 / ソフトウェア発展 / 非機能的性質 / 機能的性質 / 仕様 / 支援ツール / massively parallel computers / the (parallel) evaluation strategy / abstract machines / concurrent (parallel) rewriting / 書き換えモデル / 並列処理 / 計算モデル / 超並列計算機 / (並列)E戦略 / 並行(並列)書換え / テストケースの自動生成 / 形式仕様検査 / 形式仕様テスト / 形式仕様検証 / ソフトウェアの形式仕様 / 形式仕様パターン / テストに基づく検証 / アジャイル形式工学手法 / 形式仕様妥当性の検証 / データアニメーション / 形式仕様記述技術 / テストデータの自動生成 / テストと検証 / 情報システム / 情報基礎 / データ項目のGUI表現 / データ項目のアニメーション / アニメーションデータの自動生成 / 形式仕様作成の予測 / 形式仕様作成の監視 / 形式仕様アニメーション / 形式仕様記述手法 / 形式仕様に基づくテスト / モデル検査 / テストに基づく形式検証 / アジャイル開発 / 高信頼ソフトウェア開発 / ソフトウェア品質保証 / ソフトウェア検証 / ソフトウェアテスト / 仕様アニメーション / ハイブリッド仕様 / 形式工学手法 / アジャイル開発手法 / 観測遷移システム / 問題仕様 / 定理証明 / 仕様記述 / Linda / 言語 / モデル / 開発支援ツール / コーディネーション / Java / OCL Less

Logical foundation and formal verification of quantum-resistant security protocolsPrincipal Investigator
- Principal Investigator
  
  緒方和博
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Fund for the Promotion of Joint International Research (International Collaborative Research)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Japan Advanced Institute of Science and Technology
Development of model checking technology for dependable distributed systems
- Principal Investigator
  
  土屋達弘
- Project Period (FY)
  2023 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Osaka University
A divide and conquer approach to parallelization of LTL model checkingPrincipal Investigator
- Principal Investigator
  
  OGATA Kazuhiro
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Japan Advanced Institute of Science and Technology
Research on Highly Reliable Agile Formal Engineering Methods
- Principal Investigator
  
  LIU Shaoying
- Project Period (FY)
  2014 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  Hosei University
A study on model checking of distributed algorithms whose computational targets are distributed systemsPrincipal Investigator
- Principal Investigator
  
  OGATA KAZUHIRO
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
Development of the Innovative Specification Verification System based on Proof Scores
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
証明スコア法に基づく革新的仕様検証技術の研究
- Principal Investigator
  
  二木厚吉
- Project Period (FY)
  2011
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
Improvement of liveness model checking performance degraded by obese formulasPrincipal Investigator
- Principal Investigator
  
  OGATA KAZUHIRO
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
Methodology and Environment for Effectively Using Theorem Provers and Model CheckersPrincipal Investigator
- Principal Investigator
  
  OGATA Kazuhiro
- Project Period (FY)
  2006 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
リアクティブシステムの仕様記述、検証、および実装に関する研究Principal Investigator
- Principal Investigator
  
  緒方和博
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology
Safety Verification Technologies based on Behavioral Specifications
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  2000 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Japan Advanced Institute of Science and Technology (JAIST)
モジュールシステムを基礎におくコーディネーションモデルの研究
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology
書換えシステム用最適化コンパイラに関する研究Principal Investigator
- Principal Investigator
  
  緒方和博
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology
Development of Formal Specification Language for Writing Specifications as Components Based on Functions
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  1998 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology
A Study on Abstract Machines for Concurrent Rewriting
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  1995 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology

[Book] Formal Methods and Software Engineering, Proceedings of 18th International Conference on Formal Engineering Methods (ICFEM 2016)2016
- Author(s)
  Kazuhiro Ogata, Mark Lawford, and Shaoying Liu
- Publisher
  Springer, LNCS 10009
- Data Source
  KAKENHI-PROJECT-26240008
[Book] Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi, LNCS 83732014
- Author(s)
  Shusaku Iida, Jose Meseguer, Kazuhiro Ogata (Eds)
- Total Pages
  657
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Formal Specification and Model Checking of Raft Log Replication in Maude2023
- Author(s)
  Ishibashi Takanori、Ogata Kazuhiro
- Journal Title
  
  Proceedings of the 29th International DMS Conference on Visualization and Visual Languages
  
  Volume: ISBN 1-891706-57-8 Pages: 1-6
- DOI
  10.18293/dmsviva2023-010
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K28060
[Journal Article] Symbolic Model Checking Quantum Circuits in Maude2023
- Author(s)
  Do Canh Minh、Ogata Kazuhiro
- Journal Title
  
  Proceedings of the 35th International Conference on Software Engineering & Knowledge Engineering
  
  Volume: ISBN 1-891706-56-X Pages: 103-108
- DOI
  10.18293/seke2023-014
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K28060
[Journal Article] Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way2022
- Author(s)
  Canh Minh Do、Phyo Yati、Ogata Kazuhiro
- Journal Title
  
  IEEE Access
  
  Volume: 10 Pages: 133749-133765
- DOI
  10.1109/access.2022.3230844
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] Parallel Specification-Based Testing for Concurrent Programs2022
- Author(s)
  Canh Minh Do、Ogata Kazuhiro
- Journal Title
  
  IEEE Access
  
  Volume: 10 Pages: 24955-24975
- DOI
  10.1109/access.2022.3155629
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] Parallel Maude-NPA for Cryptographic Protocol Analysis2022
- Author(s)
  Canh Minh Do、Riesco Adrian、Escobar Santiago、Ogata Kazuhiro
- Journal Title
  
  14th International Workshop on Rewriting Logic and Its Applications
  
  Volume: LNCS 13252 Pages: 253-273
- DOI
  10.1007/978-3-031-12441-9_13
- ISBN
  9783031124402, 9783031124419
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] A divide and conquer approach to until and until stable model checking2022
- Author(s)
  Canh Minh Do、Phyo Yati、Ogata Kazuhiro
- Journal Title
  
  34th International Conference on Software Engineering and Knowledge Engineering
  
  Volume: NA Pages: 388-393
- DOI
  10.18293/seke2022-058
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] A support tool for the L + 1-layer divide & conquer approach to leads-to model checking2021
- Author(s)
  Phyo Yati、Do Canh Minh、Ogata Kazuhiro
- Journal Title
  
  45th IEEE Computer Society Computers, Software, and Applications Conference
  
  Volume: 0 Pages: 854-863
- DOI
  10.1109/compsac51774.2021.00118
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] A Divide and Conquer Approach to Eventual Model Checking2021
- Author(s)
  Aung Moe Nandi、Phyo Yati、Do Canh Minh、Ogata Kazuhiro
- Journal Title
  
  Mathematics
  
  Volume: 9 Issue: 4 Pages: 368-368
- DOI
  10.3390/math9040368
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] A Parallel Stratified Model Checking Technique/Tool for Leads-to Properties2021
- Author(s)
  Do Canh Minh、Phyo Yati、Riesco Adrian、Ogata Kazuhiro
- Journal Title
  
  7th International Symposium on System and Software Reliability
  
  Volume: 0 Pages: 155-166
- DOI
  10.1109/isssr53171.2021.00011
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] A Divide & Conquer Approach to Conditional Stable Model Checking2021
- Author(s)
  Phyo Yati、Do Canh Minh、Ogata Kazuhiro
- Journal Title
  
  18th International Colloquium on Theoretical Aspects of Computing
  
  Volume: 0 Pages: 105-111
- DOI
  10.1007/978-3-030-85315-0_7
- ISBN
  9783030853143, 9783030853150
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] A Divide & Conquer Approach to Leads-to Model Checking2021
- Author(s)
  Phyo Yati、Minh Do Canh、Ogata Kazuhiro
- Journal Title
  
  The Computer Journal
  
  Volume: - Issue: 6 Pages: 1353-1364
- DOI
  10.1093/comjnl/bxaa183
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] A divide & conquer approach to testing concurrent programs with JPF2020
- Author(s)
  Do Canh Minh、Ogata Kazuhiro
- Journal Title
  
  27th Asia-Pacific Software Engineering Conference (27th APSEC)
  
  Volume: - Pages: 356-364
- DOI
  10.1109/apsec51365.2020.00044
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] Parallel stratified random testing for concurrent programs2020
- Author(s)
  Do Canh Minh、Ogata Kazuhiro
- Journal Title
  
  IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)
  
  Volume: - Pages: 79-86
- DOI
  10.1109/qrs-c51114.2020.00024
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and?Maude2020
- Author(s)
  Minh Do Canh、Ogata Kazuhiro
- Journal Title
  
  Proc. of 9th International Workshop on SOFL+MSVL
  
  Volume: - Pages: 42-58
- DOI
  10.1007/978-3-030-41418-4_4
- ISBN
  9783030414177, 9783030414184
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] A Generic Approach on How to Formally Specify and Model Check Path Finding Algorithms: Dijkstra, A* and LPA*2020
- Author(s)
  Ogata Kazuhiro
- Journal Title
  
  International Journal of Software Engineering and Knowledge Engineering
  
  Volume: 30 Issue: 10 Pages: 1481-1523
- DOI
  10.1142/s0218194020400215
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] A Divide & Conquer Approach to Liveness Model Checking under Fairness & Anti-fairness Assumptions2019
- Author(s)
  Kazuhiro Ogata
- Journal Title
  
  Frontiers of Computer Science (FCS)
  
  Volume: 13(1) Pages: 51-72
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Toward development of a tool supporting a 2-layer divide & conquer approach to leads-to model checking2019
- Author(s)
  Phyo Yati、Do Canh Minh、Ogata Kazuhiro
- Journal Title
  
  Proc. of 2019 International Conference on Advanced Information Technologies
  
  Volume: - Pages: 250-255
- DOI
  10.1109/aitc.2019.8920978
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S)2019
- Author(s)
  Aung Moe Nandi、Phyo Yati、Ogata Kazuhiro
- Journal Title
  
  Proc. of 31st International Conference on Software Engineering and Knowledge Engineerin
  
  Volume: - Pages: 159-164
- DOI
  10.18293/seke2019-021
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04082
[Journal Article] Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores2018
- Author(s)
  Adrian Riesco, Kazuhiro Ogata
- Journal Title
  
  ACM Transactions on Software Engineering and Methodology
  
  Volume: 27(2)
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks2018
- Author(s)
  Yati Phyo, Kazuhiro Ogata
- Journal Title
  
  Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018)
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Graphically perceiving characteristics of the MCS lock and model checking them2018
- Author(s)
  Tam Thi Thanh Nguyen, Kazuhiro Ogata
- Journal Title
  
  Proceedings of 7th International Workshop on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795
  
  Volume: - Pages: 3-23
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Formal Analysis of a Security Protocol for e-Passports based on Rewrite Theory Specifications2018
- Author(s)
  Manjukeshwar Reddy Mandadi, Varuneshwar Reddy Mandadi, Kazuhiro Ogata
- Journal Title
  
  Journal of Information Security and Applications (JISA)
  
  Volume: 42 Pages: 71-86
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Model Checking of the Suzuki-Kasami Distributed Mutual Exclusion Algorithm with SPIN2018
- Author(s)
  Shouki Sakamoto, Kazuhiro Ogata
- Journal Title
  
  Proceedings of the 5th International Conference on Dependable Systems and Their Applications
  
  Volume: - Pages: 136-141
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Analysis of Some Variants of the Anderson Array-Based Queuing Mutual Exclusion Protocol with Model Checking and Graphical Animations2018
- Author(s)
  Yati Phyo, Kazuhiro Ogata
- Journal Title
  
  Proceedings of the 5th International Conference on Dependable Systems and Their Applications
  
  Volume: - Pages: 126-135
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] A proof score approach to formal verification of an imperative programming language compiler2018
- Author(s)
  Dorian Daudier, Trinh Ngoc Quoc Bao, Kazuhiro Ogata
- Journal Title
  
  Proceedings of 7th International Workshop on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795
  
  Volume: - Pages: 200-217
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Model Checking of a Mobile Robots Perpetual Exploration Algorithm2017
- Author(s)
  Ha Thi Thu Doan, Francois Bonnet, Kazuhiro Ogata
- Journal Title
  
  Proceedings of 6th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), Springer
  
  Volume: LNCS 10189 Pages: 201-219
- DOI
  10.1007/978-3-319-57708-1_12
- ISBN
  9783319577074, 9783319577081
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26240008, KAKENHI-PROJECT-26540024
[Journal Article] Specifying a Distributed Snapshot Algorithm as a Meta-program and Model Checking it at Meta-level2017
- Author(s)
  Ha Thi Thu Doan, Francois Bonnet, Kazuhiro Ogata
- Journal Title
  
  Proc. of IEEE ICDCS 2017
  
  Volume: NA
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26540024
[Journal Article] Graphical Animations of State Machines2017
- Author(s)
  Tam Thi Thanh Nguyen, Kazuhiro Ogata
- Journal Title
  
  Proceedings of 15th IEEE International Conference on Dependable, Autonomic and Secure Computing (15th DASC)
  
  Volume: - Pages: 604-611
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] A Divide and Conquer Approach to Liveness Model Checking under Fairness & Anti-fairness Assumptions2017
- Author(s)
  Kazuhiro Ogata
- Journal Title
  
  Frontiers of Computer Science (FCS)
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] A Maude Environment for CafeOBJ2017
- Author(s)
  Adrian Riesco, Kazuhiro Ogata, Futatsugi Kokichi
- Journal Title
  
  Formal Aspects of Computing, Springer (FAoC)
  
  Volume: 29(2) Pages: 309-334
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Writing concurrent Java programs based on CafeOBJ specifications2017
- Author(s)
  Xuan-Linh Ha, Kazuhiro Ogata
- Journal Title
  
  Proceedings of 25th Asia-Pacific Software Engineering Conference (APSEC 2017)
  
  Volume: - Pages: 618-623
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Specifying a Distributed Snapshot Algorithm as a Meta-program and Model Checking it at Meta-level2017
- Author(s)
  Ha Thi Thu Doan, Francois Bonnet, Kazuhiro Ogata
- Journal Title
  
  Proceedings of 37th IEEE International Conference on Distributed Computing Systems
  
  Volume: - Pages: 1586-1596
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Model Checking the iKP Electronic Payment Protocols2017
- Author(s)
  Kazuhiro Ogata
- Journal Title
  
  Journal of Information Security and Applications (JISA)
  
  Volume: 36 Pages: 101-111
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker2017
- Author(s)
  Tam Thi Thanh Nguyen, Kazuhiro Ogata
- Journal Title
  
  Proceedings of 7th Annual Conference on Software Analysis, Testing and Evolution (SATE 2017)
  
  Volume: - Pages: 53-62
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] CafeInMaude: A CafeOBJ Interpreter in Maude2016
- Author(s)
  Adrian Riesco, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Springer Lecture Notes in Computer Science (Fundamental Approaches to Software Engineering, 19th FASE)
  
  Volume: 9633 Pages: 377-380
- DOI
  10.1007/978-3-662-49665-7_22
- ISBN
  9783662496640, 9783662496657
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Formal Modeling and Analysis of Time- and Resource-Sensitive Simple Business Processes2016
- Author(s)
  Kazuhiro Ogata, Thapana Chaimanont, Min Zhang
- Journal Title
  
  Journal of Information Security and Applications, Elsevier
  
  Volume: 31 Pages: 23-40
- DOI
  10.1016/j.jisa.2016.05.001
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] 構成子に基づく順序ソートパラメータ化仕様の十分完全性について2015
- Author(s)
  中村正樹，ガイナダニエルミルチェア，緒方和博，二木厚吉
- Journal Title
  
  電子情報通信学会，信学技報
  
  Volume: vol.114, no.510, SS2014-55 Pages: 1-6
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates2015
- Author(s)
  Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proc. of 22nd Asia-Pacific Software Engineering Conference
  
  Volume: -
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Model Checking Chandy-Lamport Distributed Snapshot Algorithm Revisited2015
- Author(s)
  Ha Thi Thu Doan, Wenjie Zhang, Kazuhiro Ogata, Min Zhang
- Journal Title
  
  Proc. of 2015 Second International Symposium on Dependable Computing and Internet of Things
  
  Volume: - Pages: 30-39
- DOI
  10.1109/dcit.2015.13
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540024
[Journal Article] Formalization and Verification of Declarative Cloud Orchestration2015
- Author(s)
  Hiroyuki Yoshida, Kokichi Futatsugi, Kazuhiro Ogata
- Journal Title
  
  Springer Lecture Note in Computer Science (Formal Methods and Software Engineering, 17th ICFEM)
  
  Volume: 9407 Pages: 33-49
- DOI
  10.1007/978-3-319-25423-4_3
- ISBN
  9783319254227, 9783319254234
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Proving Sufficient Completeness of Constructor-based Algebraic Specifications2015
- Author(s)
  Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata and Kokichi Futatsugi
- Journal Title
  
  Springer Lecture Notes in Electrical Engineering (Advances in Computer Science and Ubiquitous Computing)
  
  Volume: 373 Pages: 15-21
- DOI
  10.1007/978-981-10-0281-6_3
- ISBN
  9789811002809, 9789811002816
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] A Consideration on How to Model Check Distributed Snapshot Reachability Property2015
- Author(s)
  Wenjie Zhang, Kazuhiro Ogata, Min Zhang
- Journal Title
  
  信学技報
  
  Volume: 114 Pages: 49-54
- NAID
  110010001774
- Data Source
  KAKENHI-PROJECT-26540024
[Journal Article] Formal Modeling and Analysis of Time- and Resource-sensitive Simple Business Processes2015
- Author(s)
  Kazuhiro Ogata, Thapana Chaimanont, Min Zhang
- Journal Title
  
  Proc. of 2015 Second International Symposium on Dependable Computing and Internet of Things
  
  Volume: - Pages: 1-10
- DOI
  10.1109/dcit.2015.23
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540024
[Journal Article] Liveness properties in CafeOBJ - a case study for meta-level specifications2014
- Author(s)
  Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Technical Report IASI-CNR R. 3, 2014, ISSN: 1128-3378
  
  Volume: -
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs2014
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Specification, Algebra, and Software, LNCS, Springer
  
  Volume: 8373 Pages: 630-656
- DOI
  10.1007/978-3-642-54624-2_31
- ISBN
  9783642546235, 9783642546242
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] TESLA source authentication protocol verification experiment in the Timed OTS/CafeOBJ method: Experiences and Lessons Learned2014
- Author(s)
  Iakovos Ouranos, Petros Stefaneas, Kazuhiro Ogata
- Journal Title
  
  IEICE TRANSACTIONS on Information and Systems
  
  Volume: E97-D(5) Pages: 1160-1170
- NAID
  130004519231
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] A Formal Semantics of the OSEK/VDX Standard in K Framework and its Applications2014
- Author(s)
  Min Zhang, Yunja Choi, Kazuhiro Ogata
- Journal Title
  
  Pro. of 10th RTA, LNCS, Springer
  
  Volume: 8663 Pages: 280-296
- DOI
  10.1007/978-3-319-12904-4_16
- ISBN
  9783319129037, 9783319129044
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Evaluation of Maude as a test generation engine for automotive operating systems2014
- Author(s)
  Yunja Choi, Min Zhang, Kazuhiro Ogata
- Journal Title
  
  Proc. of the 21st Asia-Pacific Software Engineering Conference (21st APSEC), IEEE
  
  Volume: -
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Incremental proofs of termination, confluence and sufficient completeness of OBJ specifications2014
- Author(s)
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Specification, Algebra, and Software, LNCS, Springer
  
  Volume: 8373 Pages: 92-109
- DOI
  10.1007/978-3-642-54624-2_5
- ISBN
  9783642546235, 9783642546242
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] On Automation of OTS/CafeOBJ Method2014
- Author(s)
  Daniel Gaina, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Specification, Algebra, and Software, LNCS, Springer
  
  Volume: 8373 Pages: 578-602
- DOI
  10.1007/978-3-642-54624-2_29
- ISBN
  9783642546235, 9783642546242
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] A Hierarchical Approach to Operational Termination of　Algebraic Specifications2013
- Author(s)
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the International Conference on Electronics, Information and Communication (ICEIC 2013)
  
  Volume: - Pages: 144-145
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] A Divide & Conquer Approach to Model Checking of Liveness Properties2013
- Author(s)
  Kazuhiro Ogata, Min Zhang
- Journal Title
  
  Proc. of the 37th Annual International Computer Software & Applications Conference (37th COMPSAC), IEEE Computer Society Press
  
  Volume: - Pages: 648-657
- DOI
  10.1109/compsac.2013.104
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002, KAKENHI-PROJECT-23500041
[Journal Article] Model Checking Liveness Properties under Fairness & Anti-fairness Assumptions2013
- Author(s)
  Kazuhiro Ogata
- Journal Title
  
  Proceedings of the 20th Asia-Pacific Software Engineering Conference
  
  Volume: 0 Pages: 565-570
- DOI
  10.1109/apsec.2013.82
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500041
[Journal Article] Formalization and Verification of Behavioral Correctness of Dynamic Software Updates2013
- Author(s)
  Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proc. of the 2nd Workshop on Validation Strategies for Software Evolution (2nd VSSE), ENTCS 294, Elsevier
  
  Volume: - Pages: 12-23
- DOI
  10.1016/j.entcs.2013.02.013
- NAID
  120005469624
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Incremental Proofs of Operational Termination with Modular Conditional Dependency Pairs2013
- Author(s)
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the International MultiConference of Engineers and Computer Scientists 2013
  
  Volume: I, IMECS Pages: 516-521
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method2013
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  The Journal of Universal Computer Science (J. UCS)
  
  Volume: 19(6) Pages: 771-804
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Model Checking Liveness Properties under Fairness & Anti-fairness Assumptions2013
- Author(s)
  Kazuhiro Ogata
- Journal Title
  
  Proceedings of the 20th Asia-Pacific Software Engineering Conference (20th APSEC), IEEE
  
  Pages: 565-570
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500041
[Journal Article] On Proving Operational Termination Incrementally with Modular Conditional Dependency Pairs2013
- Author(s)
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  IAENG International Journal of Computer Science
  
  Volume: 40-2 Pages: 117-123
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] A Divide & Conquer Approach to Model Checking of Liveness Properties2013
- Author(s)
  Kazuhiro Ogata and Min Zhang
- Journal Title
  
  Proceedings of the 37th Annual International Computer Software & Applications Conference (37th COMPSAC)
  
  Volume: 0 Pages: 0-0
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500041
[Journal Article] A Divide & Conquer Approach to Model Checking of Liveness Properties2013
- Author(s)
  Kazuhiro Ogata and Min Zhang
- Journal Title
  
  Proceedings of the 37th Annual International Computer Software & Applications Conference (37th COMPSAC), IEEE Computer Society Press
  
  Pages: 648-657
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500041
[Journal Article] Model Checking Liveness Properties under Fairness & Anti-fairness Assumptions2013
- Author(s)
  Kazuhiro Ogata
- Journal Title
  
  Proc. of the 20th Asia-Pacific Software Engineering Conference (20th APSEC), IEEE
  
  Volume: - Pages: 565-570
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] On Describing Terminating Algebraic Specifications Based on Their Models2012
- Author(s)
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proc.of the International MultiConference of Engineers and Computer Scientists 2012
  
  Pages: 269-274
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Principles of proof scores in CafeOBJ2012
- Author(s)
  Kokichi Futatsugi, Daniel Gaina, Kazuhiro Ogata
- Journal Title
  
  Theoretical Computer Science (TCS)
  
  Volume: 464 Pages: 90-112
- DOI
  10.1016/j.tcs.2012.07.041
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules2012
- Author(s)
  Min Zhang, Kazuhiro Ogata
- Journal Title
  
  Proceedings of the 19th Asia-Pacific Software Engineering Conference (19th APSEC), IEEE
  
  Volume: - Pages: 511-516
- DOI
  10.1109/apsec.2012.99
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic2012
- Author(s)
  Kazuhiro Ogata, Phan Thi Thanh Huyen
- Journal Title
  
  Proceedings of the 14th International Conference on Formal Engineering Methods (14th ICFEM)
  
  Volume: Springer LNCS 7635 Pages: 87-102
- DOI
  10.1007/978-3-642-34281-3_9
- ISBN
  9783642342806, 9783642342813
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method2012
- Author(s)
  Iakovos Ouranos, Petros S. Stefaneas, Kazuhiro Ogata
- Journal Title
  
  Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (5th ISoLA), Part I
  
  Volume: Springer LNCS 7610 Pages: 126-142
- DOI
  10.1007/978-3-642-34032-1_15
- ISBN
  9783642340314, 9783642340321
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Constructor-based Logics2012
- Author(s)
  Daniel Gaina, Kokichi Futatsugi, Kazuhiro Ogata
- Journal Title
  
  The Journal of Universal Computer Science (J.UCS)
  
  Volume: 18(16) Pages: 2204-2233
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Facilitating the Transformation of State Machines from Equations into Rewrite Rules2012
- Author(s)
  Min Zhang, Kazuhiro Ogata
- Journal Title
  
  Pre-Proceedings of WRLA 2012
  
  Pages: 183-198
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic2012
- Author(s)
  Kazuhiro Ogata and Phan Thi Thanh Huyen
- Journal Title
  
  Proceedings of the 14th International Conference on Formal Engineering Methods (14th ICFEM)
  
  Volume: 7635 Pages: 87-102
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500041
[Journal Article] An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms2012
- Author(s)
  Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 19th Asia-Pacific Software Engineering Conference　(19th APSEC), IEEE
  
  Volume: - Pages: 664-673
- DOI
  10.1109/apsec.2012.100
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support2011
- Author(s)
  Min Zhang, Kazuhiro Ogata, Masaki Nakamura
- Journal Title
  
  IEICE TRANSACTIONS on Information and Systems
  
  Volume: E94-D(5) Pages: 976-988
- NAID
  10029506958
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240004
[Journal Article] Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support2011
- Author(s)
  Min Zhang, Kazuhiro Ogata, Masaki Nakamura
- Journal Title
  
  IEICE TRANSACTIONS on Information and Systems
  
  Volume: E94-D(5) Pages: 976-988
- NAID
  10029506958
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Maude : 書換え論理に基づく計算機言語および処理系2008
- Author(s)
  緒方和博, 中村正樹, 二木厚吉
- Journal Title
  
  コンピュータソフトウェア(日本ソフトウェア科学会論文誌) 25
  
  Pages: 78-84
- NAID
  130004549110
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500019
[Journal Article] A Specification Translation from Behavioral Specifications to Rewrite Specifications2008
- Author(s)
  Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata and Kokichi Futatsugi
- Journal Title
  
  IEICE TRANSACTIONS on Information and Systems E91-D(5)
  
  Pages: 1492-1503
- NAID
  10026803820
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500019
[Journal Article] A Specification Translation from Behavioral Specifications to Rewrite Specifications2008
- Author(s)
  M. Nakamura, K. Weiqiang, K. Ogata, K. Futatsugi
- Journal Title
  
  IEICE TRANSACTIONS on Information and Systems E91-D
  
  Pages: 1492-1503
- NAID
  10026803820
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500019
[Journal Article] Creme: An Automatic Invariant Prover of Behavioral Specifications2007
- Author(s)
  M.Nakano, K, Ogata, M.Nakamura, K.Futatsugi
- Journal Title
  
  Int'l J.Software Engineeing & Knowledge Engineering 17
  
  Pages: 783-804
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500019
[Journal Article] Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System2007
- Author(s)
  W.Kong, K.Ogata, K.Futatsugi
- Journal Title
  
  Proc.of the 6th Int'l Conf on Integrated Formal Methods LNCS4951
  
  Pages: 393-412
- NAID
  110006386813
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500019
[Journal Article] Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm2007
- Author(s)
  K.Ogata, K.Futatsugi
- Journal Title
  
  IEICE Trans.Fundamentals E90-A
  
  Pages: 1690-1703
- NAID
  110007540867
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500019
[Journal Article] Specification and Verification of Workflows with RBAC Mechanism and SoD Constraints2007
- Author(s)
  Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  International Journal of Software Engineering and knowledge Engineering 17・1
  
  Pages: 3-32
- Data Source
  KAKENHI-PROJECT-18500019
[Journal Article] Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm, IEICE TRANSACTIONS on Fundamental of Electronics2007
- Author(s)
  Kazuhiro Ogata and Kokichi Futatsugi
- Journal Title
  
  Communications, Computer Science E90-A(8)
  
  Pages: 1690-1703
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500019
[Journal Article] Induction-Guided Falsification2006
- Author(s)
  Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi
- Journal Title
  
  Proc. of the 8^th International Conference on Formal Engineering Methods (LNCS 4260)
  
  Pages: 114-131
- NAID
  120000861068
- Data Source
  KAKENHI-PROJECT-18500019
[Journal Article] Automating Invariant Verification of Behavioral Specifications2006
- Author(s)
  M.Nakano, K.Ogata, M.Nakamura, K.Futatsugi
- Journal Title
  
  Proc. of the 6^th International Conference on Quality Software
  
  Pages: 49-56
- Data Source
  KAKENHI-PROJECT-18500019
[Journal Article] Falsification of OTSs by Searches of Bounded Reachable State Spaces2006
- Author(s)
  Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi
- Journal Title
  
  Proc. of the 18^th International Conference on Software Engineering and knowledge Engineering
  
  Pages: 440-445
- Data Source
  KAKENHI-PROJECT-18500019
[Journal Article] A Review of Induction-Guided Falsification and Towards its Automation2006
- Author(s)
  W.kong, K.Ogata, M.Nakamura, K.Futatsugi
- Journal Title
  
  Proc. of the 1^st Asian Working Conference on Verified Software
  
  Pages: 48-59
- Data Source
  KAKENHI-PROJECT-18500019
[Presentation] A stratified way to mitigate the state space explosion in model checking2020
- Author(s)
  Kazuhiro Ogata
- Organizer
  The 12th IEEE International Conference on KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2020)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04082
[Presentation] Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System2007
- Author(s)
  Weiqiang Kong, Kazuhiro Ogata and Kokichi Futatsugi
- Organizer
  Proceedings of the 6th International Conference on Integrated Formal Methods (6th IFM), LNCS 4591, Springer
- Place of Presentation
  Oxford, UK
- Data Source
  KAKENHI-PROJECT-18500019
[Presentation] Falsification of OTSs by Searches of Bounded Reachable State Spaces2006
- Author(s)
  Kazuhiro Ogata, Weiqiang Kong and Kokichi Futatsugi
- Organizer
  Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering (18th SEKE), Knowledge Systems Institute
- Place of Presentation
  San Francisco, USA.
- Data Source
  KAKENHI-PROJECT-18500019
[Presentation] Induction-Guided2006
- Author(s)
  Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong and Kokichi Futatsugi
- Organizer
  Falsification, Prceedings of the 8th International Conference on Formal Engineering Methods (8th ICFEM), LNCS 4260, Springer
- Place of Presentation
  Macao
- Data Source
  KAKENHI-PROJECT-18500019
[Presentation] Sufficient completeness of parameterized specifications in CafeOBJ
- Author(s)
  Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata, Kokichi Futatsugi
- Organizer
  12th Asian Symposium on Programming Languages and Systems, APLAS 2014
- Place of Presentation
  Singapore, the Republic of Singapore
- Year and Date
  2014-11-17 – 2014-11-19
- Data Source
  KAKENHI-PROJECT-23220002

1. FUTATSUGI Kokichi (50251971)

# of Collaborated Projects: 7 results

# of Collaborated Products: 20 results
2. AOKI TOSHIAKI (20313702)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. NAKAMURA MASAKI (40345658)

# of Collaborated Projects: 2 results

# of Collaborated Products: 9 results
4. WATANABE Takuo (20222408)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. CHIBA YUKI (10509756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. SEINO TAKAHIRO (10397226)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. LIU Shaoying (90264960)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
8. IIDA Shusaku (80338590)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. MORI Akira (30311682)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. PREINING Norbert (60571247)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
11. GAINA Daniel (80595778)

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
12. 児玉靖司 (30266910)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. 荒木啓二郎 (40117057)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. ディアコネスクラズウ゛ァ (30293393)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 天野憲樹 (30313703)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. 岡田光弘 (30224025)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 土屋達弘 (30283740)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 林原尚浩 (20397227)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 中川博之 (40508834)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. DO CanhMinh (00981143)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 高木翼 (30994769)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. TAMAI tetsuo

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. NAKAJIMA shin

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. KUMENO fumihiro

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Ogata Kazuhiro 緒方 和博

OGATA KAZUHIRO 緒方 和博

OGATA Kazuhiro 緒方 和博

Research Projects

Research Products

Co-Researchers

Logical foundation and formal verification of quantum-resistant security protocolsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A divide and conquer approach to parallelization of LTL model checkingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study on model checking of distributed algorithms whose computational targets are distributed systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Improvement of liveness model checking performance degraded by obese formulasPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Methodology and Environment for Effectively Using Theorem Provers and Model CheckersPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

リアクティブシステムの仕様記述、検証、および実装に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

書換えシステム用最適化コンパイラに関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Ogata Kazuhiro 緒方和博

OGATA KAZUHIRO 緒方和博

OGATA Kazuhiro 緒方和博