二木　厚吉 （フタツギ　コウキチ）　特任教授
ソフトウェア検証研究センター

127件中81-100件目

• 81.　Flow and modification of the iKP electronic payment protocols，Kazuhiro Ogata and Kokichi Futatsugi，Information Processing Letters，Vol.86，pp.57-62，2003
• 82.　Formal verification of the Horn-Preneel micropayment protocol，Kazuhiro Ogata and Kokichi Futatsugi，Proc. of the 4th Int'l Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2003)，LNCS 2575，Springer，pp.238-252，Jan. 2003
• 83.　Rewriting-based verification of authentication protocols，Kazuhiro Ogata and Kokichi Futatsugi，Proc. of 4th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2002), Electronic Notes in Theoretical Computer Science, Vol.71, Elsevier Science Publishers，Sep. 2002.
• 84.　Formal analysis of Suzuki&Kasami distributed mutual exclusion algorithm，Kazuhiro Ogata and Kokichi Futatsugi，Proceedings of the IFIP TC6/WG6.1 Fifth Int'l Conference on Formal Methods for Open Object-Based , Distributed Systems (FMOODS 2002) , Kluwer Academic Press，pp.181-195，March 2002 (refereed)
• 85.　Software Component Search based on Behavioral Specification，Akira Mori, Toshimi Sawada Kokichi Futatsugi, Akishi Seo, Masaki Ishiguro，Proc. of International Symposium on Future Software Technology，2001 (refereed)
• 86.　Specification and verification of a single-track railroad signaling in CafeOBJ，Takahiro Seino, Kazuhiro Ogata, and Kokichi Futatsugi，IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences，E84-A，No.6，pp.1471-1478，June 2001 (refereed)
• 87.　Completeness and strictness analysis for the evaluation strategy，Masaki Nakamura and Kokichi Futatsugi，Proceedings of International Workshop on Rewriting in Proof and Computation，RPC'01，pp.80-89，Oct. 2001 (refereed)
• 88.　Modeling and verification of distributed real-time systems based on CafeOJB，Kazuhiro Ogata and Kokichi Futatsugi，Proceedings of the 16th Int'l Conference on Automated Software Engineering (ASE 2001)，IEEE CS Press，pp.185-192，Nov.2001 (refereed)
• 89.　Formally modeling and verifying Ricart&Agrawala distributed mutual exclusion algorithm，Kazuhiro Ogata and Kokichi Futatsugi，Proceedings of the Second Asia-Pacific Conference on Quality Software (APAQS 2001)，IEEE CS Press，pp.357-366，Dec. 2001 (refereed)
• 90.　Specifying and verifying a railroad crossing with CafeOBJ，Kazuhiro Ogata and Kokichi Futatsugi，Proceedings of IPDPS'2001，IEEE CS Press，April 2001 (refereed)
• 91.　実時間制約を考慮したマルチタスキングのモデル化，清野　貴博, 緒方　和博, 二木　厚吉, 日比野　靖，ソフトウェア工学の基礎VIII 日本ソフトウェア科学会 FOSE2001 ,レクチャーノート/ソフトウェア工学 26，pp.143-146，Nov. 2001 (査読付)
• 92.　カタルシス法用軽量フォーマルメソッド，松本　充広, 片山　仁史, 中間　貴規, 橋本　吉治, 二木　厚吉，ソフトウェア工学の基礎VIII 日本ソフトウェア科学会FOSE2001, レクチャーノート/ソフトウェア学26，pp.159-162，Nov. 2001 (査読付)
• 93.　Specification and verification of tokenless blocking systems with CafeOBJ，Takahiro Seino, Kazuhiro Ogata and Kokichi Futatsugi，Proceedings of the 2001 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2001)，pp.807-811，July 2001 (refereed)
• 94.　Specification and verification of a single-track railroad signaling in CafeOBJ，Takahiro Seino, Kazuhiro Ogata and Kokichi Futatsugi，IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science，E84-A，6，1471-1478，2001
• 95.　テスト集合余帰納法を用いた振舞等式の検証，松本　充広, 二木　厚吉，コンピュータソフトウェア，Vol.19，No.1，pp.10-21，Jan. 2002 (査読付)
• 96.　評価戦略における完備性および厳密性解析，中村　正樹, 二木　厚吉，ソフトウェア工学の基礎VIII 日本ソフトウェア科学会FOSE2001, レクチャーノート/ソフトウェア学26，pp.23-34，Nov. 2001（査読付）
• 97.　形式仕様を用いたシステムの非機能的性質記述の試み −コンポーネントに基づくソフトウェア開発への応用−，飯田　周作，二木　厚吉，2000年ソフトウェアシンポジウム会議録，ソフトウェア技術者協会，pp.23-30，June，2000
• 98.　振舞仕様に基づく仕様コンポーネント化技術の発展可能ソフトウェアへの応用，飯田　周作，二木　厚吉，コンピュータソフトウェア，Vol.18，No.0，pp.30-45，2001
• 99.　Highly Reliable Component-Based Software Development by using Algebraic Behavioral Specification，Michihiro Matsumoto, Kokichi Futatsugi，Proceedings of ICFEM'2000，IEEE Press，pp.35-43，2000
• 100.　Constructing a Graphics System with OBJ2: A Practical Guide in Joseph Goguen and Grant Malcolm, editors，Ataru Nakagawa and Kokichi Futatsugi，Software Engineering with OBJ，Kluwer Academic Publishers，pp. 193-248，2000

[ ≪ 前へ ]

1  2  3  4  5  6  7

[ 次へ ≫ ]