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

48件中1-20件目

• 1.　Constructor-based Logics，Daniel Gaina, Kokichi Futatsugi and Kazuhiro Ogata，Journal of Universal Computer Science，18，16，2204, 29，2012/10/18
• 2.　Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules，Min Zhang, Kazuhiro Ogata，APSEC 2012, IEEE，6 pages
• 3.　Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic，Kazuhiro Ogata, Phan Thi Thanh Huyen，ICFEM 2012, LNCS 7635, Springer，87-102
• 4.　Principles of Proof Scores in CafeOBJ，Kokichi Futatsugi, Daniel Gaina, Kazuhito Ogata，Theoretical Computer Science (published by Elsevier)
• 5.　An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms，Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi，APSEC 2012, IEEE，10 pages
• 6.　Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method，Iakovos Ouranos, Kazuhiro Ogata, Petros Stefaneas，ISoLA 2012, Part II, LNCS 7610, Springer，pp.126-142
• 7.　A Combination of Forward & Backward Reachability Analysis Methods，Kazuhiro Ogata, Kokichi Futatsugi，ICFEM 2010, LNCS 6447, Springer
• 8.　Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support，Min Zhang, Kazuhiro Ogata and Masaki Nakamura，IEICE TRANSACTIONS on Information and Systems，E94-D，5，976-988
• 9.　Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method，Iakovos Ouranos, Petros Stefaneas, Kazuhiro Ogata，ISoLA 2010, LNCS 6415, Springer，75-89
• 10.　A Combination of Forward & Backward Reachability Analysis Methods，Kazuhiro Ogata, Kokichi Futatsugi，ICFEM 2010, LNCS 6447, Springer
• 11.　Specification translation of state machinesfrom equational theories into rewrite theories，Min Zhang, Kazuhiro Ogata, Masaki Nakamura，ICFEM 2010, LNCS 6447, Springer
• 12.　Towards Reliable E-Government Systems with the OTS/CafeOBJ Method，Weiqiang KONG, Kazuhiro OGATA, Kokichi FUTATSUGI，IEICE TRANSACTIONS on Information and Systems，E93-D，5，974-984
• 13.　Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications，Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi，J. Symb. Comput., Elsevier，45，5，551-573
• 14.　Proof Score Approach to Analysis of Electronic Commerce Protocols，Kazuhiro Ogata, Kokichi Futatsugi，International Journal of Software Engineering and Knowledge Engineering，20，2，253-287
• 15.　Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications，Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi，J. Symb. Comput., Elsevier，45，5，551-573
• 16.　Proof Score Approach to Analysis of Electronic Commerce Protocols，Kazuhiro Ogata, Kokichi Futatsugi，International Journal of Software Engineering and Knowledge Engineering，20，2，253-287
• 17.　Towards Reliable E-Government Systems with the OTS/CafeOBJ Method，Weiqiang KONG, Kazuhiro OGATA, Kokichi FUTATSUGI，IEICE TRANSACTIONS on Information and Systems，E93-D，5，974-984
• 18.　User-defined on-demand matching，Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi，IEICE Transactions on Information and Systems，to appear
• 19.　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
• 20.　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

1  2  3

[ 次へ ≫ ]