31 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 13-Aug-1997 | The equivalence of the reductions with the E-strategy with and without marks | Nagaya, Takashi; Matsumoto, Michihiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| Jun-2001 | Specification and verification of a single-track railroad signaling in CafeOBJ | SEINO, Takahiro; OGATA, Kazuhiro; FUTATSUGI, Kokichi |
| 20-Aug-2002 | Formal analysis of the iKP electronic payment protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| Apr-2003 | Flaw and modification of the ikp electronic payment protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| Apr-2004 | Rewriting-Based Verification of Authentication Protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| Sep-2004 | Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol | Kong, Weiqiang; Ogata, Kazuhiro; Xiang Jianwen; Futatsugi, Kokichi |
| 15-Apr-2005 | 項書き換えシステムにおける可簡約演算子とその応用 | 中村, 正樹; 緒方, 和博; 二木, 厚吉; NAKAMURA, MASAKI; OGATA, KAZUHIRO; FUTATSUGI, KOKICHI |
| 21-Sep-2005 | A Lightweight Integration of Theorem Proving and Model Checking for System Verification | Kong, Weiqiang; Seino, Takahiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 2006 | Induction-Guided Falsification | Ogata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi |
| 2006 | Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 7-Mar-2007 | Counterexample Discovery with a Combination of Induction and Bounded Model Checking | Ogata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi |
| 7-Mar-2007 | Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System | Kong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 16-Mar-2007 | Analysis of membership sharing in digital subscription services | Xiang, Jianwen; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 23-Mar-2007 | Algebraic approaches to formal analysis of the mondex electronic purse system | Kong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 6-Sep-2007 | Analysis of Electronic Commerce Protocols in Algebraic Specification Languages | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 1-May-2008 | A Specification Translation from Behavioral Specifications to Rewrite Specifications | NAKAMURA, Masaki; KONG, Weiqiang; OGATA, Kazuhiro; FUTATSUGI, Kokichi |
| Jul-2008 | Trace anonymity in the OTS/CafeOBJ method | Kong, Weiqiang; Ogata, Kazuhiro; Cheng, Jian; Futatsugi, Kokichi |
| 1-Dec-2008 | Proof Score Approach to Verification of Liveness Properties | OGATA, Kazuhiro; FUTATSUGI, Kokichi |
| 10-Apr-2009 | 証明支援系とモデル検査器を効果的に利用できる環境と方法論 | 緒方, 和博; OGATA, KAZUHIRO |
| 29-May-2009 | Constructor-based Institutions | Gaina, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro |
| 22-Sep-2009 | A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method | Seino, Takahiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 2010 | Proof Score Approach to Analysis of Electronic Commerce Protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 1-Feb-2010 | Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications | Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 10-Mar-2010 | Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version) | Zhang, Min; Ogata, Kazuhiro |
| 9-Nov-2010 | Specification Translation of State Machines from Equational Theories into Rewrite Theories | Zhang, Min; Ogata, Kazuhiro; Nakamura, Masaki |
| 9-Nov-2010 | A Combination of Forward and Backward Reachability Analysis Methods | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 15-Mar-2013 | Formalization and Verification of Behavioral Correctness of Dynamic Software Updates | Zhang, Min; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 23-Apr-2014 | 論理式肥大に伴う活性のモデル検査の非効率化の改善 | 緒方, 和博; Ogata, Kazuhiro |
| 15-Dec-2014 | Sufficient completeness of parameterized specifications in CafeOBJ | Nakamura, Masaki; Gaina, Daniel; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 2-Jun-2017 | 分散システムを計算の対象とする分散アルゴリズムのモデル検査に関する研究 | 緒方, 和博; Ogata, Kazuhiro |
| 26-Feb-2024 | Proceedings of the 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC), 2023 | Escobar, Santiago; Otmani, Ayoub; Akleylek, Sedat; Ogata, Kazuhiro |
