緒方　和博 （オガタ　カズヒロ）　准教授
情報科学研究科（情報科学専攻・理論情報科学領域）

48件中21-40件目

• 21.　Analysis of Membership Sharing Problem in Digital Subscription Services，Jianwen Xiang, Jing Tian, Kazuhiro Ogata, Akira Mori, Kokichi Futatsugi，International Journal of Revenue Management, Inderscience Publishers，to appear
• 22.　CafeOBJ入門(5) - 認証プロトコルの検証，緒方和博，二木厚吉，中村正樹，コンピュータソフトウェア(日本ソフトウェア科学会論文誌)，26，1，71-83，2009
• 23.　Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications，Min Zhang, Kazuhiro Ogata，Proc. of the 9th International Conference on Quality Software，to appear
• 24.　Constructor-based Institutions，Daniel Gaina, Kokichi Futatsugi, Kazuhiro Ogata，Proc. of the 3rd Conference on Algebra and Coalgebra in Computer Science, LNCS, Springer，to appear
• 25.　CafeOBJ入門(4) - 証明譜による検証法，二木厚吉，緒方和博，中村正樹，コンピュータソフトウェア(日本ソフトウェア科学会論文誌)，25，4，68-84，2008
• 26.　CafeOBJ入門（３）−等式推論と項書換システム，中村正樹，二木厚吉，緒方和博，コンピュータソフトウェア，日本ソフトウェア科学会，25，3，69-80，2008
• 27.　CafeOBJ 入門(2) - 構文と意味，中村正樹，二木厚吉，緒方和博，コンピュータソフトウェア(日本ソフトウェア科学会論文誌)，25，2，14-27，2008
• 28.　CafeOBJ入門(1) - 形式手法とCafeOBJ，二木厚吉，緒方和博，中村正樹，コンピュータソフトウェア，日本ソフトウェア科学会，25，2，1-13，2008
• 29.　Trace Anonymity in the OTS/CafeOBJ Method，Weiqiang Kong, Kazuhiro Ogata, Jian Chen, and Kokichi Futatsugi，Proceedings of the 8th International Conference on Computer and Information Technology (8th CIT), IEEE Computer Society Press，754-759，2008
• 30.　Simulation-based verification for invariant properties in the OTS/CafeOBJ method，Kazuhiro Ogata and Kokichi Futatsugi，Proceedings of the 4th International Refinement Workshop (Refine 2007), ENTCS 201, Elsevier，127-154，2008
• 31.　Verifying Design with Proof Scores，Kokichi Futatsugi, Joseph A. Goguen and Kazuhiro Ogata，Proceedings of the 1st International Conference on Verified Software: Theories, Tools, Experiments (1st VSTTE), LNCS 4171, Springer，277-290，2008
• 32.　A Specification Translation from Behavioral Specifications to Rewrite Specifications，Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi，IEICE TRANSACTIONS on Information and Systems，E91-D，5，1492-1503，2008
• 33.　Maude：書換え論理に基 づく計算機言語および処理系，緒方和博，中村正樹，二木厚吉，コンピュータソフトウェア(日本ソフトウェア科学会論文誌)，25，2，78-84，2008
• 34.　Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes，Kazuhiro Ogata and Kokichi Futatsugi，Proceedings of the 10th International Conference on Formal Engineering Methods (10th ICFEM), LNCS 5256, Springer，187-206，2008
• 35.　Proof Score Approach to Verification of Liveness Properties，Kazuhiro Ogata, Kokichi Futatsugi，IEICE TRANSACTIONS on Information and Systems，E91-D，12，2804-2817，2008
• 36.　State Machines as Inductive Types，Kazuhiro Ogata and Kokichi Futatsugi，IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science，E90-A，12，2985-2988，2007
• 37.　Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm，Kazuhiro Ogata and Kokichi Futatsugi，IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science，E90-A，8，1690-1703，2007
• 38.　Modeling and verification of real-time systems based on equations，Kazuhiro Ogata and Kokichi Futatsugi，Science of Computer Programming, Elsevier，66，2，162-180，2007
• 39.　Creme: An Automatic Invariant Prover of Behavioral Specifications，Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura and Kokichi Futatsugi，International Journal of Software Engineering and Knowledge Engineering, World Scientific，17，6，783-804，2007
• 40.　Automating Invariant Verification of Behavioral Specifications，Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, and Kokichi Futatsugi ，In Proceedings of The Sixth IEEE International Conference on Quality Software (QSIC2006)，pp. 49-56，Oct. 2006

[ ≪ 前へ ]

1  2  3

[ 次へ ≫ ]