北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

発表論文表示
表示方法:
表示順:

 

 

緒方 和博 (オガタ カズヒロ) 教授
情報科学系、知能ロボティクス領域

92件中41-60件目

  • 41. Model Checking Liveness Properties under Fairness & Anti-fairness Assumptions,Kazuhiro Ogata,APSEC 2013,1,565-570,2014
  • 42. Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method,Kazuhiro Ogata, Kokichi Futatsugi,J. UCS,19,6,771-804,2013
  • 43. Formalization and Verification of Behavioral Correctness of Dynamic Software Updates,Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi,Electronic Notes in Theoretical Computer Science,294,12-23,2013
  • 44. A Divide & Conquer Approach to Model Checking of Liveness Properties,Kazuhiro Ogata, Min Zhang,Proceedings of the 37th Annual International Computer Software & Applications Conference (37th COMPSAC),648-657,2013
  • 45. Formalization and Verification of Behavioral Correctness of Dynamic Software Updates,Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi,Electr. Notes Theor. Comput. Sci.,294,12-23
  • 46. Principles of Proof Scores in CafeOBJ,Kokichi Futatsugi, Daniel Gaina, Kazuhito Ogata,Theoretical Computer Science (published by Elsevier)
  • 47. An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms,Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi,APSEC 2012, IEEE,10 pages
  • 48. Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules,Min Zhang, Kazuhiro Ogata,APSEC 2012, IEEE,6 pages
  • 49. 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
  • 50. 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
  • 51. 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
  • 52. A Combination of Forward & Backward Reachability Analysis Methods,Kazuhiro Ogata, Kokichi Futatsugi,ICFEM 2010, LNCS 6447, Springer
  • 53. 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
  • 54. A Combination of Forward & Backward Reachability Analysis Methods,Kazuhiro Ogata, Kokichi Futatsugi,ICFEM 2010, LNCS 6447, Springer
  • 55. 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
  • 56. 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
  • 57. 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
  • 58. 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
  • 59. 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
  • 60. 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

≪ 前へ ]  1  2  3  4  5 次へ ≫ ]