15 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| Jun-2001 | Specification and verification of a single-track railroad signaling in CafeOBJ | SEINO, Takahiro; OGATA, Kazuhiro; FUTATSUGI, Kokichi |
| Apr-2003 | Flaw and modification of the ikp electronic payment protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 15-Mar-2004 | 多重ループからの脱出でのgoto文の是非 : Hoare理論の観点から(プログラミング方法論とパラダイム) | 金藤, 栄孝; 二木, 厚吉; KONDOH, HIDETAKA; FUTATSUGI, KOKICHI |
| Apr-2004 | Rewriting-Based Verification of Authentication Protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 15-Sep-2004 | 有限状態機械に基づくプログラミングでのgoto文使用の是非 : Hoare論理の観点から(プログラミングの理論) | 金藤, 栄孝; 二木, 厚吉; KONDOH, HIDETAKA; FUTATSUGI, KOKICHI |
| 15-Apr-2005 | 項書き換えシステムにおける可簡約演算子とその応用 | 中村, 正樹; 緒方, 和博; 二木, 厚吉; NAKAMURA, MASAKI; 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 |
| 1-Jun-2006 | A Behavioral Specification of Imperative Programming Languages | NAKAMURA, Masaki; WATANABE, Masahiro; FUTATSUGI, Kokichi |
| 1-May-2008 | A Specification Translation from Behavioral Specifications to Rewrite Specifications | NAKAMURA, Masaki; KONG, Weiqiang; OGATA, Kazuhiro; FUTATSUGI, Kokichi |
| 1-Dec-2008 | Proof Score Approach to Verification of Liveness Properties | 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 |
| 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 |
